/seL4-camkes-master/projects/camkes/apps/periodic/components/Client/src/ |
H A D | client.c | 17 uint64_t acc = 0; variable 23 while (acc < MAX_VALUE) { 25 acc *= 17; 26 acc++; 27 acc /= 17; 28 acc++; 29 if (acc % RATE == 0) { 30 IPRINT("acc = %"PRIuPTR"\n", acc); 35 IPRINT("*** DONE %"PRIuPTR" ***\n", acc); [all...] |
/seL4-camkes-master/projects/lwip/src/core/ |
H A D | inet_chksum.c | 82 u32_t acc; local 86 acc = 0; 97 acc += src; 103 acc += src; 106 acc = (acc >> 16) + (acc & 0x0000ffffUL); 107 if ((acc & 0xffff0000UL) != 0) { 108 acc = (acc >> 1 260 inet_cksum_pseudo_base(struct pbuf *p, u8_t proto, u16_t proto_len, u32_t acc) argument 313 u32_t acc; local 346 u32_t acc = 0; local 399 inet_cksum_pseudo_partial_base(struct pbuf *p, u8_t proto, u16_t proto_len, u16_t chksum_len, u32_t acc) argument 459 u32_t acc; local 494 u32_t acc = 0; local 570 u32_t acc; local [all...] |
H A D | udp.c | 832 u32_t acc; local 833 acc = udphdr->chksum + (u16_t)~(chksum); 834 udphdr->chksum = FOLD_U32T(acc); 859 u32_t acc; local 862 acc = udpchksum + (u16_t)~(chksum); 863 udpchksum = FOLD_U32T(acc);
|
H A D | pbuf.c | 1337 u32_t acc; local 1354 acc = *chksum; 1355 acc += copy_chksum; 1356 *chksum = FOLD_U32T(acc);
|
H A D | tcp_out.c | 1569 u32_t acc; local 1580 acc = ip_chksum_pseudo_partial(seg->p, IP_PROTO_TCP, 1588 acc = (u16_t)~acc + seg->chksum; 1589 seg->tcphdr->chksum = (u16_t)~FOLD_U32T(acc);
|
/seL4-camkes-master/tools/rumprun/lib/libbmk_core/ |
H A D | strtoul.c | 62 __UINT acc, cutoff; local 102 for (acc = 0, any = 0;; c = *s++) { 115 if (acc > cutoff || (acc == cutoff && i > cutlim)) { 116 acc = __UINT_MAX; 121 acc *= (__UINT)base; 122 acc += i; 126 acc = -acc; 130 return(acc); [all...] |
/seL4-camkes-master/tools/cogent/c-refinement/tests/ |
H A D | loopfull.c | 15 u32 r2 = a1.acc; 31 t3 r8 = (t3) {.frm = r4, .to = r2, .f = r5, .acc = r7}; 38 u32 r2 = a1.acc; 53 t3 r8 = (t3) {.frm = r4, .to = r2, .f = r5, .acc = r7}; 67 fargs.acc = args.acc; 70 fargs.acc = dispatch_t2(args.f, fargs); 72 return fargs.acc;
|
H A D | loopmain.h | 80 u32 acc; member in struct:t1 88 u32 acc; member in struct:t3
|
/seL4-camkes-master/kernel/tools/ |
H A D | umm.py | 43 def fold(acc, v): 45 acc[0].append(acc[1]) 46 return (acc[0], []) 48 acc[1].append(v) 49 return acc
|
/seL4-camkes-master/tools/cogent/cogent/tests/ |
H A D | run-test-suite.py | 122 acc = "" 133 acc += colored("WIP (Passed as expected)\n", "green") 135 acc += colored("WIP (expected pass, got " + status + ")\n", "yellow") 138 acc += colored("WIP (Failed as expected)\n", "green") 140 acc += colored("WIP (expected fail, got " + status + ")\n", "yellow") 143 acc += colored("WIP (got " + status + ")\n", "yellow") 146 acc += colored("Error? ", "yellow") + "\nReason:\n" 149 acc += colored("Passed\n", "green") 151 acc += colored("Failed (as expected)\n", "green") 153 acc [all...] |
/seL4-camkes-master/projects/camkes-tool/camkes/parser/ |
H A D | stage3.py | 559 acc = ops[0] 563 acc += op 565 acc &= op 567 acc |= op 571 if not isinstance(acc, numbers.Integral) or \ 573 acc /= op 575 acc //= op 577 acc = int(acc == op) 579 acc [all...] |
/seL4-camkes-master/tools/rumprun/platform/xen/ |
H A D | rumphyper_bio.c | 218 int acc, rv, num; local 226 acc = mode & RUMPUSER_OPEN_ACCMODE; 227 if (acc == RUMPUSER_OPEN_WRONLY || acc == RUMPUSER_OPEN_RDWR) {
|
/seL4-camkes-master/projects/camkes-tool/camkes/templates/tests/ |
H A D | testsel4_notification.py | 128 stripped = reduce(lambda acc, x: re.sub(x[0], x[1], acc, flags=re.MULTILINE),
|
/seL4-camkes-master/projects/lwip/src/apps/http/makefsdata/ |
H A D | makefsdata.c | 1033 u16_t acc; local 1216 acc = ~inet_chksum(hdr_buf, (u16_t)hdr_len); 1218 *http_hdr_chksum = acc;
|
/seL4-camkes-master/tools/cogent/cogent/doc/ |
H A D | doc.tex | 768 iterate: all (y, r, s, acc, obsv). #{ 769 gen: Generator y r s acc obsv!, 770 cons: Consumer y r s acc obsv!, 771 acc: acc, 772 obsv: obsv!} -> IterationResult acc r s 774 In this example, \code{y}, \code{r}, \code{s}, \code{acc} and \code{obsv} are type variables. In some cases, 795 acc = (ex, None (), kaddr, 0),
|