Symbol: RV_PER_TASK_MONITOR_INIT
include/rv/da_monitor.h
304
static int task_mon_slot = RV_PER_TASK_MONITOR_INIT;
include/rv/da_monitor.h
366
if (slot < 0 || slot >= RV_PER_TASK_MONITOR_INIT)
include/rv/da_monitor.h
383
if (task_mon_slot == RV_PER_TASK_MONITOR_INIT) {
include/rv/da_monitor.h
393
task_mon_slot = RV_PER_TASK_MONITOR_INIT;
include/rv/ltl_monitor.h
22
static int ltl_monitor_slot = RV_PER_TASK_MONITOR_INIT;
include/rv/ltl_monitor.h
82
ltl_monitor_slot = RV_PER_TASK_MONITOR_INIT;