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

/vbox/include/VBox/vmm/
H A Dhm_vmx.h1771 #define VMX_VMCS_GUEST_CR4 0x6804 macro
/vbox/src/VBox/VMM/VMMR0/
H A DHMVMXR0.cpp4098 Log4(("Load[%RU32]: VMX_VMCS_GUEST_CR4=%#RX32 (Set=%#RX32 Zap=%#RX32)\n", pVCpu->idCpu, u32GuestCR4, uSetCR4, uZapCR4));
4099 rc = VMXWriteVmcs32(VMX_VMCS_GUEST_CR4, u32GuestCR4);
5412 VMXLOCAL_INIT_READ_CACHE_FIELD(pCache, VMX_VMCS_GUEST_CR4);
6031 rc = VMXReadVmcs32(VMX_VMCS_GUEST_CR4, &uVal);
9464 rc = VMXReadVmcs32(VMX_VMCS_GUEST_CR4, &u32GuestCR4);

Completed in 113 milliseconds