| /seL4-refos-master/libs/libmuslc/src/internal/riscv/ |
| H A D | syscall.s | 19 la t0, 1f
21 lw t1, 0(t0)
23 /* ld t1, 0(t0) */
25 add t0, t0, t1
27 lw t0, 0(t0)
29 /* ld t0, 0(t0) */
31 jr t0
[all...] |
| /seL4-refos-master/libs/libmuslc/src/internal/riscv_sel4/ |
| H A D | syscall.s | 19 la t0, 1f
21 lw t1, 0(t0)
23 /* ld t1, 0(t0) */
25 add t0, t0, t1
27 lw t0, 0(t0)
29 /* ld t0, 0(t0) */
31 jr t0
[all...] |
| /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;
|
| H A D | __tz.c | 373 long long t0 = rule_to_secs(r0, y); local
376 if (t0 < t1) {
378 t0 += __timezone;
381 if (t >= t0 && t < t1) goto dst;
386 t0 += dst_off;
388 if (t >= t1 && t < t0) goto std;
|
| /seL4-refos-master/kernel/src/arch/riscv/ |
| H A D | traps.S | 31 STORE t0, (-2*REGBYTES)(sp)
32 LOAD t0, (-1*REGBYTES)(sp)
34 csrrw t0, sscratch, t0
36 STORE ra, (0*REGBYTES)(t0)
38 STORE sp, (1*REGBYTES)(t0)
40 STORE gp, (2*REGBYTES)(t0)
41 STORE tp, (3*REGBYTES)(t0)
42 STORE t1, (5*REGBYTES)(t0)
43 STORE t2, (6*REGBYTES)(t0)
[all...] |
| H A D | head.S | 35 mv t0, a5
36 slli t0, t0, CONFIG_KERNEL_STACK_BITS
37 add sp, sp, t0
|
| /seL4-refos-master/seL4_tools/elfloader-tool/src/arch-riscv/ |
| H A D | crt0.S | 52 mv t0, a1
53 slli t0, t0, 12
55 add sp, sp, t0
|
| /seL4-refos-master/tools/elfloader/src/arch-riscv/ |
| H A D | crt0.S | 52 mv t0, a1
53 slli t0, t0, 12
55 add sp, sp, t0
|
| /seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
| H A D | topten.c | 250 register struct toptenentry *t0, *tprev; local
289 t0 = newttentry();
296 t0->ver_major = VERSION_MAJOR;
297 t0->ver_minor = VERSION_MINOR;
298 t0->patchlevel = PATCHLEVEL;
299 t0->points = u.urexp;
300 t0->deathdnum = u.uz.dnum;
301 t0->deathlev = observable_depth(&u.uz);
302 t0->maxlvl = deepest_lev_reached(TRUE);
303 t0
[all...] |
| /seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
| H A D | topten.c | 250 register struct toptenentry *t0, *tprev; local
289 t0 = newttentry();
296 t0->ver_major = VERSION_MAJOR;
297 t0->ver_minor = VERSION_MINOR;
298 t0->patchlevel = PATCHLEVEL;
299 t0->points = u.urexp;
300 t0->deathdnum = u.uz.dnum;
301 t0->deathlev = observable_depth(&u.uz);
302 t0->maxlvl = deepest_lev_reached(TRUE);
303 t0
[all...] |
| /seL4-refos-master/kernel/src/arch/riscv/machine/ |
| H A D | registerset.c | 30 t0, t1, t2, t3, t4, t5, t6,
|
| /seL4-refos-master/kernel/include/arch/riscv/arch/machine/ |
| H A D | registerset.h | 27 t0 = 4, enumerator in enum:_register
177 [seL4_TimeoutReply_t0] = t0, \
|
| /seL4-refos-master/kernel/libsel4/arch_include/riscv/sel4/arch/ |
| H A D | types.h | 56 seL4_Word t0; member in struct:seL4_UserContext_
|
| /seL4-refos-master/libs/libsel4/arch_include/riscv/sel4/arch/ |
| H A D | types.h | 56 seL4_Word t0; member in struct:seL4_UserContext_
|
| /seL4-refos-master/libs/libmuslc/src/network/ |
| H A D | res_msend.c | 48 unsigned long t0, t1, t2; local
109 t0 = t2 = mtime();
112 for (; t2-t0 < timeout; t2=mtime()) {
|
| /seL4-refos-master/libs/libsel4debug/arch_include/riscv/sel4debug/arch/ |
| H A D | registers.h | 46 "t0",
87 compile_time_assert(sp_correct_position, offsetof(seL4_UserContext, t0) == 24 * sizeof(seL4_Word));
|
| /seL4-refos-master/projects/seL4_libs/libsel4debug/arch_include/riscv/sel4debug/arch/ |
| H A D | registers.h | 46 "t0",
87 compile_time_assert(sp_correct_position, offsetof(seL4_UserContext, t0) == 24 * sizeof(seL4_Word));
|
| /seL4-refos-master/libs/libmuslc/src/math/ |
| H A D | lgamma_r.c | 102 t0 = 4.83836122723810047042e-01, /* 0x3FDEF72B, 0xC8EE38A2 */ variable
244 p1 = t0+w*(t3+w*(t6+w*(t9 +w*t12))); /* parallel comp */
|
| H A D | lgammaf_r.c | 37 t0 = 4.8383611441e-01, /* 0x3ef7b95e */ variable
179 p1 = t0+w*(t3+w*(t6+w*(t9 +w*t12))); /* parallel comp */
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/ |
| H A D | process.c | 149 struct proc_tcb *t0 = proc_get_thread(p, 0); local
150 assert(t0);
152 p, REFOS_THREAD_TCB, thread_tcb_obj(t0), seL4_AllRights,
|
| /seL4-refos-master/apps/process_server/src/system/process/ |
| H A D | process.c | 149 struct proc_tcb *t0 = proc_get_thread(p, 0); local
150 assert(t0);
152 p, REFOS_THREAD_TCB, thread_tcb_obj(t0), seL4_AllRights,
|
| /seL4-refos-master/libs/libmuslc/src/crypt/ |
| H A D | crypt_des.c | 730 uint32_t t0, t1; local
735 t0 = (k0 << shifts) | (k0 >> (28 - shifts));
741 kl |= comp_maskl0[i][(t0 >> ibit) & 7];
744 kl |= comp_maskl1[i][(t0 >> ibit) & 0xf];
|