VMCS_GUEST_RFLAGS
return (VMCS_GUEST_RFLAGS);
(vmcs_read(VMCS_GUEST_RFLAGS) & PSL_I) == 0) {
vmexit->u.hlt.rflags = vmcs_read(VMCS_GUEST_RFLAGS);