Lines Matching full:trace

46 	  theorem proving). RV works by analyzing the trace of the system's
51 	    Documentation/trace/rv/runtime-verification.rst
62 source "kernel/trace/rv/monitors/wip/Kconfig"
63 source "kernel/trace/rv/monitors/wwnr/Kconfig"
65 source "kernel/trace/rv/monitors/sched/Kconfig"
66 source "kernel/trace/rv/monitors/sco/Kconfig"
67 source "kernel/trace/rv/monitors/snroc/Kconfig"
68 source "kernel/trace/rv/monitors/scpd/Kconfig"
69 source "kernel/trace/rv/monitors/snep/Kconfig"
70 source "kernel/trace/rv/monitors/sts/Kconfig"
71 source "kernel/trace/rv/monitors/nrp/Kconfig"
72 source "kernel/trace/rv/monitors/sssw/Kconfig"
73 source "kernel/trace/rv/monitors/opid/Kconfig"
76 source "kernel/trace/rv/monitors/rtapp/Kconfig"
77 source "kernel/trace/rv/monitors/pagefault/Kconfig"
78 source "kernel/trace/rv/monitors/sleep/Kconfig"
81 source "kernel/trace/rv/monitors/stall/Kconfig"
82 source "kernel/trace/rv/monitors/deadline/Kconfig"
83 source "kernel/trace/rv/monitors/nomiss/Kconfig"