VDSO_CLOCK_GIC    192 arch/mips/include/asm/vdso/gettimeofday.h 	case VDSO_CLOCK_GIC:
VDSO_CLOCK_GIC    161 drivers/clocksource/mips-gic-timer.c 	.archdata	= { .vdso_clock_mode = VDSO_CLOCK_GIC },