| /seL4-test-master/projects/musllibc/src/time/ |
| H A D | difftime.c | 3 double difftime(time_t t1, time_t t0) argument
5 return t1-t0;
|
| H A D | __tz.c | 374 long long t1 = rule_to_secs(r1, y); local
376 if (t0 < t1) {
379 t1 += dst_off;
381 if (t >= t0 && t < t1) goto dst;
385 t1 += __timezone;
388 if (t >= t1 && t < t0) goto std;
|
| /seL4-test-master/projects/musllibc/src/thread/riscv/ |
| H A D | __set_thread_area.s | 4 or t1, a0, x0
|
| /seL4-test-master/projects/musllibc/src/internal/riscv/ |
| H A D | syscall.s | 21 lw t1, 0(t0)
23 /* ld t1, 0(t0) */
25 add t0, t0, t1
|
| /seL4-test-master/projects/musllibc/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-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
| H A D | multicore.c | 33 helper_thread_t t1; local
36 create_helper_thread(env, &t1);
38 set_helper_priority(env, &t1, 100);
39 start_helper(env, &t1, (helper_fn_t) counter_func, (seL4_Word) &counter, 0, 0, 0);
55 seL4_TCB_Suspend(get_helper_tcb(&t1));
56 set_helper_affinity(env, &t1, 1);
68 seL4_TCB_Resume(get_helper_tcb(&t1));
73 seL4_TCB_Suspend(get_helper_tcb(&t1));
84 cleanup_helper(env, &t1);
93 helper_thread_t t1; local
133 helper_thread_t t1; local
[all...] |
| /seL4-test-master/projects/musllibc/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-test-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-test-master/tools/riscv-pk/machine/ |
| H A D | mentry.S | 114 STORE t1, 6*REGBYTES(sp)
115 sll t1, a1, 2 # t1 <- mcause << 2
117 add t1, t0, t1 # t1 <- %hi(trap_table)[mcause]
119 LWU t1, %pcrel_lo(1b)(t1) # t1 <- trap_table[mcause]
152 jalr t1
[all...] |
| /seL4-test-master/kernel/src/arch/riscv/machine/ |
| H A D | registerset.c | 30 t0, t1, t2, t3, t4, t5, t6,
|
| /seL4-test-master/projects/musllibc/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-test-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-test-master/tools/riscv-pk/pk/ |
| H A D | entry.S | 42 csrr t1,sepc
47 STORE t1,33*REGBYTES(x2)
79 LOAD t1, 33*REGBYTES(a0)
81 csrw sepc, t1
|
| /seL4-test-master/tools/seL4/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-test-master/kernel/libsel4/arch_include/riscv/sel4/arch/ |
| H A D | types.h | 57 seL4_Word t1; member in struct:seL4_UserContext_
|