summaryrefslogtreecommitdiff
path: root/kernel/trace/rv/rv_trace.h
AgeCommit message (Expand)AuthorFilesLines
2026-07-24rv/rtapp: Add wakeup monitorNam Cao1-0/+1
2026-03-31rv: Add nomiss deadline monitorGabriele Monaco1-0/+1
2026-03-31rv: Convert the opid monitor to a hybrid automatonGabriele Monaco1-1/+1
2026-03-31rv: Add sample hybrid monitor stallGabriele Monaco1-0/+1
2026-03-31rv: Add Hybrid Automata monitor typeGabriele Monaco1-0/+63
2025-07-28rv: Add opid per-cpu monitorGabriele Monaco1-0/+1
2025-07-28rv: Add nrp and sssw per-task monitorsGabriele Monaco1-0/+2
2025-07-28rv: Replace tss and sncid monitors with more complete stsGabriele Monaco1-2/+1
2025-07-28rv: Retry when da monitor detects race conditionsGabriele Monaco1-0/+24
2025-07-28rv: Use strings in da monitors tracepointsGabriele Monaco1-38/+38
2025-07-28rv: Remove trailing whitespace from tracepoint stringGabriele Monaco1-4/+4
2025-07-09rv: Add rtapp_sleep monitorNam Cao1-0/+1
2025-07-09rv: Add rtapp_pagefault monitorNam Cao1-0/+1
2025-07-09rv: Add support for LTL monitorsNam Cao1-0/+47
2025-07-09rv: Add #undef TRACE_INCLUDE_FILENam Cao1-1/+2
2025-03-24rv: Add scpd, snep and sncid per-cpu monitorsGabriele Monaco1-0/+3
2025-03-24rv: Add snroc per-task monitorGabriele Monaco1-0/+1
2025-03-24rv: Add sco and tss per-cpu monitorsGabriele Monaco1-0/+2
2024-12-27verification/dot2k: Auto patch current kernel sourceGabriele Monaco1-0/+2
2024-12-27rv: Simplify manual steps in monitor creationGabriele Monaco1-0/+128
generated by cgit (git 2.54.0.dirty) at 2026-09-14 20:45:06 +0000