Searched refs:leave_op (Results 1 – 1 of 1) sorted by relevance
322 void leave_op P_((void));415 {"", NULL, NULL, NULL, leave_op, -1}, 3845 leave_op() in leave_op() function