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

/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/sys/share/
H A Dpcsys.c284 if ((fd = open_savefile()) >= 0) {
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/sys/share/
H A Dpcsys.c284 if ((fd = open_savefile()) >= 0) {
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/
H A Dfiles.c897 open_savefile() function
940 if ((fd = open_savefile()) < 0) return fd;
964 if ((fd = open_savefile()) >= 0) {
H A Dsave.c140 fd = open_savefile();
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A Dfiles.c897 open_savefile() function
940 if ((fd = open_savefile()) < 0) return fd;
964 if ((fd = open_savefile()) >= 0) {
H A Dsave.c140 fd = open_savefile();
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/
H A Dextern.h638 E int NDECL(open_savefile);
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/
H A Dextern.h638 E int NDECL(open_savefile);

Completed in 138 milliseconds