Defined in 7 files as a enumerator:

• kernel/trace/rv/monitors/pagefault/pagefault.h, line 33 (as a enumerator)
• kernel/trace/rv/monitors/sleep/sleep.h, line 66 (as a enumerator)
• kernel/trace/rv/monitors/wakeup/wakeup.h, line 41 (as a enumerator)
• tools/verification/rvgen/tests/golden/ltl_pertask/ltl_pertask.h, line 37 (as a enumerator)
• tools/verification/rvgen/tests/golden/test_bak_kunit/test_bak_kunit.h, line 37 (as a enumerator)
• tools/verification/rvgen/tests/golden/test_ltl/test_ltl.h, line 37 (as a enumerator)
• tools/verification/rvgen/tests/golden/test_ltl_kunit/test_ltl_kunit.h, line 37 (as a enumerator)

Referenced in 8 files:

• include/rv/ltl_monitor.h, line 138
• kernel/trace/rv/monitors/pagefault/pagefault.h, line 35
• kernel/trace/rv/monitors/sleep/sleep.h, line 68
• kernel/trace/rv/monitors/wakeup/wakeup.h, line 43
• tools/verification/rvgen/tests/golden/ltl_pertask/ltl_pertask.h, line 39
• tools/verification/rvgen/tests/golden/test_bak_kunit/test_bak_kunit.h, line 39
• tools/verification/rvgen/tests/golden/test_ltl/test_ltl.h, line 39
• tools/verification/rvgen/tests/golden/test_ltl_kunit/test_ltl_kunit.h, line 39