Kconfig

 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