CONFIG_CSRC_R4K    60 arch/mips/include/asm/time.h #ifdef CONFIG_CSRC_R4K
CONFIG_CSRC_R4K   142 arch/mips/include/asm/vdso/gettimeofday.h #ifdef CONFIG_CSRC_R4K
CONFIG_CSRC_R4K   186 arch/mips/include/asm/vdso/gettimeofday.h #ifdef CONFIG_CSRC_R4K