kernel-fxtec-pro1x/include/clocksource
..
arm_generic.h