xref: /linux/kernel/trace/rv/monitors/sts/Kconfig (revision 4ff261e725d7376c12e745fdbe8a33cd6dbd5a83)
1# SPDX-License-Identifier: GPL-2.0-only
2#
3config RV_MON_STS
4	depends on RV
5	depends on TRACE_IRQFLAGS
6	depends on RV_MON_SCHED
7	default y
8	select DA_MON_EVENTS_IMPLICIT
9	bool "sts monitor"
10	help
11	  Monitor to ensure relationships between scheduler and task switches
12	   * the scheduler is called and returns with interrupts disabled
13	   * each call to the scheduler has up to one switch
14	   * switches only happen inside the scheduler
15	   * each call to the scheduler disables interrupts to switch
16	  This monitor is part of the sched monitors collection.
17
18	  For further information, see:
19	    Documentation/trace/rv/monitor_sched.rst
20