| /seL4-camkes-master/projects/musllibc/src/internal/arm_sel4/ |
| H A D | syscall.s | 5 push {r5,r6}
7 ldr r6, 1f
8 ldr r5, [r5,r6]
10 pop {r5, r6}
|
| /seL4-camkes-master/projects/musllibc/src/thread/microblaze/ |
| H A D | clone.s | 4 # r5, r6, r7, r8, r9, r10, stack
9 andi r6, r6, -16
10 addi r6, r6, -16
11 swi r5, r6, 0
12 swi r8, r6, 4
|
| H A D | syscall_cp.s | 15 addi r12, r6, 0
17 add r6, r8, r0
|
| /seL4-camkes-master/tools/cogent/c-refinement/tests/ |
| H A D | pass_simple-take-letput.c | 26 t1* r6 = r5; local
28 return r6;
39 t2* r6 = r5; local
41 return r6;
|
| H A D | loopfull.c | 19 u32 r6 = r2 + r5; local
21 return r6;
29 u8 r6 = 0U; local
30 u32 r7 = (u32) r6;
51 u8 r6 = 0U; local
52 u32 r7 = (u32) r6;
|
| H A D | pass_simple-case3.c | 27 u8 r6 = r5.Ctag; local
29 r4 = r6;
|
| /seL4-camkes-master/projects/musllibc/src/signal/s390x/ |
| H A D | sigsetjmp.s | 12 stg %r6, 20*8(%r2)
13 lgr %r6, %r2
18 lgr %r2, %r6
20 lg %r6, 20*8(%r2)
|
| /seL4-camkes-master/projects/musllibc/src/signal/sh/ |
| H A D | sigsetjmp.s | 10 mov r4, r6
11 add #60, r6
13 mov.l r0, @r6
14 mov.l r8, @(4+8,r6)
22 mov r4, r6
23 add #60, r6
25 mov.l @r6, r0
|
| /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 | clone.s | 6 stmfd sp!,{r4,r5,r6,r7}
8 mov r6,r3
18 ldmfd sp!,{r4,r5,r6,r7}
21 1: mov r0,r6
|
| 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}
|
| /seL4-camkes-master/projects/musllibc/src/internal/s390x/ |
| H A D | syscall.s | 10 lgr %r5, %r6
11 lg %r6, 160(%r15)
|
| /seL4-camkes-master/projects/musllibc/arch/microblaze/ |
| H A D | syscall_arch.h | 34 register unsigned long r6 __asm__("r6") = b;
36 : "r"(r12), "r"(r5), "r"(r6)
46 register unsigned long r6 __asm__("r6") = b;
49 : "r"(r12), "r"(r5), "r"(r6), "r"(r7)
59 register unsigned long r6 __asm__("r6") = b;
63 : "r"(r12), "r"(r5), "r"(r6), "r"(r7), "r"(r8)
73 register unsigned long r6 __asm_
[all...] |
| /seL4-camkes-master/projects/musllibc/arch/sh/ |
| H A D | syscall_arch.h | 51 register long r6 __asm__("r6") = c;
53 __asm_syscall(19, "r"(r3), "r"(r4), "r"(r5), "r"(r6));
61 register long r6 __asm__("r6") = c;
64 __asm_syscall(20, "r"(r3), "r"(r4), "r"(r5), "r"(r6), "r"(r7));
72 register long r6 __asm__("r6") = c;
75 __asm_syscall(21, "r"(r3), "r"(r4), "r"(r5), "r"(r6), "r"(r7), "0"(r0));
83 register long r6 __asm_
[all...] |
| /seL4-camkes-master/projects/musllibc/src/internal/microblaze/ |
| H A D | syscall.s | 6 add r5, r6, r0 # Shift the arguments, arg1
7 add r6, r7, r0 # arg2
|
| /seL4-camkes-master/projects/musllibc/src/signal/microblaze/ |
| H A D | sigsetjmp.s | 8 beqi r6, ___setjmp
16 ori r6,r3,0
|
| /seL4-camkes-master/projects/musllibc/src/ldso/sh/ |
| H A D | dlsym.s | 8 mov.l @r15, r6
|
| /seL4-camkes-master/tools/cogent/cogent/dargent-examples/can_frame_0/ |
| H A D | can_frame_0.c | 27 u32 r6 = d5_get_id(r5); local
34 u32 r11 = r10 >= 32U ? 0U : r6 >> r10;
36 u32 r13 = r6 & r12;
42 r9 = (t7) {.p1 = r6, .p2 = r14};
|
| /seL4-camkes-master/projects/musllibc/src/string/arm/ |
| H A D | memcpy_le.S | 108 ldmcs r1!, {r4, r5, r6, r7} /* 16 bytes */
110 stmcs r0!, {r4, r5, r6, r7}
178 ldmcs r1!, {r4, r5, r6, r7} /* 16 bytes */
180 stmcs r0!, {r4, r5, r6, r7}
268 ldmia r1!, { r5,r6,r7, r8,r9,r10,r11}
275 orr r5, r5, r6, lsl #16
276 mov r6, r6, lsr #16
277 orr r6, r6, r
[all...] |
| /seL4-camkes-master/projects/musllibc/src/string/arm_sel4/ |
| H A D | memcpy_le.S | 108 ldmcs r1!, {r4, r5, r6, r7} /* 16 bytes */
110 stmcs r0!, {r4, r5, r6, r7}
178 ldmcs r1!, {r4, r5, r6, r7} /* 16 bytes */
180 stmcs r0!, {r4, r5, r6, r7}
268 ldmia r1!, { r5,r6,r7, r8,r9,r10,r11}
275 orr r5, r5, r6, lsl #16
276 mov r6, r6, lsr #16
277 orr r6, r6, r
[all...] |
| /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",
43 : "memory", "r5", "r6", "r7", "r8",
58 : "memory", "r6", "r7", "r8",
70 register unsigned long r6 __asm__("r6") = d;
73 : "r"(r11), "r"(r3), "r"(r4), "r"(r5), "r"(r6)
86 register unsigned long r6 __asm__("r6") = d;
90 : "r"(r11), "r"(r3), "r"(r4), "r"(r5), "r"(r6),
[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");
31 :: "memory", "cr0", "r5", "r6", "r7", "r8", "r9", "r10", "r11", "r12");
43 :: "memory", "cr0", "r6", "r7", "r8", "r9", "r10", "r11", "r12");
53 register long r6 __asm__("r6") = d;
55 : "+r"(r0), "+r"(r3), "+r"(r4), "+r"(r5), "+r"(r6)
66 register long r6 __asm__("r6") = d;
69 : "+r"(r0), "+r"(r3), "+r"(r4), "+r"(r5), "+r"(r6), "
[all...] |
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/sel4_arch/aarch32/ |
| H A D | unknown_syscall_fault.c | 29 uintptr_t r6 = seL4_GetMR(6); local
43 " r6 = %p\n"
49 (void *)r3, (void *)r4, (void *)r5, (void *)r6, (void *)r7, (void *)sp,
|
| /seL4-camkes-master/projects/musllibc/src/thread/or1k/ |
| H A D | clone.s | 2 * r3 r4 r5 r6 sp+0 sp+4 sp+8
10 l.sw 4(r4), r6
14 l.lwz r6, 8(r1)
|
| H A D | syscall_cp.s | 18 l.ori r4, r6, 0
20 l.ori r6, r8, 0
|