Searched refs:VMX_VMCS32_CTRL_CR3_TARGET_COUNT (Results 1 - 2 of 2) sorted by relevance

/vbox/include/VBox/vmm/
H A Dhm_vmx.h1281 #define VMX_VMCS32_CTRL_CR3_TARGET_COUNT 0x400A macro
/vbox/src/VBox/VMM/VMMR0/
H A DHMVMXR0.cpp2576 rc = VMXWriteVmcs32(VMX_VMCS32_CTRL_CR3_TARGET_COUNT, 0); AssertRCReturn(rc, rc);
5022 rc = VMXReadVmcs32(VMX_VMCS32_CTRL_CR3_TARGET_COUNT, &u32Val); AssertRC(rc);
5023 Log4(("VMX_VMCS32_CTRL_CR3_TARGET_COUNT %#RX32\n", u32Val));

Completed in 88 milliseconds