Thomas Weißschuh 4f739ed19d rv: Pass va_list to reactors ...

The only thing the reactors can do with the passed in varargs is to
convert it into a va_list. Do that in a central helper instead.
It simplifies the reactors, removes some hairy macro-generated code
and introduces a convenient hook point to modify reactor behavior.

Signed-off-by: Thomas Weißschuh <thomas.weissschuh@linutronix.de>
Link: https://lore.kernel.org/r/20251014-rv-lockdep-v1-1-0b9e51919ea8@linutronix.de
Signed-off-by: Gabriele Monaco <gmonaco@redhat.com>

2025-11-11 13:18:55 +01:00

..

automata.h

rv/include: Add helper functions for deterministic automata

2022-07-30 14:01:28 -04:00

da_monitor.h

rv: Pass va_list to reactors

2025-11-11 13:18:55 +01:00

instrumentation.h

rv/include: Add instrumentation helper functions

2022-07-30 14:01:28 -04:00

ltl_monitor.h

rv: Pass va_list to reactors

2025-11-11 13:18:55 +01:00