Searched refs:VMXWriteVmcs32 (Results 1 - 3 of 3) sorted by relevance
/vbox/src/VBox/VMM/VMMR0/ |
H A D | HMVMXR0.cpp | 1241 int rc = VMXWriteVmcs32(VMX_VMCS32_CTRL_ENTRY_MSR_LOAD_COUNT, cMsrs); AssertRCReturn(rc, rc); 1242 rc = VMXWriteVmcs32(VMX_VMCS32_CTRL_EXIT_MSR_STORE_COUNT, cMsrs); AssertRCReturn(rc, rc); 1245 rc = VMXWriteVmcs32(VMX_VMCS32_CTRL_EXIT_MSR_LOAD_COUNT, cMsrs); AssertRCReturn(rc, rc); 2012 int rc = VMXWriteVmcs32(VMX_VMCS16_GUEST_FIELD_VPID, pVCpu->hm.s.uCurrentAsid); 2197 int rc = VMXWriteVmcs32(VMX_VMCS16_GUEST_FIELD_VPID, pVCpu->hm.s.uCurrentAsid); 2359 int rc = VMXWriteVmcs32(VMX_VMCS32_CTRL_PIN_EXEC, val); 2414 rc = VMXWriteVmcs32(VMX_VMCS32_CTRL_TPR_THRESHOLD, 0); 2482 rc = VMXWriteVmcs32(VMX_VMCS32_CTRL_PROC_EXEC, val); 2540 rc = VMXWriteVmcs32(VMX_VMCS32_CTRL_PROC_EXEC2, val); 2576 rc = VMXWriteVmcs32(VMX_VMCS32_CTRL_CR3_TARGET_COUN [all...] |
H A D | HMR0A.asm | 579 ;DECLASM(int) VMXWriteVmcs32(uint32_t idxField, uint32_t u32Data); 581 BEGINPROC VMXWriteVmcs32 633 ENDPROC VMXWriteVmcs32
|
/vbox/include/VBox/vmm/ |
H A D | hm_vmx.h | 2078 DECLASM(int) VMXWriteVmcs32(uint32_t idxField, uint32_t u32Val); 2080 DECLINLINE(int) VMXWriteVmcs32(uint32_t idxField, uint32_t u32Val) function 2165 : VMXWriteVmcs32(idxField, uVal) 2168 : VMXWriteVmcs32(idxField, u64Val) 2170 # define VMXWriteVmcsHstN VMXWriteVmcs32
|
Completed in 71 milliseconds