linux/drivers/clocksource/arm_generic.c
<<