r4k-timer.h   33 arch/mips/kernel/smp.c #include <asm/r4k-timer.h>
r4k-timer.h   16 arch/mips/kernel/sync-r4k.c #include <asm/r4k-timer.h>