Defined in 1 files as a function:

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

Referenced in 8 files:

• kernel/trace/rv/monitors/pagefault/pagefault.c, line 48
• kernel/trace/rv/monitors/sleep/sleep.c, line 161
• kernel/trace/rv/monitors/wakeup/wakeup.c, line 107
• tools/verification/rvgen/rvgen/templates/ltl2k/main.c, line 61
• tools/verification/rvgen/tests/golden/ltl_pertask/ltl_pertask.c, line 66
• tools/verification/rvgen/tests/golden/test_bak_kunit/test_bak_kunit.c, line 66
• tools/verification/rvgen/tests/golden/test_ltl/test_ltl.c, line 67
• tools/verification/rvgen/tests/golden/test_ltl_kunit/test_ltl_kunit.c, line 66