Searched refs:set_bonestemp_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 Dfiles.c152 STATIC_DCL char *NDECL(set_bonestemp_name);
641 set_bonestemp_name() function
665 file = set_bonestemp_name();
707 tempname = set_bonestemp_name();
723 tempname = set_bonestemp_name();
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A Dfiles.c152 STATIC_DCL char *NDECL(set_bonestemp_name);
641 set_bonestemp_name() function
665 file = set_bonestemp_name();
707 tempname = set_bonestemp_name();
723 tempname = set_bonestemp_name();

Completed in 36 milliseconds