VMCS_GUEST_RFLAGS
return (VMCS_GUEST_RFLAGS);
rflags = vmcs_read(VMCS_GUEST_RFLAGS);
vmexit->u.hlt.rflags = vmcs_read(VMCS_GUEST_RFLAGS);
vis->rflags = vmcs_read(VMCS_GUEST_RFLAGS);