linux/drivers/clocksource/dw_apb_timer_of.c
<<