Defined in 1 files as a function:

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

Referenced in 7 files:

• include/rv/ltl_monitor.h, line 170
• kernel/trace/rv/monitors/sleep/sleep.c
  • line 86
  • line 91
  • line 112
  • line 128
  • line 133
  • line 139
  • line 154
• kernel/trace/rv/monitors/wakeup/wakeup.c
  • line 68
  • line 73
  • line 91
  • line 100
• tools/verification/rvgen/tests/golden/ltl_pertask/ltl_pertask.c, line 59
• tools/verification/rvgen/tests/golden/test_bak_kunit/test_bak_kunit.c, line 59
• tools/verification/rvgen/tests/golden/test_ltl/test_ltl.c, line 60
• tools/verification/rvgen/tests/golden/test_ltl_kunit/test_ltl_kunit.c, line 59