Searched refs:replace_flush (Results 1 – 1 of 1) sorted by relevance
36 static void replace_flush(void);2419 replace_flush(); // abandon replace stack in stop_insert()3155 replace_flush(void) in replace_flush() function