aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/kernel/trace/rv
AgeCommit message (Expand)AuthorFilesLines
2026-08-04rv: Fix 32-bit build of nomiss KUnit testGabriele Monaco1-1/+1
2026-07-31rv: Add KUnit tests for some LTL monitorsGabriele Monaco7-0/+180
2026-07-31rv: Add KUnit mock for currentGabriele Monaco5-14/+44
2026-07-31rv: Add KUnit tests for some DA/HA monitorsGabriele Monaco19-0/+622
2026-07-31rv: Export task monitor slot and react symbolsGabriele Monaco2-0/+3
2026-07-31rv: Use generic rv_this for the rv_monitor variable in LTLGabriele Monaco2-6/+6
2026-07-24rv/rtapp: Add wakeup monitorNam Cao8-1/+279
2026-07-24rv/rtapp/sleep: Stop monitoring kernel threadsNam Cao3-98/+46
2026-07-24rv/rtapp/sleep: Update nanosleep ruleNam Cao2-36/+28
2026-07-24rv/rtapp/sleep: Make the error more informative for userNam Cao2-12/+12
2026-07-23rv: Simplify task monitor slot managementLi Qiang1-13/+5
2026-07-20rv: Simplify hybrid automata monitors's clock variablesNam Cao2-17/+3
2026-06-03rv: Use 0 to check preemption enabled in opidGabriele Monaco1-7/+1
2026-06-03rv: Add automatic cleanup handlers for per-task HA monitorsGabriele Monaco3-6/+6
2026-06-03rv: Fix __user specifier usage in extract_params()Gabriele Monaco1-1/+2
2026-04-01rv: Allow epoll in rtapp-sleep monitorNam Cao2-46/+60
2026-03-31rv: Add nomiss deadline monitorGabriele Monaco10-0/+713
2026-03-31rv: Convert the opid monitor to a hybrid automatonGabriele Monaco5-152/+60
2026-03-31rv: Add sample hybrid monitor stallGabriele Monaco7-0/+266
2026-03-31rv: Add Hybrid Automata monitor typeGabriele Monaco2-0/+76
2026-01-12verification/rvgen: Remove unused variable declaration from containersGabriele Monaco2-4/+0
2026-01-12verification/dot2c: Remove superfluous enum assignment and add last commaGabriele Monaco10-82/+82
2026-01-12rv: Refactor da_monitor to minimise macrosGabriele Monaco20-162/+162
2025-12-02rv: Convert to use __freeNam Cao3-57/+44
2025-12-02rv: Convert to use lock guardNam Cao2-45/+20
2025-11-11rv: Add explicit lockdep context for reactorsThomas Weißschuh1-0/+4
2025-11-11rv: Make rv_reacting_on() staticThomas Weißschuh1-1/+1
2025-11-11rv: Pass va_list to reactorsThomas Weißschuh3-11/+17
2025-10-20rv: Make rtapp/pagefault monitor depends on CONFIG_MMUNam Cao1-0/+1
2025-10-20rv: Fully convert enabled_monitors to use list_head as iteratorNam Cao1-6/+6
2025-09-15rv: Fix missing mutex unlock in rv_register_monitor()Zhen Ni1-1/+1
2025-09-15rv: Fix wrong type cast in enabled_monitors_next()Nam Cao1-1/+1
2025-09-15rv: Support systems with time64-only syscallsPalmer Dabbelt1-0/+4
2025-08-01Merge tag 'trace-v6.17' of git://git.kernel.org/pub/scm/linux/kernel/git/trace/linux-traceLinus Torvalds1-6/+0
2025-07-28rv: Add opid per-cpu monitorGabriele Monaco7-0/+309
2025-07-28rv: Add nrp and sssw per-task monitorsGabriele Monaco12-0/+502
2025-07-28rv: Replace tss and sncid monitors with more complete stsGabriele Monaco14-335/+299
2025-07-28sched: Adapt sched tracepoints for RV task modelGabriele Monaco5-10/+10
2025-07-28rv: Retry when da monitor detects race conditionsGabriele Monaco2-0/+29
2025-07-28rv: Adjust monitor dependenciesGabriele Monaco4-4/+4
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-28rv: Fix wrong type cast in reactors_show() and monitor_reactor_show()Nam Cao1-2/+2
2025-07-28rv: Fix wrong type cast in monitors_show()Nam Cao1-1/+1
2025-07-25rv: Remove struct rv_monitor::reactingNam Cao1-14/+5
2025-07-25rv: Remove rv_reactor's reference counterNam Cao3-38/+2
2025-07-25rv: Merge struct rv_reactor_def into struct rv_reactorNam Cao2-62/+39
2025-07-25rv: Merge struct rv_monitor_def into struct rv_monitorNam Cao3-168/+132
2025-07-25rv: Remove unused field in struct rv_monitor_defNam Cao1-1/+0
2025-07-24rv: Return init error when registering monitorsGabriele Monaco9-18/+9
Copyright © 1996 – 2026 Jason A. Donenfeld. All Rights Reverse Engineered.