VCLOCK_MAX         32 arch/x86/include/asm/vdso/vsyscall.h 	BUILD_BUG_ON(VCLOCK_MAX >= 32);
VCLOCK_MAX        124 arch/x86/kernel/time.c 	if (cs->archdata.vclock_mode > VCLOCK_MAX) {