Defined in 1 files as a config:
Referenced in 26 files:
- include/rv/da_monitor.h, line 917
- include/rv/ha_monitor.h, line 529
- include/rv/kunit.h, line 14
- include/rv/ltl_monitor.h, line 176
- kernel/trace/rv/Makefile, line 28
- kernel/trace/rv/monitors/nomiss/nomiss.c, line 281
- kernel/trace/rv/monitors/nomiss/nomiss_kunit.h, line 11
- kernel/trace/rv/monitors/opid/opid.c, line 119
- kernel/trace/rv/monitors/opid/opid_kunit.h, line 11
- kernel/trace/rv/monitors/pagefault/pagefault.c, line 90
- kernel/trace/rv/monitors/pagefault/pagefault_kunit.h, line 11
- kernel/trace/rv/monitors/sco/sco.c, line 87
- kernel/trace/rv/monitors/sco/sco_kunit.h, line 11
- kernel/trace/rv/monitors/sleep/sleep.c, line 212
- kernel/trace/rv/monitors/sleep/sleep_kunit.h, line 11
- kernel/trace/rv/monitors/sssw/sssw.c, line 116
- kernel/trace/rv/monitors/sssw/sssw_kunit.h, line 11
- kernel/trace/rv/monitors/sts/sts.c, line 156
- kernel/trace/rv/monitors/sts/sts_kunit.h, line 11
- kernel/trace/rv/rv.c, line 850
- tools/verification/rvgen/tests/golden/test_bak_kunit/test_bak_kunit_kunit.h, line 11
- tools/verification/rvgen/tests/golden/test_da_kunit/test_da_kunit.c, line 97
- tools/verification/rvgen/tests/golden/test_da_kunit/test_da_kunit_kunit.h, line 11
- tools/verification/rvgen/tests/golden/test_ha_kunit/test_ha_kunit.c, line 232
- tools/verification/rvgen/tests/golden/test_ha_kunit/test_ha_kunit_kunit.h, line 11
- tools/verification/rvgen/tests/golden/test_ltl_kunit/test_ltl_kunit_kunit.h, line 11