linux/drivers/clocksource/dw_apb_timer.c
<<