Searched refs:delete_checkpoint_stack (Results 1 – 1 of 1) sorted by relevance
1177 static void delete_checkpoint_stack(checkpoint_stack_t *stack) { in delete_checkpoint_stack() function1658 delete_checkpoint_stack(&s->checkpoints); in delete_smt_core()