include/asm-x86/mach-default/do_timer.h
include/asm-x86/mach-voyager/do_timer.h