VMCS_HOST_RSP
error += vmwrite(VMCS_HOST_RSP, (u_long)&vcpu->ctx);
error = vm_get_vmcs_field(vcpu, VMCS_HOST_RSP, &rsp);