Searched refs:PIN_BASED_VM_EXEC_CONTROL (Results 1 – 5 of 5) sorted by relevance
103 GUEST_ASSERT(!vmwrite(PIN_BASED_VM_EXEC_CONTROL, in l1_guest_code()104 vmreadz(PIN_BASED_VM_EXEC_CONTROL) | in l1_guest_code()
113 vmwrite(PIN_BASED_VM_EXEC_CONTROL, vmreadz(PIN_BASED_VM_EXEC_CONTROL) | in guest_code()
194 PIN_BASED_VM_EXEC_CONTROL = 0x00004000, enumerator
498 case PIN_BASED_VM_EXEC_CONTROL: in evmcs_vmread()970 case PIN_BASED_VM_EXEC_CONTROL: in evmcs_vmwrite()
196 vmwrite(PIN_BASED_VM_EXEC_CONTROL, rdmsr(MSR_IA32_VMX_TRUE_PINBASED_CTLS)); in init_vmcs_control_fields()
Completed in 11 milliseconds