Defined in 5 files as a macro:
- include/rv/da_monitor.h, line 919 (as a macro)
- include/rv/da_monitor.h, line 926 (as a macro)
- include/rv/ha_monitor.h, line 535 (as a macro)
- include/rv/ha_monitor.h, line 542 (as a macro)
- include/rv/ltl_monitor.h, line 177 (as a macro)
Referenced in 10 files:
- include/rv/ha_monitor.h
- kernel/trace/rv/monitors/nomiss/nomiss.c, line 286
- kernel/trace/rv/monitors/opid/opid.c, line 124
- kernel/trace/rv/monitors/pagefault/pagefault.c, line 95
- kernel/trace/rv/monitors/sco/sco.c, line 92
- kernel/trace/rv/monitors/sleep/sleep.c, line 217
- kernel/trace/rv/monitors/sssw/sssw.c, line 121
- kernel/trace/rv/monitors/sts/sts.c, line 161
- tools/verification/rvgen/tests/golden/test_da_kunit/test_da_kunit.c, line 102
- tools/verification/rvgen/tests/golden/test_ha_kunit/test_ha_kunit.c, line 237