xref: /linux/kernel/trace/rv/monitors/opid/Kconfig (revision 0fc8f6200d2313278fbf4539bbab74677c685531)
1# SPDX-License-Identifier: GPL-2.0-only
2#
3config RV_MON_OPID
4	depends on RV
5	depends on RV_MON_SCHED
6	default y
7	select HA_MON_EVENTS_IMPLICIT
8	bool "opid monitor"
9	help
10	  Monitor to ensure operations like wakeup and need resched occur with
11	  interrupts and preemption disabled.
12
13	  For further information, see:
14	    Documentation/trace/rv/monitor_sched.rst
15