VMCS_HOST_CR3
error = vm_get_vmcs_field(vcpu, VMCS_HOST_CR3, &cr3);
vmcs_write(VMCS_HOST_CR3, rcr3());