timer-regs.h   10 arch/hexagon/include/asm/timex.h #include <asm/timer-regs.h>
timer-regs.h   20 arch/hexagon/kernel/time.c #include <asm/timer-regs.h>