Searched refs:tty_player_selection (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.h169 E void NDECL(tty_player_selection);
H A Dtrampoli.h298 #define tty_player_selection() tty_player_selection_() macro
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/
H A Dwintty.h169 E void NDECL(tty_player_selection);
H A Dtrampoli.h298 #define tty_player_selection() tty_player_selection_() macro
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/win/tty/
H A Dwintty.c56 tty_player_selection,
319 tty_player_selection() function
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/win/tty/
H A Dwintty.c56 tty_player_selection,
319 tty_player_selection() function

Completed in 55 milliseconds