Searched refs:savename (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.c2297 char savename[SAVESIZE], errbuf[BUFSZ]; local
2326 if ((read(gfd, (genericptr_t) savename, sizeof savename)
2327 != sizeof savename) ||
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A Dfiles.c2297 char savename[SAVESIZE], errbuf[BUFSZ]; local
2326 if ((read(gfd, (genericptr_t) savename, sizeof savename)
2327 != sizeof savename) ||

Completed in 84 milliseconds