| /seL4-camkes-master/projects/musllibc/src/setjmp/sh/ |
| H A D | longjmp.S | 7 mov.l @r4+, r8
8 mov.l @r4+, r9
9 mov.l @r4+, r10
10 mov.l @r4+, r11
11 mov.l @r4+, r12
12 mov.l @r4+, r13
13 mov.l @r4+, r14
14 mov.l @r4+, r15
15 lds.l @r4+, pr
17 fmov.s @r4
[all...] |
| H A D | setjmp.S | 14 add #52, r4
15 fmov.s fr15, @-r4
16 fmov.s fr14, @-r4
17 fmov.s fr13, @-r4
18 fmov.s fr12, @-r4
20 add #36, r4
22 sts.l pr, @-r4
23 mov.l r15, @-r4
24 mov.l r14, @-r4
25 mov.l r13, @-r4
[all...] |
| /seL4-camkes-master/tools/cogent/c-refinement/tests/ |
| H A D | pass_simple-take-letput.c | 21 t1* r4 = r2; local
23 (*r4).x = r3;
25 t1* r5 = r4;
34 t2* r4 = r2; local
36 (*r4).x = r3;
38 t2* r5 = r4;
|
| H A D | pass_very-simple-split.c | 17 u32 r4 = r2; local
19 return r4;
|
| H A D | fun2.c | 17 u32 r4 = (u32) r2; local
18 t1 r5 = (t1) {.p1 = r3, .p2 = r4};
26 u16 r4 = (u16) r3; local
27 t1 r5 = foo(r4);
|
| H A D | pass_simple-case3.c | 21 u8 r4; local
24 r4 = r3.Btag;
29 r4 = r6;
31 r2 = r4;
|
| H A D | pass_simple-tuple.c | 20 t3 r4 = {.p1 =r2, .p2 =r2}; local
21 t3 r5 = r4;
|
| H A D | loopfull.c | 17 u8 r4 = 1U; local
18 u32 r5 = (u32) r4;
27 u32 r4 = (u32) r3; local
31 t3 r8 = (t3) {.frm = r4, .to = r2, .f = r5, .acc = r7};
40 u32 r4 = id_f(r3); local
41 u32 r5 = r2 + r4;
49 u32 r4 = (u32) r3; local
53 t3 r8 = (t3) {.frm = r4, .to = r2, .f = r5, .acc = r7};
|
| /seL4-camkes-master/kernel/src/arch/arm/32/ |
| H A D | head.S | 91 mrc p15, 4, r4, c1, c0, 0
93 mrc p15, 0, r4, c1, c0, 0
97 orr r4, r4, r5
98 bic r4, r4, r6
100 mcr p15, 4, r4, c1, c0, 0
103 ldr r4, =PPTR_VECTOR_TABLE
104 mcr p15, 4, r4, c12, c0, 0
106 mcr p15, 0, r4, c
[all...] |
| /seL4-camkes-master/projects/musllibc/src/signal/arm/ |
| H A D | sigsetjmp.s | 12 str r4,[r0,#260+8]
13 mov r4,r0
18 mov r0,r4
20 ldr r4,[r0,#260+8]
|
| /seL4-camkes-master/projects/seL4_libs/libsel4debug/src/sel4_arch/aarch32/ |
| H A D | trampoline.S | 24 mov r4, r0
32 blx r4
|
| /seL4-camkes-master/projects/musllibc/arch/sh/ |
| H A D | syscall_arch.h | 32 register long r4 __asm__("r4") = a;
34 __asm_syscall(17, "r"(r3), "r"(r4));
40 register long r4 __asm__("r4") = a;
43 __asm_syscall(18, "r"(r3), "r"(r4), "r"(r5));
49 register long r4 __asm__("r4") = a;
53 __asm_syscall(19, "r"(r3), "r"(r4), "r"(r5), "r"(r6));
59 register long r4 __asm_
[all...] |
| /seL4-camkes-master/projects/musllibc/src/internal/arm/ |
| H A D | syscall.s | 7 stmfd sp!,{r4,r5,r6,r7}
12 ldmfd ip,{r3,r4,r5,r6}
14 ldmfd sp!,{r4,r5,r6,r7}
|
| /seL4-camkes-master/projects/musllibc/src/thread/arm/ |
| H A D | syscall_cp.s | 14 stmfd sp!,{r4,r5,r6,r7,lr}
22 ldmfd ip,{r2,r3,r4,r5,r6}
25 ldmfd sp!,{r4,r5,r6,r7,lr}
28 ldmfd sp!,{r4,r5,r6,r7,lr}
|
| H A D | clone.s | 6 stmfd sp!,{r4,r5,r6,r7}
14 ldr r4,[sp,#24]
18 ldmfd sp!,{r4,r5,r6,r7}
|
| /seL4-camkes-master/projects/musllibc/src/thread/or1k/ |
| H A D | clone.s | 2 * r3 r4 r5 r6 sp+0 sp+4 sp+8
8 l.addi r4, r4, -8
9 l.sw 0(r4), r3
10 l.sw 4(r4), r6
|
| /seL4-camkes-master/projects/musllibc/src/fenv/sh/ |
| H A D | fenv.S | 14 or r4, r0
23 and r4, r0
30 mov r4, r0
32 not r0, r4
34 and r4, r0
42 mov r4, r0
44 sts fpscr, r4
45 or r4, r0
54 mov.l r0, @r4
61 mov r4, r
[all...] |
| /seL4-camkes-master/projects/musllibc/src/internal/s390x/ |
| H A D | syscall.s | 8 lgr %r3, %r4
9 lgr %r4, %r5
|
| /seL4-camkes-master/projects/musllibc/arch/or1k/ |
| H A D | syscall_arch.h | 16 : "memory", "r3", "r4", "r5", "r6", "r7", "r8",
29 : "memory", "r4", "r5", "r6", "r7", "r8",
39 register unsigned long r4 __asm__("r4") = b;
42 : "r"(r11), "r"(r3), "r"(r4)
53 register unsigned long r4 __asm__("r4") = b;
57 : "r"(r11), "r"(r3), "r"(r4), "r"(r5)
68 register unsigned long r4 __asm__("r4")
[all...] |
| /seL4-camkes-master/projects/musllibc/arch/powerpc64/ |
| H A D | syscall_arch.h | 10 :: "memory", "cr0", "r4", "r5", "r6", "r7", "r8", "r9", "r10", "r11", "r12");
20 :: "memory", "cr0", "r4", "r5", "r6", "r7", "r8", "r9", "r10", "r11", "r12");
28 register long r4 __asm__("r4") = b;
30 : "+r"(r0), "+r"(r3), "+r"(r4)
39 register long r4 __asm__("r4") = b;
42 : "+r"(r0), "+r"(r3), "+r"(r4), "+r"(r5)
51 register long r4 __asm__("r4")
[all...] |
| /seL4-camkes-master/projects/musllibc/src/string/arm/ |
| H A D | memcpy_le.S | 57 .save {r0, r4, lr}
58 stmfd sp!, {r0, r4, lr}
81 ldrbcs r4, [r1], #1
84 strbcs r4, [r0], #1
108 ldmcs r1!, {r4, r5, r6, r7} /* 16 bytes */
110 stmcs r0!, {r4, r5, r6, r7}
149 1: ldmia r1!, { r4-r11 }
159 stmia r0!, { r4-r11 }
178 ldmcs r1!, {r4, r5, r6, r7} /* 16 bytes */
180 stmcs r0!, {r4, r
[all...] |
| /seL4-camkes-master/projects/musllibc/src/string/arm_sel4/ |
| H A D | memcpy_le.S | 57 .save {r0, r4, lr}
58 stmfd sp!, {r0, r4, lr}
81 ldrbcs r4, [r1], #1
84 strbcs r4, [r0], #1
108 ldmcs r1!, {r4, r5, r6, r7} /* 16 bytes */
110 stmcs r0!, {r4, r5, r6, r7}
149 1: ldmia r1!, { r4-r11 }
159 stmia r0!, { r4-r11 }
178 ldmcs r1!, {r4, r5, r6, r7} /* 16 bytes */
180 stmcs r0!, {r4, r
[all...] |
| /seL4-camkes-master/projects/musllibc/src/signal/sh/ |
| H A D | sigsetjmp.s | 10 mov r4, r6
18 mov r4, r8
21 mov r8, r4
22 mov r4, r6
30 mov.l @(4+8,r4), r8
|
| /seL4-camkes-master/projects/musllibc/src/thread/sh/ |
| H A D | syscall_cp.s | 15 mov.l @r4, r4
16 tst r4, r4
19 mov r6, r4
|
| /seL4-camkes-master/projects/musllibc/src/unistd/sh/ |
| H A D | pipe.s | 19 mov r0, r4
21 1: mov.l r0, @(0,r4)
22 mov.l r1, @(4,r4)
|