Searched refs:check_CFSI_related_invariants (Results 1 – 1 of 1) sorted by relevance
492 static void check_CFSI_related_invariants ( const DebugInfo* di ) in check_CFSI_related_invariants() function767 check_CFSI_related_invariants(di); in di_notify_ACHIEVE_ACCEPT_STATE()