Searched refs:rv_get_task_monitor_slot (Results 1 – 4 of 4) sorted by relevance
117 int rv_get_task_monitor_slot(void);
69 ret = rv_get_task_monitor_slot(); in ltl_monitor_init()
324 slot = rv_get_task_monitor_slot(); \
170 int rv_get_task_monitor_slot(void) in rv_get_task_monitor_slot() function