Searched refs:inpool_ok (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/
H A Dtrap.c2826 boolean inpool_ok = FALSE, crawl_ok; local
2833 if (!rn2(5)) inpool_ok = TRUE;
2856 if (inpool_ok) return(FALSE);
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A Dtrap.c2826 boolean inpool_ok = FALSE, crawl_ok; local
2833 if (!rn2(5)) inpool_ok = TRUE;
2856 if (inpool_ok) return(FALSE);

Completed in 34 milliseconds