| /seL4-refos-master/libs/libmuslc/src/time/ |
| H A D | difftime.c | 3 double difftime(time_t t1, time_t t0) argument
5 return t1-t0;
|
| /seL4-refos-master/libs/libmuslc/src/thread/riscv/ |
| H A D | __set_thread_area.s | 4 or t1, a0, x0
|
| /seL4-refos-master/libs/libmuslc/src/internal/riscv/ |
| H A D | syscall.s | 21 lw t1, 0(t0)
23 /* ld t1, 0(t0) */
25 add t0, t0, t1
|
| /seL4-refos-master/libs/libmuslc/src/internal/riscv_sel4/ |
| H A D | syscall.s | 21 lw t1, 0(t0)
23 /* ld t1, 0(t0) */
25 add t0, t0, t1
|
| /seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
| H A D | topten.c | 251 struct toptenentry *t1; local
385 t1 = tt_head = newttentry();
389 readentry(rfile, t1);
390 if (t1->points < POINTSMIN) t1->points = 0;
391 if(rank0 < 0 && t1->points < t0->points) {
397 t0->tt_next = t1;
399 t0->fpos = t1->fpos; /* insert here */
404 } else tprev = t1;
406 if(t1
751 register struct toptenentry *t1; local
[all...] |
| /seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
| H A D | topten.c | 251 struct toptenentry *t1; local
385 t1 = tt_head = newttentry();
389 readentry(rfile, t1);
390 if (t1->points < POINTSMIN) t1->points = 0;
391 if(rank0 < 0 && t1->points < t0->points) {
397 t0->tt_next = t1;
399 t0->fpos = t1->fpos; /* insert here */
404 } else tprev = t1;
406 if(t1
751 register struct toptenentry *t1; local
[all...] |
| /seL4-refos-master/libs/libmuslc/src/math/ |
| H A D | sqrt.c | 88 uint32_t r,t1,s1,ix1,q1; local
145 t1 = s1 + r;
147 if (t < ix0 || (t == ix0 && t1 <= ix1)) {
148 s1 = t1 + r;
149 if ((t1&sign) == sign && (s1&sign) == 0)
152 if (ix1 < t1)
154 ix1 -= t1;
|
| H A D | logf.c | 31 float_t hfsq,f,s,z,R,w,t1,t2,dk; local
63 t1= w*(Lg2+w*Lg4);
65 R = t2 + t1;
|
| H A D | powf.c | 51 float y1,t1,t2,r,s,sn,t,u,v,w; local
141 t1 = u + v;
142 GET_FLOAT_WORD(is, t1);
143 SET_FLOAT_WORD(t1, is & 0xfffff000);
144 t2 = v - (t1-u);
202 t1 = (((z_h + z_l) + dp_h[k]) + t);
203 GET_FLOAT_WORD(is, t1);
204 SET_FLOAT_WORD(t1, is & 0xfffff000);
205 t2 = z_l - (((t1 - t) - dp_h[k]) - z_h);
208 /* split up y into y1+y2 and compute (y1+y2)*(t1
[all...] |
| H A D | log.c | 80 double_t hfsq,f,s,z,R,w,t1,t2,dk; local
113 t1 = w*(Lg2+w*(Lg4+w*Lg6));
115 R = t2 + t1;
|
| H A D | log10f.c | 33 float_t hfsq,f,s,z,R,w,t1,t2,dk,hi,lo; local
65 t1= w*(Lg2+w*Lg4);
67 R = t2 + t1;
|
| H A D | log1p.c | 72 double_t hfsq,f,c,s,z,R,w,t1,t2,dk; local
117 t1 = w*(Lg2+w*(Lg4+w*Lg6));
119 R = t2 + t1;
|
| H A D | log1pf.c | 27 float_t hfsq,f,c,s,z,R,w,t1,t2,dk; local
71 t1= w*(Lg2+w*Lg4);
73 R = t2 + t1;
|
| H A D | log2f.c | 31 float_t hfsq,f,s,z,R,w,t1,t2,hi,lo; local
63 t1= w*(Lg2+w*Lg4);
65 R = t2 + t1;
|
| H A D | pow.c | 95 double y1,t1,t2,r,s,t,u,v,w; local
215 t1 = u + v;
216 SET_LOW_WORD(t1, 0);
217 t2 = v - (t1-u);
272 t1 = ((z_h + z_l) + dp_h[k]) + t;
273 SET_LOW_WORD(t1, 0);
274 t2 = z_l - (((t1 - t) - dp_h[k]) - z_h);
277 /* split up y into y1+y2 and compute (y1+y2)*(t1+t2) */
280 p_l = (y-y1)*t1 + y*t2;
281 p_h = y1*t1;
[all...] |
| H A D | log10.c | 39 double_t hfsq,f,s,z,R,w,t1,t2,dk,y,hi,lo,val_hi,val_lo; local
72 t1 = w*(Lg2+w*(Lg4+w*Lg6));
74 R = t2 + t1;
|
| H A D | log2.c | 37 double_t hfsq,f,s,z,R,w,t1,t2,y,hi,lo,val_hi,val_lo; local
70 t1 = w*(Lg2+w*(Lg4+w*Lg6));
72 R = t2 + t1;
|
| /seL4-refos-master/libs/libutils/include/utils/ |
| H A D | builtin.h | 26 #define TYPES_COMPATIBLE(t1, t2) __builtin_types_compatible_p(t1, t2)
|
| /seL4-refos-master/projects/util_libs/libutils/include/utils/ |
| H A D | builtin.h | 26 #define TYPES_COMPATIBLE(t1, t2) __builtin_types_compatible_p(t1, t2)
|
| /seL4-refos-master/kernel/src/arch/riscv/machine/ |
| H A D | registerset.c | 30 t0, t1, t2, t3, t4, t5, t6,
|
| /seL4-refos-master/libs/libmuslc/src/network/ |
| H A D | res_msend.c | 48 unsigned long t0, t1, t2; local
110 t1 = t2 - retry_interval;
113 if (t2-t1 >= retry_interval) {
121 t1 = t2;
126 if (poll(&pfd, 1, t1+retry_interval-t2) <= 0) continue;
|
| /seL4-refos-master/kernel/include/arch/riscv/arch/machine/ |
| H A D | registerset.h | 31 t1 = 5, enumerator in enum:_register
178 [seL4_TimeoutReply_t1] = t1, \
|
| /seL4-refos-master/seL4_tools/elfloader-tool/src/utils/ |
| H A D | crypt_sha256.c | 60 uint32_t W[64], t1, t2, a, b, c, d, e, f, g, h; local
81 t1 = h + S1(e) + Ch(e, f, g) + K[i] + W[i];
86 e = d + t1;
90 a = t1 + t2;
|
| /seL4-refos-master/tools/elfloader/src/utils/ |
| H A D | crypt_sha256.c | 60 uint32_t W[64], t1, t2, a, b, c, d, e, f, g, h; local
81 t1 = h + S1(e) + Ch(e, f, g) + K[i] + W[i];
86 e = d + t1;
90 a = t1 + t2;
|
| /seL4-refos-master/kernel/libsel4/arch_include/riscv/sel4/arch/ |
| H A D | types.h | 57 seL4_Word t1; member in struct:seL4_UserContext_
|