terminal_destroy 101 uspace/app/terminal/main.c terminal_destroy(terminal); terminal_destroy 115 uspace/app/terminal/terminal.h extern void terminal_destroy(terminal_t *);