/include/clocksource/
../
arm_arch_timer.h
pxa.h
samsung_pwm.h
timer-sp804.h
timer-ti-dm.h