Defined in 1 files as a config:

• kernel/trace/rv/Kconfig, line 19 (as a config)

Referenced in 8 files:

• kernel/trace/rv/monitors/pagefault/Kconfig, line 10
• kernel/trace/rv/monitors/sleep/Kconfig, line 9
• kernel/trace/rv/monitors/wakeup/Kconfig, line 8
• kernel/trace/rv/rv_trace.h, line 197
• tools/verification/rvgen/tests/golden/ltl_pertask/Kconfig, line 6
• tools/verification/rvgen/tests/golden/test_bak_kunit/Kconfig, line 6
• tools/verification/rvgen/tests/golden/test_ltl/Kconfig, line 8
• tools/verification/rvgen/tests/golden/test_ltl_kunit/Kconfig, line 6