timer64_init 5 arch/c6x/include/asm/timer64.h extern void __init timer64_init(void); timer64_init 62 arch/c6x/kernel/time.c timer64_init();