cr4
uint64_t cr4;
cr4 = rcr4();
load_cr4(cr4 & ~CR4_PGE);
load_cr4(cr4 | CR4_PGE);
if ((vmcb->state.cr4 ^
vmcb->state.cr4 = state->crs[NVMM_X64_CR_CR4];
state->crs[NVMM_X64_CR_CR4] = vmcb->state.cr4;
uint64_t cr4;
uint64_t cr4;
cr4 = cpudata->vmcb->state.cr4;
if (!(cr4 & CR4_OSXSAVE)) {
uint64_t cr4;
cr4 = vmx_vmread(VMCS_GUEST_CR4);
if (!(cr4 & CR4_OSXSAVE)) {
uint64_t type, gpr, oldcr4, cr4;
cr4 = gpr | CR4_VMXE;
if (vmx_check_cr(cr4, vmx_cr4_fixed0, vmx_cr4_fixed1) == -1) {
vmx_vmwrite(VMCS_GUEST_CR4, cr4);
uint64_t cr0, cr3, cr4, efer;
cr4 = vmx_vmread(VMCS_GUEST_CR4);
if ((cr4 ^ state->crs[NVMM_X64_CR_CR4]) & CR4_TLB_FLUSH) {
uint64_t msr, cr4;
cr4 = x86_get_cr4();
cr4 |= CR4_VMXE;
cr4 &= ~CR4_VMXE;
x86_set_cr4(cr4);
void load_cr4(u_int cr4);
uint64_t cr4;
cr4 = rcr4();
load_cr4(cr4 & ~CR4_PGE);
load_cr4(cr4 | CR4_PGE);
void load_cr4(u_long cr4);
uint64_t cr4;
cr4 = rcr4();
load_cr4(cr4 & ~CR4_PGE);
load_cr4(cr4 | CR4_PGE);
if ((vmcb->state.cr4 ^
vmcb->state.cr4 = state->crs[NVMM_X64_CR_CR4];
state->crs[NVMM_X64_CR_CR4] = vmcb->state.cr4;
uint64_t cr4;
uint64_t cr4;
cr4 = cpudata->vmcb->state.cr4;
if (!(cr4 & CR4_OSXSAVE)) {
uint64_t cr4;
cr4 = vmx_vmread(VMCS_GUEST_CR4);
if (!(cr4 & CR4_OSXSAVE)) {
uint64_t type, gpr, oldcr4, cr4;
cr4 = gpr | CR4_VMXE;
if (vmx_check_cr(cr4, vmx_cr4_fixed0, vmx_cr4_fixed1) == -1) {
vmx_vmwrite(VMCS_GUEST_CR4, cr4);
uint64_t cr0, cr3, cr4, efer;
cr4 = vmx_vmread(VMCS_GUEST_CR4);
if ((cr4 ^ state->crs[NVMM_X64_CR_CR4]) & CR4_TLB_FLUSH) {
uint64_t msr, cr4;
cr4 = x86_get_cr4();
cr4 |= CR4_VMXE;
cr4 &= ~CR4_VMXE;
x86_set_cr4(cr4);