Searched refs:create_savefile (Results 1 - 6 of 6) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/
H A Dfiles.c864 create_savefile() function
2342 sfd = create_savefile();
H A Dsave.c154 fd = create_savefile();
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A Dfiles.c864 create_savefile() function
2342 sfd = create_savefile();
H A Dsave.c154 fd = create_savefile();
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/
H A Dextern.h637 E int NDECL(create_savefile);
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/
H A Dextern.h637 E int NDECL(create_savefile);

Completed in 125 milliseconds