Symbol: ha_verify_invariants
kernel/trace/rv/monitors/nomiss/nomiss.c
122
if (!ha_verify_invariants(ha_mon, curr_state, event, next_state, time_ns))
kernel/trace/rv/monitors/stall/stall.c
74
if (!ha_verify_invariants(ha_mon, curr_state, event, next_state, time_ns))