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 Dwintty.h182 E void FDECL(tty_display_file, (const char *, BOOLEAN_P));
H A Dtrampoli.h310 #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 Dwintty.h182 E void FDECL(tty_display_file, (const char *, BOOLEAN_P));
H A Dtrampoli.h310 #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 Dwintty.c68 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 Dwintty.c68 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