| /seL4-camkes-master/projects/musllibc/src/thread/or1k/ |
| H A D | __set_thread_area.s | 4 l.ori r10, r3, 0
|
| /seL4-camkes-master/projects/musllibc/arch/x86_64/ |
| H A D | syscall_arch.h | 37 register long r10 __asm__("r10") = a4;
39 "d"(a3), "r"(r10): "rcx", "r11", "memory");
46 register long r10 __asm__("r10") = a4;
49 "d"(a3), "r"(r10), "r"(r8) : "rcx", "r11", "memory");
56 register long r10 __asm__("r10") = a4;
60 "d"(a3), "r"(r10), "r"(r8), "r"(r9) : "rcx", "r11", "memory");
|
| /seL4-camkes-master/projects/musllibc/src/internal/microblaze/ |
| H A D | syscall.s | 10 add r9, r10, r0 # arg5
11 lwi r10, r1, 28 # Get arg6.
|
| /seL4-camkes-master/projects/musllibc/src/internal/x32/ |
| H A D | syscall.s | 9 movq %r8,%r10
|
| /seL4-camkes-master/projects/musllibc/src/internal/x86_64/ |
| H A D | syscall.s | 9 movq %r8,%r10
|
| /seL4-camkes-master/tools/seL4/elfloader-tool/include/arch-arm/armv/armv8-a/32/armv/ |
| H A D | assembler.h | 49 mov r10, #0 //start clean at cache level 0 variable
52 add r2, r10, r10, lsr #1 //work out 3x current cache level variable
58 mcr CSSELR(r10)
74 orr r11, r10, r4, lsl r5 //factor way and cache number into r11 variable
88 add r10, r10, #2 //increment cache number variable
89 cmp r3, r10
93 mov r10, #0 //swith back to cache level 0 variable
94 mcr p15, 2, r10, c variable
[all...] |
| /seL4-camkes-master/tools/seL4/elfloader-tool/include/arch-arm/armv/armv7ve/armv/ |
| H A D | assembler.h | 49 mov r10, #0 //start clean at cache level 0 variable
52 add r2, r10, r10, lsr #1 //work out 3x current cache level variable
58 mcr CSSELR(r10)
74 orr r11, r10, r4, lsl r5 //factor way and cache number into r11 variable
88 add r10, r10, #2 //increment cache number variable
89 cmp r3, r10
93 mov r10, #0 //swith back to cache level 0 variable
94 mcr p15, 2, r10, c variable
[all...] |
| /seL4-camkes-master/tools/seL4/elfloader-tool/include/arch-arm/armv/armv7-a/armv/ |
| H A D | assembler.h | 49 mov r10, #0 //start clean at cache level 0 variable
52 add r2, r10, r10, lsr #1 //work out 3x current cache level variable
58 mcr CSSELR(r10)
74 orr r11, r10, r4, lsl r5 //factor way and cache number into r11 variable
88 add r10, r10, #2 //increment cache number variable
89 cmp r3, r10
93 mov r10, #0 //swith back to cache level 0 variable
94 mcr p15, 2, r10, c variable
[all...] |
| /seL4-camkes-master/projects/musllibc/src/string/arm/ |
| H A D | memcpy_le.S | 113 ldrne r10,[r1], #4 /* 4 bytes */
114 strne r10,[r0], #4
268 ldmia r1!, { r5,r6,r7, r8,r9,r10,r11}
283 orr r9, r9, r10, lsl #16
284 mov r10, r10, lsr #16
285 orr r10, r10, r11, lsl #16
286 stmia r0!, {r3,r4,r5,r6, r7,r8,r9,r10}
294 ldmia r1!, { r5,r6,r7, r8,r9,r10,r1
[all...] |
| /seL4-camkes-master/projects/musllibc/src/string/arm_sel4/ |
| H A D | memcpy_le.S | 113 ldrne r10,[r1], #4 /* 4 bytes */
114 strne r10,[r0], #4
268 ldmia r1!, { r5,r6,r7, r8,r9,r10,r11}
283 orr r9, r9, r10, lsl #16
284 mov r10, r10, lsr #16
285 orr r10, r10, r11, lsl #16
286 stmia r0!, {r3,r4,r5,r6, r7,r8,r9,r10}
294 ldmia r1!, { r5,r6,r7, r8,r9,r10,r1
[all...] |
| /seL4-camkes-master/projects/musllibc/src/thread/microblaze/ |
| H A D | syscall_cp.s | 19 add r8, r10, r0
21 lwi r10, r1, 32
|
| H A D | clone.s | 4 # r5, r6, r7, r8, r9, r10, stack
|
| /seL4-camkes-master/kernel/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
| H A D | types.h | 19 seL4_Word pc, sp, cpsr, r0, r1, r8, r9, r10, r11, r12; member in struct:seL4_UserContext_
|
| /seL4-camkes-master/kernel/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/ |
| H A D | types.h | 19 seL4_Word pc, sp, cpsr, r0, r1, r8, r9, r10, r11, r12; member in struct:seL4_UserContext_
|
| /seL4-camkes-master/tools/cogent/cogent/dargent-examples/can_frame_0/ |
| H A D | can_frame_0.c | 33 u32 r10 = 18U; local
34 u32 r11 = r10 >= 32U ? 0U : r6 >> r10;
|
| /seL4-camkes-master/tools/cogent/c-refinement/tests/ |
| H A D | pass_prim-ops.c | 23 u8 r10 = (u8) ~(u32) r9; local
24 u8 r11 = r10 >= 8U ? 0U : (u8) ((u32) r9 << (u32) r10);
25 u8 r12 = r11 >= 8U ? 0U : (u8) ((u32) r10 >> (u32) r11);
55 u64 r10 = r8 ^ r9; local
56 u64 r11 = ~r10;
57 u64 r12 = r11 >= 64U ? 0U : r10 << r11;
92 u32 r10 = r8 ^ r7; local
93 u32 r11 = ~r10;
94 u32 r12 = r11 >= 32U ? 0U : r10 << r1
129 u16 r10 = (u16) ((u32) r8 ^ (u32) r7); local
166 bool_t r10 = (bool_t) {.boolean = r8.boolean && r9.boolean}; local
[all...] |
| /seL4-camkes-master/tools/cogent/cogent/dargent-examples/can_frame_1/ |
| H A D | can_frame_1.c | 44 u32 r10 = 18U; local
45 u32 r11 = r10 >= 32U ? 0U : r6 >> r10;
|
| /seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/x86/ |
| H A D | traps.h | 49 unsigned long r10; member in struct:pt_regs
|
| /seL4-camkes-master/kernel/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| H A D | types.h | 25 r8, r9, r10, r11, r12, r13, r14, r15; member in struct:seL4_UserContext_
|
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/sel4_arch/x86_64/ |
| H A D | unknown_syscall_fault.c | 33 uintptr_t r10 = seL4_GetMR(9); local
53 " r10 = %p\n"
63 (void *)r8, (void *)r9, (void *)r10, (void *)r11, (void *)r12,
|
| /seL4-camkes-master/projects/musllibc/src/ldso/x86_64/ |
| H A D | tlsdesc.s | 33 push %r10
38 pop %r10
|
| /seL4-camkes-master/projects/musllibc/src/setjmp/sh/ |
| H A D | longjmp.S | 9 mov.l @r4+, r10
|
| /seL4-camkes-master/projects/musllibc/src/thread/powerpc64/ |
| H A D | syscall_cp.s | 13 # at enter: r3 = pointer to self->cancel, r4: syscall no, r5: first arg, r6: 2nd, r7: 3rd, r8: 4th, r9: 5th, r10: 6th
|
| /seL4-camkes-master/projects/musllibc/src/thread/x32/ |
| H A D | clone.s | 10 mov 8(%rsp),%r10
|
| H A D | syscall_cp.s | 23 mov %r9,%r10
|