VDSO_CLOCK_R4K 187 arch/mips/include/asm/vdso/gettimeofday.h case VDSO_CLOCK_R4K: VDSO_CLOCK_R4K 81 arch/mips/kernel/csrc-r4k.c clocksource_mips.archdata.vdso_clock_mode = VDSO_CLOCK_R4K;