Searched defs:u32GuestCR4 (Results 1 - 1 of 1) sorted by relevance

/vbox/src/VBox/VMM/VMMR0/
H A DHMVMXR0.cpp4025 uint32_t u32GuestCR4 = pMixedCtx->cr4; local
4028 rc = VMXWriteVmcs32(VMX_VMCS_CTRL_CR4_READ_SHADOW, u32GuestCR4);
4030 Log4(("Load[%RU32]: VMX_VMCS_CTRL_CR4_READ_SHADOW=%#RX32\n", pVCpu->idCpu, u32GuestCR4));
4042 u32GuestCR4 &= ~X86_CR4_VME;
4051 u32GuestCR4 |= X86_CR4_PSE;
4053 u32GuestCR4 &= ~X86_CR4_PAE;
4069 u32GuestCR4 &= ~X86_CR4_PAE;
4076 u32GuestCR4 |= X86_CR4_PAE;
4094 u32GuestCR4 |= uSetCR4;
4095 u32GuestCR4
9463 uint32_t u32GuestCR4; local
[all...]

Completed in 66 milliseconds