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

/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/
H A Dmkobj.c1194 boolean restart_timer = FALSE; local
1216 restart_timer = TRUE;
1241 restart_timer = TRUE;
1248 if (restart_timer)
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A Dmkobj.c1194 boolean restart_timer = FALSE; local
1216 restart_timer = TRUE;
1241 restart_timer = TRUE;
1248 if (restart_timer)

Completed in 25 milliseconds