Searched refs:output_internal_dead_lock_func (Results 1 – 2 of 2) sorted by relevance
8030 output_internal_dead_lock_func (void) in output_internal_dead_lock_func() function9173 output_internal_dead_lock_func (); in write_automata()
14089 (output_internal_dead_lock_func): Only test the dead_lock_vect