Searched refs:delete_StackTree__kFin (Results 1 – 1 of 1) sorted by relevance
593 static void delete_StackTree__kFin ( UWord keyW ) { in delete_StackTree__kFin() function604 delete_StackTree__kFin, delete_StackTree__vFin ); in delete_StackTree()