| /seL4-camkes-master/tools/cogent/cogent/dargent-examples/can_frame_0/ |
| H A D | can_frame_0.c | 33 u32 r10 = 18U; local
|
| /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
|
| /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/tools/cogent/cogent/dargent-examples/can_frame_1/ |
| H A D | can_frame_1.c | 44 u32 r10 = 18U; local
|
| /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/c-refinement/tests/ |
| H A D | pass_middle-size-example.c | 28 u8 r10 = 0U; local
|
| H A D | pass_prim-ops.c | 23 u8 r10 = (u8) ~(u32) r9; local
55 u64 r10 = r8 ^ r9; local
92 u32 r10 = r8 ^ r7; local
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/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/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
74 orr r11, r10, r4, lsl r5 //factor way and cache number into r11 variable
88 add r10, r10, #2 //increment cache number variable
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
74 orr r11, r10, r4, lsl r5 //factor way and cache number into r11 variable
88 add r10, r10, #2 //increment cache number variable
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
74 orr r11, r10, r4, lsl r5 //factor way and cache number into r11 variable
88 add r10, r10, #2 //increment cache number variable
93 mov r10, #0 //swith back to cache level 0 variable
94 mcr p15, 2, r10, c variable
[all...] |
| /seL4-camkes-master/tools/cogent/cogent/dargent-examples/variant_0/ |
| H A D | variant_0.c | 235 t8 r10 = r9; local
|
| /seL4-camkes-master/projects/musllibc/arch/x32/bits/ |
| H A D | user.h | 12 unsigned long r15, r14, r13, r12, rbp, rbx, r11, r10, r9, r8; member in struct:user_regs_struct
|
| H A D | signal.h | 50 unsigned long long r8, r9, r10, r11, r12, r13, r14, r15; member in struct:sigcontext
|
| /seL4-camkes-master/projects/musllibc/arch/x86_64/bits/ |
| H A D | user.h | 12 unsigned long r15, r14, r13, r12, rbp, rbx, r11, r10, r9, r8; member in struct:user_regs_struct
|
| H A D | signal.h | 50 unsigned long r8, r9, r10, r11, r12, r13, r14, r15; member in struct:sigcontext
|
| /seL4-camkes-master/projects/musllibc/arch/x86_64_sel4/bits/ |
| H A D | user.h | 12 unsigned long r15, r14, r13, r12, rbp, rbx, r11, r10, r9, r8; member in struct:user_regs_struct
|
| H A D | signal.h | 50 unsigned long r8, r9, r10, r11, r12, r13, r14, r15; member in struct:sigcontext
|
| /seL4-camkes-master/projects/musllibc/arch/microblaze/bits/ |
| H A D | signal.h | 14 unsigned long r8, r9, r10, r11, r12, r13, r14, r15; member in struct:sigcontext::__anon190
|
| /seL4-camkes-master/tools/cogent/impl/fs/bilby/quickcheck/fsm_example/build/ |
| H A D | fsm_wrapper_pp_inferred.c | 386 u8 r10 = 12U; local
|