Searched refs:set_bonesfile_name (Results 1 - 2 of 2) sorted by relevance
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | files.c | 151 STATIC_DCL char *FDECL(set_bonesfile_name, (char *,d_level*)); 614 set_bonesfile_name(file, lev) function 664 *bonesid = set_bonesfile_name(bones, lev); 721 (void) set_bonesfile_name(bones, lev); 751 *bonesid = set_bonesfile_name(bones, lev); 767 (void) set_bonesfile_name(bones, lev);
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | files.c | 151 STATIC_DCL char *FDECL(set_bonesfile_name, (char *,d_level*)); 614 set_bonesfile_name(file, lev) function 664 *bonesid = set_bonesfile_name(bones, lev); 721 (void) set_bonesfile_name(bones, lev); 751 *bonesid = set_bonesfile_name(bones, lev); 767 (void) set_bonesfile_name(bones, lev);
|
Completed in 88 milliseconds