Linux kernel bug fix: rv: Fix compilation if !CONFIG_RV_REACTORS
Subsystem: other (include/rv/ltl_monitor.h)
Bug type: unknown, severity: low
Files changed: include/rv/ltl_monitor.h
Introduced by Thomas Weißschuh on 2025-11-11 13:18:55 +0100; fixed by Gabriele Monaco on 2025-12-02 12:33:37 -0500 (lifetime: 20 days)