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

/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/
H A Dsave.c387 save_savefile_name(fd);
H A Dfiles.c832 save_savefile_name(fd) function
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A Dsave.c387 save_savefile_name(fd);
H A Dfiles.c832 save_savefile_name(fd) function
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/
H A Dextern.h632 E void FDECL(save_savefile_name, (int));
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/
H A Dextern.h632 E void FDECL(save_savefile_name, (int));

Completed in 58 milliseconds