__rv_disable_monitor
__rv_disable_monitor(mon, true);
enabled += __rv_disable_monitor(p, false);
enabled += __rv_disable_monitor(mon, false);