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