Searched refs:delete_trail_stack (Results 1 – 1 of 1) sorted by relevance
875 static inline void delete_trail_stack(trail_stack_t *stack) { in delete_trail_stack() function1657 delete_trail_stack(&s->trail_stack); in delete_smt_core()