Symbol: rv_react
include/linux/rv.h
126
void rv_react(struct rv_monitor *monitor, const char *msg, ...);
include/linux/rv.h
129
static inline void rv_react(struct rv_monitor *monitor, const char *msg, ...)
include/rv/da_monitor.h
33
rv_react(&rv_this,
include/rv/ltl_monitor.h
87
rv_react(&RV_MONITOR_NAME, "rv: "__stringify(MONITOR_NAME)": %s[%d]: violation detected\n",