VMCS_GUEST_CR0
(vmx_vmread(VMCS_GUEST_CR0) & ~CR0_STATIC_MASK);
vmx_vmwrite(VMCS_GUEST_CR0, realcr0);
cr0 = vmx_vmread(VMCS_GUEST_CR0);
vmx_vmwrite(VMCS_GUEST_CR0,
(vmx_vmread(VMCS_GUEST_CR0) & ~CR0_STATIC_MASK);