Searched refs:check_CFSI_related_invariants (Results 1 – 3 of 3) sorted by relevance
658 static void check_CFSI_related_invariants ( const DebugInfo* di ) in check_CFSI_related_invariants() function996 check_CFSI_related_invariants(di); in di_notify_ACHIEVE_ACCEPT_STATE()
614 + check_CFSI_related_invariants(di);