Symbol: handle_task_newtask
include/rv/ltl_monitor.h
61
rv_attach_trace_probe(name, task_newtask, handle_task_newtask);
include/rv/ltl_monitor.h
78
rv_detach_trace_probe(name, task_newtask, handle_task_newtask);