Symbol: rv_get_task_monitor_slot
include/linux/rv.h
119
int rv_get_task_monitor_slot(void);
include/rv/da_monitor.h
312
slot = rv_get_task_monitor_slot();
include/rv/ltl_monitor.h
55
ret = rv_get_task_monitor_slot();