X86_FEATURE_VNMI  212 arch/x86/kernel/cpu/intel.c 	clear_cpu_cap(c, X86_FEATURE_VNMI);
X86_FEATURE_VNMI  222 arch/x86/kernel/cpu/intel.c 		set_cpu_cap(c, X86_FEATURE_VNMI);