/seL4-refos-master/libs/libsel4allocman/src/mspace/ |
H A D | k_r_malloc.c | 53 k_r_malloc_header_t *bp, *p; local 59 bp = (k_r_malloc_header_t *) ap - 1; /* point to block header */ 60 for (p = k_r_malloc->freep; !(bp > p && bp < p->s.ptr); p = p->s.ptr) 61 if (p >= p->s.ptr && (bp > p || bp < p->s.ptr)) { 65 if (bp + bp->s.size == p->s.ptr) { /* join to upper nbr */ 66 bp->s.size += p->s.ptr->s.size; 67 bp [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4allocman/src/mspace/ |
H A D | k_r_malloc.c | 53 k_r_malloc_header_t *bp, *p; local 59 bp = (k_r_malloc_header_t *) ap - 1; /* point to block header */ 60 for (p = k_r_malloc->freep; !(bp > p && bp < p->s.ptr); p = p->s.ptr) 61 if (p >= p->s.ptr && (bp > p || bp < p->s.ptr)) { 65 if (bp + bp->s.size == p->s.ptr) { /* join to upper nbr */ 66 bp->s.size += p->s.ptr->s.size; 67 bp [all...] |
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | objnam.c | 566 register char *bp = xname(obj); local 574 if (!strncmp(bp, "poisoned ", 9) && obj->opoisoned) { 575 bp += 9; 582 if (!strncmpi(bp, "the ", 4)) 583 bp += 4; 630 Strcat(bp, " (being worn)"); 644 Strcat(bp, (obj == uskin) ? " (embedded in your skin)" : 656 Strcat(bp, " (being worn)"); 660 Strcat(bp, " (in use)"); 670 Sprintf(eos(bp), " ( 1022 register char *bp = cxname(otmp); local 1043 char *bp = The(xname(otmp)); local 1539 register char *p, *bp; local [all...] |
H A D | topten.c | 543 register char *bp; local 546 bp = eos(linebuf); 547 while(bp < linebuf + COLNO - 9) *bp++ = ' '; 548 Strcpy(bp, "Hp [max]"); 561 char *bp, hpbuf[24], linebuf3[BUFSZ]; local 587 if ((bp = index(linebuf, ')')) != 0) 588 *bp = (t1->deathdnum == astral_level.dnum) ? '\0' : ' '; 655 for(bp = eos(linebuf); 656 !(*bp [all...] |
H A D | shk.c | 74 invariants: obj->unpaid iff onbill(obj) [unless bp->useup] 75 obj->quan <= bp->bquan 313 register struct bill_x *bp = ESHK(shkp)->bill_p; local 317 total += bp->price * bp->bquan; 318 bp++; 660 struct bill_x *bp; local 664 for (bp = eshkp->bill_p, ct = eshkp->billct; ct > 0; bp++, ct--) 665 debt += bp 753 register struct bill_x *bp = ESHK(shkp)->bill_p; local 784 register struct bill_x *bp; local 925 register struct bill_x *bp = ESHK(shkp)->bill_p; local 944 register struct bill_x *bp = ESHK(shkp)->bill_p; local 1080 register struct bill_x *bp = ESHK(shkp)->bill_p; local 1427 register struct bill_x *bp = &(eshkp->bill_p[tmp]); local 2062 register struct bill_x *bp = (struct bill_x *)0; local 2081 register struct bill_x *bp; local 2302 register struct bill_x *bp; local 2340 register struct bill_x *bp; local 2767 struct bill_x *bp, *end_bp; local [all...] |
H A D | write.c | 74 char namebuf[BUFSZ], *nm, *bp; local 120 if ((bp = strstri(nm, " armour")) != 0) { 121 (void)strncpy(bp, " armor ", 7); /* won't add '\0' */ 122 (void)mungspaces(bp + 1); /* remove the extra space */
|
H A D | hacklib.c | 107 mungspaces(bp) 108 char *bp; 113 for (p = p2 = bp; (c = *p) != '\0'; p++) { 118 if (was_space && p2 > bp) p2--; 120 return bp; 199 register char *bp, *s = sbuf; local 205 for (bp = buf, idx = 0; *s; s++) 207 do *bp++ = ' '; while (++idx % 8); 209 *bp++ = *s; 212 *bp [all...] |
H A D | dlb.c | 340 char *bp, c = 0; local 348 for (i = 0, bp = buf; 349 i < len && dp->mark < dp->size && c != '\n'; i++, bp++) { 350 if (dlb_fread(bp, 1, 1, dp) <= 0) break; /* EOF or error */ 351 c = *bp; 353 *bp = '\0'; 356 if ((bp = index(buf, '\r')) != 0) { 357 *bp++ = '\n'; 358 *bp = '\0';
|
H A D | do_name.c | 595 char *bp; local 693 } else if (is_mplayer(mdat) && (bp = strstri(name, " the ")) != 0) { 698 pbuf[bp - name + 5] = '\0'; /* adjectives right after " the " */ 701 Strcat(pbuf, bp + 5); /* append the rest of the name */ 792 register char *bp = mon_nam(mtmp); local 794 *bp = highc(*bp); 795 return(bp); 802 register char *bp = noit_mon_nam(mtmp); local 804 *bp 842 register char *bp = x_monnam(mtmp, ARTICLE_THE, adj, local 861 register char *bp = a_monnam(mtmp); local [all...] |
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | objnam.c | 566 register char *bp = xname(obj); local 574 if (!strncmp(bp, "poisoned ", 9) && obj->opoisoned) { 575 bp += 9; 582 if (!strncmpi(bp, "the ", 4)) 583 bp += 4; 630 Strcat(bp, " (being worn)"); 644 Strcat(bp, (obj == uskin) ? " (embedded in your skin)" : 656 Strcat(bp, " (being worn)"); 660 Strcat(bp, " (in use)"); 670 Sprintf(eos(bp), " ( 1022 register char *bp = cxname(otmp); local 1043 char *bp = The(xname(otmp)); local 1539 register char *p, *bp; local [all...] |
H A D | topten.c | 543 register char *bp; local 546 bp = eos(linebuf); 547 while(bp < linebuf + COLNO - 9) *bp++ = ' '; 548 Strcpy(bp, "Hp [max]"); 561 char *bp, hpbuf[24], linebuf3[BUFSZ]; local 587 if ((bp = index(linebuf, ')')) != 0) 588 *bp = (t1->deathdnum == astral_level.dnum) ? '\0' : ' '; 655 for(bp = eos(linebuf); 656 !(*bp [all...] |
H A D | shk.c | 74 invariants: obj->unpaid iff onbill(obj) [unless bp->useup] 75 obj->quan <= bp->bquan 313 register struct bill_x *bp = ESHK(shkp)->bill_p; local 317 total += bp->price * bp->bquan; 318 bp++; 660 struct bill_x *bp; local 664 for (bp = eshkp->bill_p, ct = eshkp->billct; ct > 0; bp++, ct--) 665 debt += bp 753 register struct bill_x *bp = ESHK(shkp)->bill_p; local 784 register struct bill_x *bp; local 925 register struct bill_x *bp = ESHK(shkp)->bill_p; local 944 register struct bill_x *bp = ESHK(shkp)->bill_p; local 1080 register struct bill_x *bp = ESHK(shkp)->bill_p; local 1427 register struct bill_x *bp = &(eshkp->bill_p[tmp]); local 2062 register struct bill_x *bp = (struct bill_x *)0; local 2081 register struct bill_x *bp; local 2302 register struct bill_x *bp; local 2340 register struct bill_x *bp; local 2767 struct bill_x *bp, *end_bp; local [all...] |
H A D | write.c | 74 char namebuf[BUFSZ], *nm, *bp; local 120 if ((bp = strstri(nm, " armour")) != 0) { 121 (void)strncpy(bp, " armor ", 7); /* won't add '\0' */ 122 (void)mungspaces(bp + 1); /* remove the extra space */
|
H A D | hacklib.c | 107 mungspaces(bp) 108 char *bp; 113 for (p = p2 = bp; (c = *p) != '\0'; p++) { 118 if (was_space && p2 > bp) p2--; 120 return bp; 199 register char *bp, *s = sbuf; local 205 for (bp = buf, idx = 0; *s; s++) 207 do *bp++ = ' '; while (++idx % 8); 209 *bp++ = *s; 212 *bp [all...] |
H A D | dlb.c | 340 char *bp, c = 0; local 348 for (i = 0, bp = buf; 349 i < len && dp->mark < dp->size && c != '\n'; i++, bp++) { 350 if (dlb_fread(bp, 1, 1, dp) <= 0) break; /* EOF or error */ 351 c = *bp; 353 *bp = '\0'; 356 if ((bp = index(buf, '\r')) != 0) { 357 *bp++ = '\n'; 358 *bp = '\0';
|
H A D | do_name.c | 595 char *bp; local 693 } else if (is_mplayer(mdat) && (bp = strstri(name, " the ")) != 0) { 698 pbuf[bp - name + 5] = '\0'; /* adjectives right after " the " */ 701 Strcat(pbuf, bp + 5); /* append the rest of the name */ 792 register char *bp = mon_nam(mtmp); local 794 *bp = highc(*bp); 795 return(bp); 802 register char *bp = noit_mon_nam(mtmp); local 804 *bp 842 register char *bp = x_monnam(mtmp, ARTICLE_THE, adj, local 861 register char *bp = a_monnam(mtmp); local [all...] |
/seL4-refos-master/libs/libmuslc/tools/ |
H A D | add-cfi.i386.awk | 41 match($0, /%e?([abcd][hlx]|si|di|bp)/) 46 match($0, /%e?([abcd][hlx]|si|di|bp),/) 51 match($0, /,%e?([abcd][hlx]|si|di|bp)/) 132 if (match($0, / %(ax|bx|cx|dx|di|si|bp|sp)/)) 138 if (match($0, / %(ax|bx|cx|dx|di|si|bp|sp)/)) 155 /pushl? %e(ax|bx|cx|dx|si|di|bp)/ { # don't match "push (%reg)" 170 /movl? %e(ax|bx|cx|dx|si|di|bp),-?(0x[0-9a-fA-F]+|[0-9]+)?\(%esp\)/ { 196 /mov.*,%e?([abcd][hlx]|si|di|bp)$/ { trashed(get_reg2()) } 197 /(add|addl|sub|subl|and|or|xor|lea|sal|sar|shl|shr).*,%e?([abcd][hlx]|si|di|bp)$/ { 201 /^i?mul.*,%e?([abcd][hlx]|si|di|bp) [all...] |
H A D | add-cfi.i386_sel4.awk | 41 match($0, /%e?([abcd][hlx]|si|di|bp)/) 46 match($0, /%e?([abcd][hlx]|si|di|bp),/) 51 match($0, /,%e?([abcd][hlx]|si|di|bp)/) 132 if (match($0, / %(ax|bx|cx|dx|di|si|bp|sp)/)) 138 if (match($0, / %(ax|bx|cx|dx|di|si|bp|sp)/)) 155 /pushl? %e(ax|bx|cx|dx|si|di|bp)/ { # don't match "push (%reg)" 170 /movl? %e(ax|bx|cx|dx|si|di|bp),-?(0x[0-9a-fA-F]+|[0-9]+)?\(%esp\)/ { 196 /mov.*,%e?([abcd][hlx]|si|di|bp)$/ { trashed(get_reg2()) } 197 /(add|addl|sub|subl|and|or|xor|lea|sal|sar|shl|shr).*,%e?([abcd][hlx]|si|di|bp)$/ { 201 /^i?mul.*,%e?([abcd][hlx]|si|di|bp) [all...] |
H A D | add-cfi.x86_64.awk | 36 match($0, /%[er]?([abcd][xlh]|si|di|bp|8|9|10|11|12|13|14|15)/) 41 match($0, /%[er]?([abcd][xlh]|si|di|bp|8|9|10|11|12|13|14|15),/) 46 match($0, /,%[er]?([abcd][xlh]|si|di|bp|8|9|10|11|12|13|14|15)/) 141 /pushl? %r(ax|bx|cx|dx|si|di|bp|8|9|10|11|12|13|14|15)/ { # don't match "push (%reg)" 156 /movl? %r(ax|bx|cx|dx|si|di|bp|8|9|10|11|12|13|14|15),-?(0x[0-9a-fA-F]+|[0-9]+)?\(%rsp\)/ { 182 /mov.*,%[er]?([abcd][xlh]|si|di|bp|8|9|10|11|12|13|14|15)$/ { trashed(get_reg2()) } 183 /(add|addl|sub|subl|and|or|xor|lea|sal|sar|shl|shr).*,%[er]?([abcd][xlh]|si|di|bp|8|9|10|11|12|13|14|15)$/ { 187 /^i?mul.*,%[er]?([abcd][xlh]|si|di|bp|8|9|10|11|12|13|14|15)$/ { trashed(get_reg2()) } 190 /(dec|inc|not|neg|pop) %[er]?([abcd][xlh]|si|di|bp|8|9|10|11|12|13|14|15)/ { trashed(get_reg()) }
|
H A D | add-cfi.x86_64_sel4.awk | 36 match($0, /%[er]?([abcd][xlh]|si|di|bp|8|9|10|11|12|13|14|15)/) 41 match($0, /%[er]?([abcd][xlh]|si|di|bp|8|9|10|11|12|13|14|15),/) 46 match($0, /,%[er]?([abcd][xlh]|si|di|bp|8|9|10|11|12|13|14|15)/) 141 /pushl? %r(ax|bx|cx|dx|si|di|bp|8|9|10|11|12|13|14|15)/ { # don't match "push (%reg)" 156 /movl? %r(ax|bx|cx|dx|si|di|bp|8|9|10|11|12|13|14|15),-?(0x[0-9a-fA-F]+|[0-9]+)?\(%rsp\)/ { 182 /mov.*,%[er]?([abcd][xlh]|si|di|bp|8|9|10|11|12|13|14|15)$/ { trashed(get_reg2()) } 183 /(add|addl|sub|subl|and|or|xor|lea|sal|sar|shl|shr).*,%[er]?([abcd][xlh]|si|di|bp|8|9|10|11|12|13|14|15)$/ { 187 /^i?mul.*,%[er]?([abcd][xlh]|si|di|bp|8|9|10|11|12|13|14|15)$/ { trashed(get_reg2()) } 190 /(dec|inc|not|neg|pop) %[er]?([abcd][xlh]|si|di|bp|8|9|10|11|12|13|14|15)/ { trashed(get_reg()) }
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/sys/share/ |
H A D | pcsys.c | 277 char buf[BUFSIZ], *bp; 301 for (bp = buf; *bp; bp++) 302 if (!isspace(*bp)) { 303 strncpy(SAVEF, bp, PATHLEN); 446 char buf[BUFSIZ], *bp, *pp, lastch = 0; 459 bp = buf; 461 lastch = *bp++ = *pp++; 465 *bp [all...] |
H A D | uudecode.c | 182 char *bp; 199 bp = &buf[1]; 201 outdec(bp, out, n); 202 bp += 4;
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/sys/share/ |
H A D | pcsys.c | 277 char buf[BUFSIZ], *bp; 301 for (bp = buf; *bp; bp++) 302 if (!isspace(*bp)) { 303 strncpy(SAVEF, bp, PATHLEN); 446 char buf[BUFSIZ], *bp, *pp, lastch = 0; 459 bp = buf; 461 lastch = *bp++ = *pp++; 465 *bp [all...] |
H A D | uudecode.c | 182 char *bp; 199 bp = &buf[1]; 201 outdec(bp, out, n); 202 bp += 4;
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/win/tty/ |
H A D | topl.c | 214 update_topl(bp) 215 register const char *bp; 224 n0 = strlen(bp); 228 (notdied = strncmp(bp, "You die", 7))) { 230 Strcat(toplines, bp); 233 addtopl(bp); 243 (void) strncpy(toplines, bp, TBUFSZ);
|