Searched refs:acc (Results 1 - 15 of 15) sorted by relevance

/seL4-camkes-master/projects/camkes/apps/periodic/components/Client/src/
H A Dclient.c17 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 Dinet_chksum.c82 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 Dudp.c832 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 Dpbuf.c1337 u32_t acc; local
1354 acc = *chksum;
1355 acc += copy_chksum;
1356 *chksum = FOLD_U32T(acc);
H A Dtcp_out.c1569 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 Dstrtoul.c62 __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 Dloopfull.c15 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 Dloopmain.h80 u32 acc; member in struct:t1
88 u32 acc; member in struct:t3
/seL4-camkes-master/kernel/tools/
H A Dumm.py43 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 Drun-test-suite.py122 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 Dstage3.py559 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 Drumphyper_bio.c218 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 Dtestsel4_notification.py128 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 Dmakefsdata.c1033 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 Ddoc.tex768 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),

Completed in 88 milliseconds