Lines Matching full:trace

33 	  theorem proving). RV works by analyzing the trace of the system's
38 	    Documentation/trace/rv/runtime-verification.rst
49 source "kernel/trace/rv/monitors/wip/Kconfig"
50 source "kernel/trace/rv/monitors/wwnr/Kconfig"
52 source "kernel/trace/rv/monitors/sched/Kconfig"
53 source "kernel/trace/rv/monitors/sco/Kconfig"
54 source "kernel/trace/rv/monitors/snroc/Kconfig"
55 source "kernel/trace/rv/monitors/scpd/Kconfig"
56 source "kernel/trace/rv/monitors/snep/Kconfig"
57 source "kernel/trace/rv/monitors/sts/Kconfig"
58 source "kernel/trace/rv/monitors/nrp/Kconfig"
59 source "kernel/trace/rv/monitors/sssw/Kconfig"
60 source "kernel/trace/rv/monitors/opid/Kconfig"
63 source "kernel/trace/rv/monitors/rtapp/Kconfig"
64 source "kernel/trace/rv/monitors/pagefault/Kconfig"
65 source "kernel/trace/rv/monitors/sleep/Kconfig"