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);