Searched refs:PIN_BASED_VM_EXEC_CONTROL (Results 1 – 3 of 3) sorted by relevance
243 PIN_BASED_VM_EXEC_CONTROL = 0x00004000, enumerator
477 case PIN_BASED_VM_EXEC_CONTROL: in evmcs_vmread()864 case PIN_BASED_VM_EXEC_CONTROL: in evmcs_vmwrite()
163 vmwrite(PIN_BASED_VM_EXEC_CONTROL, rdmsr(MSR_IA32_VMX_TRUE_PINBASED_CTLS)); in init_vmcs_control_fields()