VMCS_CR0_SHADOW
oldcr0 = (vmx_vmread(VMCS_CR0_SHADOW) & CR0_STATIC_MASK) |
vmx_vmwrite(VMCS_CR0_SHADOW, fakecr0);
vmx_vmwrite(VMCS_CR0_SHADOW,
(vmx_vmread(VMCS_CR0_SHADOW) & CR0_STATIC_MASK) |