| /seL4-camkes-master/tools/cogent/cogent/dargent-examples/can_frame_0/ |
| H A D | can_frame_0.c | 34 u32 r11 = r10 >= 32U ? 0U : r6 >> r10; local
|
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/sel4_arch/x86_64/ |
| H A D | unknown_syscall_fault.c | 34 uintptr_t r11 = seL4_GetMR(10); 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 | 45 u32 r11 = r10 >= 32U ? 0U : r6 >> r10; 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 | 29 u32 r11 = (u32) r10; local
|
| H A D | pass_prim-ops.c | 24 u8 r11 = r10 >= 8U ? 0U : (u8) ((u32) r9 << (u32) r10); local
56 u64 r11 = ~r10; local
93 u32 r11 local
130 u16 r11 = (u16) ~(u32) r10; local
167 bool_t r11 = (bool_t) {.boolean = r10.boolean || r9.boolean}; local
[all...] |
| /seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/x86/ |
| H A D | traps.h | 48 unsigned long r11; 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 | 74 orr r11, r10, r4, lsl r5 //factor way and cache number into r11 variable
75 orr r11, r11, r9, lsl r2 //factor index number into r11 variable
|
| /seL4-camkes-master/tools/seL4/elfloader-tool/include/arch-arm/armv/armv7ve/armv/ |
| H A D | assembler.h | 74 orr r11, r10, r4, lsl r5 //factor way and cache number into r11 variable
75 orr r11, r11, r9, lsl r2 //factor index number into r11 variable
|
| /seL4-camkes-master/tools/seL4/elfloader-tool/include/arch-arm/armv/armv7-a/armv/ |
| H A D | assembler.h | 74 orr r11, r10, r4, lsl r5 //factor way and cache number into r11 variable
75 orr r11, r11, r9, lsl r2 //factor index number into r11 variable
|
| /seL4-camkes-master/tools/cogent/cogent/dargent-examples/variant_0/ |
| H A D | variant_0.c | 236 t8 r11 = r10; 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 | 387 u32 r11 = (u32) r10; local
|