timer64.h   21 arch/c6x/kernel/time.c #include <asm/timer64.h>
timer64.h   16 arch/c6x/platforms/timer64.c #include <asm/timer64.h>