Searched refs:restore_saved_game (Results 1 - 8 of 8) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/sys/unix/
H A Dunixmain.c243 if ((fd = restore_saved_game()) >= 0) {
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/sys/unix/
H A Dunixmain.c243 if ((fd = restore_saved_game()) >= 0) {
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/sys/share/
H A Dpcmain.c409 if ((fd = restore_saved_game()) >= 0) {
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/sys/share/
H A Dpcmain.c409 if ((fd = restore_saved_game()) >= 0) {
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/
H A Dfiles.c921 return 0; /* for restore_saved_game() (ex-xxxmain.c) test */
927 restore_saved_game() function
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A Dfiles.c921 return 0; /* for restore_saved_game() (ex-xxxmain.c) test */
927 restore_saved_game() function
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/
H A Dextern.h640 E int NDECL(restore_saved_game);
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/
H A Dextern.h640 E int NDECL(restore_saved_game);

Completed in 53 milliseconds