VGETCPU_RDTSCP    733 arch/x86/kernel/cpu/common.c 		vgetcpu_mode = VGETCPU_RDTSCP;
VGETCPU_RDTSCP    202 arch/x86/kernel/vsyscall_64.c 	} else if (__vgetcpu_mode == VGETCPU_RDTSCP) {
VGETCPU_RDTSCP     21 arch/x86/vdso/vgetcpu.c 	if (*vdso_vgetcpu_mode == VGETCPU_RDTSCP) {