Searched refs:set_savefile_name (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/
H A Dfiles.c788 set_savefile_name() function
932 set_savefile_name();
2341 set_savefile_name();
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A Dfiles.c788 set_savefile_name() function
932 set_savefile_name();
2341 set_savefile_name();
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/
H A Dextern.h630 E void NDECL(set_savefile_name);
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/
H A Dextern.h630 E void NDECL(set_savefile_name);

Completed in 48 milliseconds