Symbol: __rv_disable_monitor
kernel/trace/rv/rv.c
278
__rv_disable_monitor(mon, true);
kernel/trace/rv/rv.c
306
enabled += __rv_disable_monitor(p, false);
kernel/trace/rv/rv.c
564
enabled += __rv_disable_monitor(mon, false);