/kernel/include/clocksource/

• ../
• arm_arch_timer.h
• metag_generic.h
• pxa.h
• samsung_pwm.h
• timer-sp804.h