VMCS_HOST_CR4
if ((error = vmwrite(VMCS_HOST_CR4, cr4)) != 0)
error = vm_get_vmcs_field(vcpu, VMCS_HOST_CR4, &cr4);