Searched refs:tty_end_menu (Results 1 - 6 of 6) sorted by relevance
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/ |
H A D | wintty.h | 186 E void FDECL(tty_end_menu, (winid, const char *));
|
H A D | trampoli.h | 313 #define tty_end_menu(a,b) tty_end_menu_(a,b) macro
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/ |
H A D | wintty.h | 186 E void FDECL(tty_end_menu, (winid, const char *));
|
H A D | trampoli.h | 313 #define tty_end_menu(a,b) tty_end_menu_(a,b) macro
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/win/tty/ |
H A D | wintty.c | 71 tty_end_menu, 2061 tty_end_menu(window, prompt) function
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/win/tty/ |
H A D | wintty.c | 71 tty_end_menu, 2061 tty_end_menu(window, prompt) function
|
Completed in 50 milliseconds