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

/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/
H A Dquest.c150 int portal_flag; local
154 portal_flag = u.uevent.qexpelled ? 0 : /* returned via artifact? */
156 schedule_goto(dest, FALSE, FALSE, portal_flag, (char *)0, (char *)0);
H A Ddo.c1430 schedule_goto(tolev, at_stairs, falling, portal_flag, pre_msg, post_msg)
1433 int portal_flag;
1441 if (portal_flag) typmask |= 4;
1442 if (portal_flag < 0) typmask |= 0200; /* flag for portal removal */
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A Dquest.c150 int portal_flag; local
154 portal_flag = u.uevent.qexpelled ? 0 : /* returned via artifact? */
156 schedule_goto(dest, FALSE, FALSE, portal_flag, (char *)0, (char *)0);
H A Ddo.c1430 schedule_goto(tolev, at_stairs, falling, portal_flag, pre_msg, post_msg)
1433 int portal_flag;
1441 if (portal_flag) typmask |= 4;
1442 if (portal_flag < 0) typmask |= 0200; /* flag for portal removal */

Completed in 226 milliseconds