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

/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/
H A Ddungeon.h143 #define MIGR_PORTAL 8 /* magic portal */ macro
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/
H A Ddungeon.h143 #define MIGR_PORTAL 8 /* magic portal */ macro
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/
H A Ddog.c310 case MIGR_PORTAL:
H A Dteleport.c1129 migrate_typ = MIGR_PORTAL;
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A Ddog.c310 case MIGR_PORTAL:
H A Dteleport.c1129 migrate_typ = MIGR_PORTAL;

Completed in 43 milliseconds