Searched refs:terminal_exit (Results 1 - 3 of 3) sorted by relevance
| /barrelfish-master/include/barrelfish/ | ||
| H A D | terminal.h | 40 void terminal_exit(void); |
| /barrelfish-master/lib/barrelfish/ | ||
| H A D | terminal.c | 91 void terminal_exit(void) function |
| H A D | init.c | 69 terminal_exit(); |
Completed in 49 milliseconds