Defined in 1 files as a function:

• include/rv/ltl_monitor.h, line 76 (as a function)

Referenced in 8 files:

• kernel/trace/rv/monitors/pagefault/pagefault.c, line 63
• kernel/trace/rv/monitors/sleep/sleep.c, line 185
• kernel/trace/rv/monitors/wakeup/wakeup.c, line 128
• tools/verification/rvgen/rvgen/templates/ltl2k/main.c, line 74
• tools/verification/rvgen/tests/golden/ltl_pertask/ltl_pertask.c, line 79
• tools/verification/rvgen/tests/golden/test_bak_kunit/test_bak_kunit.c, line 79
• tools/verification/rvgen/tests/golden/test_ltl/test_ltl.c, line 80
• tools/verification/rvgen/tests/golden/test_ltl_kunit/test_ltl_kunit.c, line 79