Searched refs:tty_display_file (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 | 182 E void FDECL(tty_display_file, (const char *, BOOLEAN_P));
|
H A D | trampoli.h | 310 #define tty_display_file(x,y) tty_display_file_(x,y) macro
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/ |
H A D | wintty.h | 182 E void FDECL(tty_display_file, (const char *, BOOLEAN_P));
|
H A D | trampoli.h | 310 #define tty_display_file(x,y) tty_display_file_(x,y) macro
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/win/tty/ |
H A D | wintty.c | 68 tty_display_file, 1897 tty_display_file(fname, complain) function 1907 if(complain) pline("Cannot open tty_display_file %s.", fname);
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/win/tty/ |
H A D | wintty.c | 68 tty_display_file, 1897 tty_display_file(fname, complain) function 1907 if(complain) pline("Cannot open tty_display_file %s.", fname);
|
Completed in 43 milliseconds