Searched refs:deaths (Results 1 - 5 of 5) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/
H A Dtopten.c50 int maxlvl, hp, maxhp, deaths; member in struct:toptenentry
148 &tt->maxlvl, &tt->hp, &tt->maxhp, &tt->deaths,
203 tt->maxlvl, tt->hp, tt->maxhp, tt->deaths,
305 t0->deaths = u.umortality;
514 t1->maxlvl = t1->hp = t1->maxhp = t1->deaths = 0;
H A Dend.c71 static NEARDATA const char *deaths[] = { /* the array of death */ variable
569 Strcpy(kilbuf, (!killer || how >= PANICKED ? deaths[how] : killer));
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A Dtopten.c50 int maxlvl, hp, maxhp, deaths; member in struct:toptenentry
148 &tt->maxlvl, &tt->hp, &tt->maxhp, &tt->deaths,
203 tt->maxlvl, tt->hp, tt->maxhp, tt->deaths,
305 t0->deaths = u.umortality;
514 t1->maxlvl = t1->hp = t1->maxhp = t1->deaths = 0;
H A Dend.c71 static NEARDATA const char *deaths[] = { /* the array of death */ variable
569 Strcpy(kilbuf, (!killer || how >= PANICKED ? deaths[how] : killer));
/seL4-refos-master/projects/refos/design/
H A Dintro.tex34 \texttt{Servers} are normal processes which have registered themselves using the naming service so that other client processes may find them. Once a client finds a process, the client may connect and establish a session with the server and the server is given access to the notification of client deaths in order to do any client bookkeeping that it may require.

Completed in 78 milliseconds