PIN_BASED_VM_EXEC_CONTROL  247 arch/x86/include/asm/vmx.h 	PIN_BASED_VM_EXEC_CONTROL       = 0x00004000,
PIN_BASED_VM_EXEC_CONTROL  241 tools/testing/selftests/kvm/include/x86_64/vmx.h 	PIN_BASED_VM_EXEC_CONTROL	= 0x00004000,