delete_terminal_internal 4138 src/term.c             delete_terminal_internal (terminal);
delete_terminal_internal  951 src/termhooks.h extern void delete_terminal_internal (struct terminal *);
delete_terminal_internal  335 src/terminal.c   delete_terminal_internal (terminal);