PSL_RF
vmcb->state.rflags |= PSL_RF;
vmcb->state.rflags &= ~PSL_RF;
vmx_vmwrite(VMCS_GUEST_RFLAGS, rflags | PSL_RF);
vmx_vmwrite(VMCS_GUEST_RFLAGS, rflags & ~PSL_RF);
if (!EFL_SECURE(rflags & ~PSL_RF, regs->tf_rflags & ~PSL_RF)) {
frame->tf_rflags &= (PSL_RF | PSL_USERCHANGE | PSL_VM_UNSUPP);
if (frame->tf_rflags & PSL_RF)
frame->tf_rflags &= (PSL_RF | PSL_USERCHANGE | PSL_VM_UNSUPP);
if (!EFL_SECURE(rflags & ~PSL_RF, regs->tf_rflags & ~PSL_RF)) {
if (frame->tf_rflags & PSL_RF)