Symbol: ltl_monitor_init
kernel/trace/rv/monitors/pagefault/pagefault.c
48
retval = ltl_monitor_init();
kernel/trace/rv/monitors/sleep/sleep.c
198
retval = ltl_monitor_init();
tools/verification/rvgen/rvgen/templates/ltl2k/main.c
61
retval = ltl_monitor_init();