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 D | quest.c | 150 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 D | do.c | 1430 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 D | quest.c | 150 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 D | do.c | 1430 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