Searched refs:PIN_BASED_VM_EXEC_CONTROL (Results 1 – 5 of 5) sorted by relevance
104 GUEST_ASSERT(!vmwrite(PIN_BASED_VM_EXEC_CONTROL, in l1_guest_code()105 vmreadz(PIN_BASED_VM_EXEC_CONTROL) | in l1_guest_code()
114 vmwrite(PIN_BASED_VM_EXEC_CONTROL, vmreadz(PIN_BASED_VM_EXEC_CONTROL) | in guest_code()
196 PIN_BASED_VM_EXEC_CONTROL = 0x00004000, enumerator
501 case PIN_BASED_VM_EXEC_CONTROL: in evmcs_vmread()973 case PIN_BASED_VM_EXEC_CONTROL: in evmcs_vmwrite()
198 vmwrite(PIN_BASED_VM_EXEC_CONTROL, rdmsr(MSR_IA32_VMX_TRUE_PINBASED_CTLS)); in init_vmcs_control_fields()