/seL4-refos-master/apps/nethack/src/nethack-3.4.3/doc/ |
H A D | Guidebook.tex | 367 Your current and maximum hit points. Hit points indicate how much 369 the lower they get. You can regain hit points by resting, or by using 371 number your hit points can reach. 374 Spell points. This tells you how much mystic energy ({\it mana\/}) 384 Your current experience level and experience points. As you 385 adventure, you gain experience points. At certain experience point 1292 over time, gaining hit points and doing more damage. Initially, your 1424 weapon, you do only 1--2 hit points of damage (plus bonuses, if any). 1723 be possible to squeeze the last few mana points fro [all...] |
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | end.c | 500 boolean counting; /* true => add up points; false => display them */ 505 long value, points; 514 points = value * 5 / 2; /* score value */ 516 u.urexp += points; 521 Sprintf(pbuf, "%s%s (worth %ld %s and %ld points)", 525 value, currency(value), points); 795 /* add points for collected valuables */ 802 /* count the points for artifacts */
|
H A D | topten.c | 48 long points; member in struct:toptenentry 147 &tt->points, &tt->deathdnum, &tt->deathlev, 152 tt->points = 0; 162 tt->points = 0; 172 tt->points = 0; 174 if(tt->points > 0) { 182 if (tt->points > 0) { 202 tt->points, tt->deathdnum, tt->deathlev, 235 while (tt->points > 0) { 299 t0->points [all...] |
/seL4-refos-master/apps/tetris/src/ |
H A D | tetris.c | 55 /* Board points. */ 78 int points = 0; variable 206 /* Update points and level. */ 220 printf ("Points : %d", points); 278 ++points; 310 for (; fits_in (shape, pos + B_COLS); ++points) pos += B_COLS; 392 printf("Game over! You reached %d points.\n", points);
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/doc/ |
H A D | Guidebook.tex | 367 Your current and maximum hit points. Hit points indicate how much 369 the lower they get. You can regain hit points by resting, or by using 371 number your hit points can reach. 374 Spell points. This tells you how much mystic energy ({\it mana\/}) 384 Your current experience level and experience points. As you 385 adventure, you gain experience points. At certain experience point 1292 over time, gaining hit points and doing more damage. Initially, your 1424 weapon, you do only 1--2 hit points of damage (plus bonuses, if any). 1723 be possible to squeeze the last few mana points fro [all...] |
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | end.c | 500 boolean counting; /* true => add up points; false => display them */ 505 long value, points; 514 points = value * 5 / 2; /* score value */ 516 u.urexp += points; 521 Sprintf(pbuf, "%s%s (worth %ld %s and %ld points)", 525 value, currency(value), points); 795 /* add points for collected valuables */ 802 /* count the points for artifacts */
|
H A D | topten.c | 48 long points; member in struct:toptenentry 147 &tt->points, &tt->deathdnum, &tt->deathlev, 152 tt->points = 0; 162 tt->points = 0; 172 tt->points = 0; 174 if(tt->points > 0) { 182 if (tt->points > 0) { 202 tt->points, tt->deathdnum, tt->deathlev, 235 while (tt->points > 0) { 299 t0->points [all...] |
/seL4-refos-master/projects/refos/impl/apps/tetris/src/ |
H A D | tetris.c | 55 /* Board points. */ 78 int points = 0; variable 206 /* Update points and level. */ 220 printf ("Points : %d", points); 278 ++points; 310 for (; fits_in (shape, pos + B_COLS); ++points) pos += B_COLS; 392 printf("Game over! You reached %d points.\n", points);
|
/seL4-refos-master/kernel/manual/parts/ |
H A D | bootup.tex | 88 \texttt{end - 1} points to the last slot of the region.
|
H A D | ipc.tex | 249 A reply capability points directly to the caller thread and once the call has 268 then the thread it points to is waiting for a reply. However a reply capability
|
/seL4-refos-master/kernel/src/arch/x86/32/ |
H A D | traps.S | 18 # On kernel entry, ESP points to the end of the thread's registers array. 490 # ESP points to the end of an array that just holds the general purpose registers 516 # ESP : points to tss.esp0 which points to the end of the thread's registers array
|
/seL4-refos-master/kernel/src/arch/x86/64/ |
H A D | traps.S | 55 * Inside that is the 'currentThreadUserContext' that points to the first 670 # RSP points to the end of the VCPUs general purpose register array
|