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

/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/
H A Dlight.c380 genericptr_t arg_save; local
389 arg_save = ls->id;
407 ls->id = arg_save;
H A Dtimeout.c1612 genericptr_t arg_save; local
1626 arg_save = timer->arg;
1630 timer->arg = arg_save;
1640 arg_save = timer->arg;
1644 timer->arg = arg_save;
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A Dlight.c380 genericptr_t arg_save; local
389 arg_save = ls->id;
407 ls->id = arg_save;
H A Dtimeout.c1612 genericptr_t arg_save; local
1626 arg_save = timer->arg;
1630 timer->arg = arg_save;
1640 arg_save = timer->arg;
1644 timer->arg = arg_save;

Completed in 88 milliseconds