original_kernel/include/clocksource
..
arm_arch_timer.h
metag_generic.h
pxa.h
samsung_pwm.h
timer-sp804.h