root/include/clocksource/

1. arm_arch_timer.h
2. hyperv_timer.h
3. pxa.h
4. samsung_pwm.h
5. timer-davinci.h
6. timer-sp804.h
7. timer-ti-dm.h