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

/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/
H A Dlight.c281 restore_light_sources(fd) function
H A Drestore.c404 restore_light_sources(fd);
792 restore_light_sources(fd);
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A Dlight.c281 restore_light_sources(fd) function
H A Drestore.c404 restore_light_sources(fd);
792 restore_light_sources(fd);
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/
H A Dextern.h839 E void FDECL(restore_light_sources, (int));
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/
H A Dextern.h839 E void FDECL(restore_light_sources, (int));

Completed in 418 milliseconds