/seL4-refos-master/libs/libmuslc/src/math/ |
H A D | fmal.c | 84 struct dd sum; local 87 sum = dd_add(a, b); 88 if (sum.lo != 0) { 89 u.f = sum.hi; 91 sum.hi = nextafterl(sum.hi, INFINITY * sum.lo); 93 return (sum.hi); 103 struct dd sum; local 107 sum [all...] |
H A D | fma.c | 234 struct dd sum; local 237 sum = dd_add(a, b); 238 if (sum.lo != 0) { 239 uhi.f = sum.hi; 241 /* hibits += (int)copysign(1.0, sum.hi * sum.lo) */ 242 ulo.f = sum.lo; 244 sum.hi = uhi.f; 247 return (sum.hi); 257 struct dd sum; local [all...] |
/seL4-refos-master/seL4_tools/cmake-tool/helpers/ |
H A D | elf_sift.py | 43 total = sum([seg['p_memsz'] for seg in elf.iter_segments() 66 operands and print their sum. 81 total = sum(regions)
|
/seL4-refos-master/libs/librefossys/src/ |
H A D | sys_io.c | 94 long long sum = 0; local 101 /* The sum of iov_len is valid if less than or equal to SSIZE_MAX i.e. cannot overflow 107 sum += (long long)iov[i].iov_len; 108 if (sum > SSIZE_MAX) 113 if (!sum) 178 long long sum = 0; local 185 /* The sum of iov_len is valid if less than or equal to SSIZE_MAX i.e. cannot overflow 191 sum += (long long)iov[i].iov_len; 192 if (sum > SSIZE_MAX) 197 if (!sum) [all...] |
/seL4-refos-master/projects/refos/impl/libs/librefossys/src/ |
H A D | sys_io.c | 94 long long sum = 0; local 101 /* The sum of iov_len is valid if less than or equal to SSIZE_MAX i.e. cannot overflow 107 sum += (long long)iov[i].iov_len; 108 if (sum > SSIZE_MAX) 113 if (!sum) 178 long long sum = 0; local 185 /* The sum of iov_len is valid if less than or equal to SSIZE_MAX i.e. cannot overflow 191 sum += (long long)iov[i].iov_len; 192 if (sum > SSIZE_MAX) 197 if (!sum) [all...] |
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | o_init.c | 113 register int i, first, last, sum; local 163 sum = 0; 165 sum += objects[i].oc_prob; 167 if(sum == 0) { 172 if(sum != 1000) { 173 error("init-prob error for class %d (%d%%)", oclass, sum);
|
H A D | mhitu.c | 307 int i, j, tmp, sum[NATTK]; local 551 sum[i] = 0; 552 mattk = getmattk(mdat, i, sum, &alt_attk); 569 sum[i] = hitmu(mtmp, mattk); 579 if((!range2 && i>=2 && sum[i-1] && sum[i-2]) 581 sum[i]= hitmu(mtmp, mattk); 589 sum[i] = gazemu(mtmp, mattk); 593 if(!range2) sum[i] = explmu(mtmp, mattk, foundyou); 604 sum[ [all...] |
H A D | uhitm.c | 1937 int i, sum[NATTK], hittmp = 0; local 1943 sum[i] = 0; 1944 mattk = getmattk(youmonst.data, i, sum, &alt_attk); 1967 sum[i] = 2; 1969 } else sum[i] = dhit; 1977 sum[i] = damageum(mon,mattk); 2006 sum[i] = damageum(mon, mattk); 2031 sum[i] = damageum(mon, mattk); 2050 sum[i] = damageum(mon, mattk); 2051 } else if(i >= 2 && sum[ [all...] |
H A D | dokick.c | 138 int sum; local 158 sum = damageum(mon, uattk); 159 (void)passive(mon, (boolean)(sum > 0), (sum != 2), AT_KICK); 160 if (sum == 2)
|
H A D | objnam.c | 2725 int i, x, sum=0; local 2730 sum += objects[i].oc_prob; 2731 if (!sum) /* all zero */ 2733 x = rnd(sum);
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | o_init.c | 113 register int i, first, last, sum; local 163 sum = 0; 165 sum += objects[i].oc_prob; 167 if(sum == 0) { 172 if(sum != 1000) { 173 error("init-prob error for class %d (%d%%)", oclass, sum);
|
H A D | mhitu.c | 307 int i, j, tmp, sum[NATTK]; local 551 sum[i] = 0; 552 mattk = getmattk(mdat, i, sum, &alt_attk); 569 sum[i] = hitmu(mtmp, mattk); 579 if((!range2 && i>=2 && sum[i-1] && sum[i-2]) 581 sum[i]= hitmu(mtmp, mattk); 589 sum[i] = gazemu(mtmp, mattk); 593 if(!range2) sum[i] = explmu(mtmp, mattk, foundyou); 604 sum[ [all...] |
H A D | uhitm.c | 1937 int i, sum[NATTK], hittmp = 0; local 1943 sum[i] = 0; 1944 mattk = getmattk(youmonst.data, i, sum, &alt_attk); 1967 sum[i] = 2; 1969 } else sum[i] = dhit; 1977 sum[i] = damageum(mon,mattk); 2006 sum[i] = damageum(mon, mattk); 2031 sum[i] = damageum(mon, mattk); 2050 sum[i] = damageum(mon, mattk); 2051 } else if(i >= 2 && sum[ [all...] |
H A D | dokick.c | 138 int sum; local 158 sum = damageum(mon, uattk); 159 (void)passive(mon, (boolean)(sum > 0), (sum != 2), AT_KICK); 160 if (sum == 2)
|
H A D | objnam.c | 2725 int i, x, sum=0; local 2730 sum += objects[i].oc_prob; 2731 if (!sum) /* all zero */ 2733 x = rnd(sum);
|
/seL4-refos-master/kernel/src/kernel/ |
H A D | sporadic.c | 98 /* compute the sum of a refill queue */ 101 ticks_t sum = refill_head(sc)->rAmount; local 106 sum += refill_index(sc, current)->rAmount; 109 return sum; 232 /* this loop is guaranteed to terminate as the sum of
|
/seL4-refos-master/libs/libsel4muslcsys/src/ |
H A D | sys_io.c | 287 long long sum = 0; local 295 /* The sum of iov_len is valid if less than or equal to SSIZE_MAX i.e. cannot overflow 298 sum += (long long)iov[i].iov_len; 299 if (sum > SSIZE_MAX) { 305 if (!sum) {
|
/seL4-refos-master/projects/seL4_libs/libsel4muslcsys/src/ |
H A D | sys_io.c | 287 long long sum = 0; local 295 /* The sum of iov_len is valid if less than or equal to SSIZE_MAX i.e. cannot overflow 298 sum += (long long)iov[i].iov_len; 299 if (sum > SSIZE_MAX) { 305 if (!sum) {
|
/seL4-refos-master/kernel/src/machine/ |
H A D | capdl.c | 112 ticks_t sum = REFILL_HEAD(sc).rAmount; local 117 sum += REFILL_INDEX(sc, current).rAmount; 120 return sum;
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
H A D | net.h | 602 * @offset: Offset of first sum (if odd we do a byte-swap) 603 * @sum: First checksum 607 unsigned add_ip_checksums(unsigned offset, unsigned sum, unsigned new_sum);
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
H A D | net.h | 609 * @offset: Offset of first sum (if odd we do a byte-swap) 610 * @sum: First checksum 614 unsigned add_ip_checksums(unsigned offset, unsigned sum, unsigned new_sum);
|
/seL4-refos-master/kernel/manual/tools/libsel4_tools/ |
H A D | syscall_stub_gen.py | 654 output_param_words = sum([p.type.size_bits for p in output_params]) / wordsize
|
H A D | bitfield_gen.py | 2176 self.size = sum(size for _name, size, _high in fields)
|
/seL4-refos-master/kernel/libsel4/tools/ |
H A D | syscall_stub_gen.py | 654 output_param_words = sum([p.type.size_bits for p in output_params]) / wordsize
|
/seL4-refos-master/libs/libsel4/tools/ |
H A D | syscall_stub_gen.py | 654 output_param_words = sum([p.type.size_bits for p in output_params]) / wordsize
|