Symbol: rv_put_task_monitor_slot
include/linux/rv.h
159
void rv_put_task_monitor_slot(int slot);
include/rv/da_monitor.h
392
rv_put_task_monitor_slot(task_mon_slot);
include/rv/ltl_monitor.h
81
rv_put_task_monitor_slot(ltl_monitor_slot);