| /seL4-camkes-master/tools/cogent/c-refinement/tests/ |
| H A D | pass_prim-ops.c | 26 u8 r13 = r11 ? (u8) ((u32) r12 / (u32) r11) : 0U; local
27 u8 r14 = r13 ? (u8) ((u32) r12 % (u32) r13) : 0U;
28 bool_t r15 = (bool_t) {.boolean = r12 < r13};
29 bool_t r16 = (bool_t) {.boolean = r13 <= r14};
58 u64 r13 = r12 >= 64U ? 0U : r11 >> r12; local
59 u64 r14 = r12 ? r13 / r12 : 0U;
60 u64 r15 = r14 ? r13 % r14 : 0U;
61 bool_t r16 = (bool_t) {.boolean = r13 < r14};
63 bool_t r18 = (bool_t) {.boolean = r13
95 u32 r13 = r12 >= 32U ? 0U : r11 >> r12; local
132 u16 r13 = r12 >= 16U ? 0U : (u16) ((u32) r11 >> (u32) r12); local
169 bool_t r13 = (bool_t) {.boolean = 1U}; local
[all...] |
| H A D | pass_middle-size-example.c | 34 t1* r13 = r12; local
36 r5 = (t4) {.p1 = r7, .p2 = r13, .p3 = r4, .p4 = r9};
|
| /seL4-camkes-master/tools/rumprun/lib/libbmk_core/arch/x86_64/ |
| H A D | cpu_sched_switch.S | 54 pushq %r13
65 popq %r13
|
| /seL4-camkes-master/projects/musllibc/src/setjmp/x32/ |
| H A D | longjmp.s | 16 mov 24(%rdi),%r13
|
| H A D | setjmp.s | 14 mov %r13,24(%rdi)
|
| /seL4-camkes-master/projects/musllibc/src/setjmp/x86_64/ |
| H A D | longjmp.s | 16 mov 24(%rdi),%r13
|
| H A D | setjmp.s | 14 mov %r13,24(%rdi)
|
| /seL4-camkes-master/projects/musllibc/src/setjmp/x86_64_sel4/ |
| H A D | longjmp.s | 16 mov 24(%rdi),%r13
|
| H A D | setjmp.s | 14 mov %r13,24(%rdi)
|
| /seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/x86/ |
| H A D | traps.h | 43 unsigned long r13; 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 | 36 uintptr_t r13 = seL4_GetMR(12); local
56 " r13 = %p\n"
64 (void *)r13, (void *)r14, (void *)r15, (void *)rsp, (void *)rflags);
|
| /seL4-camkes-master/tools/cogent/cogent/dargent-examples/can_frame_0/ |
| H A D | can_frame_0.c | 36 u32 r13 = r6 & r12; local
38 r9 = (t7) {.p1 = r11, .p2 = r13};
|
| /seL4-camkes-master/projects/musllibc/src/setjmp/microblaze/ |
| H A D | longjmp.s | 13 lwi r13, r5, 12
|
| H A D | setjmp.s | 16 swi r13, r5, 12
|
| /seL4-camkes-master/projects/musllibc/src/setjmp/sh/ |
| H A D | longjmp.S | 12 mov.l @r4+, r13
|
| H A D | setjmp.S | 25 mov.l r13, @-r4
|
| /seL4-camkes-master/tools/cogent/cogent/dargent-examples/can_frame_1/ |
| H A D | can_frame_1.c | 47 u32 r13 = r6 & r12; local
51 r14.p2 = r13;
|
| /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/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
|
| /seL4-camkes-master/projects/seL4_libs/libsel4debug/sel4_arch_include/x86_64/sel4debug/sel4_arch/ |
| H A D | registers.h | 35 "r13",
59 compile_time_assert(ebp_correct_position, offsetof(seL4_UserContext, r13) == 15 * sizeof(seL4_Word));
|