Searched refs:tty_mark_synch (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.h190 E void NDECL(tty_mark_synch);
H A Dtrampoli.h316 #define tty_mark_synch() tty_mark_synch_() macro
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/
H A Dwintty.h190 E void NDECL(tty_mark_synch);
H A Dtrampoli.h316 #define tty_mark_synch() tty_mark_synch_() macro
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/win/tty/
H A Dwintty.c75 tty_mark_synch,
1937 home(); tty_mark_synch(); tty_raw_print("");
2237 tty_mark_synch() function
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/win/tty/
H A Dwintty.c75 tty_mark_synch,
1937 home(); tty_mark_synch(); tty_raw_print("");
2237 tty_mark_synch() function

Completed in 100 milliseconds