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

/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/
H A Dregion.h30 #define set_heros_fault(r) ((r)->player_flags &= ~REG_NOT_HEROS) macro
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/
H A Dregion.h30 #define set_heros_fault(r) ((r)->player_flags &= ~REG_NOT_HEROS) macro
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/
H A Dregion.c856 set_heros_fault(ff); /* assume player has created it */
975 set_heros_fault(cloud); /* assume player has created it */
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A Dregion.c856 set_heros_fault(ff); /* assume player has created it */
975 set_heros_fault(cloud); /* assume player has created it */

Completed in 63 milliseconds