Searched refs:rv_react (Results 1 – 3 of 3) sorted by relevance
87 rv_react(&RV_MONITOR_NAME, "rv: "__stringify(MONITOR_NAME)": %s[%d]: violation detected\n", in ltl_illegal_state()
26 rv_react(&rv_##name, \
466 void rv_react(struct rv_monitor *monitor, const char *msg, ...) in rv_react() function