| /seL4-camkes-master/projects/musllibc/src/string/x86_64/ |
| H A D | memmove.s | 5 sub %rsi,%rax
11 lea -1(%rsi,%rdx),%rsi
|
| /seL4-camkes-master/projects/musllibc/src/string/x86_64_sel4/ |
| H A D | memmove.s | 5 sub %rsi,%rax
11 lea -1(%rsi,%rdx),%rsi
|
| /seL4-camkes-master/projects/musllibc/src/internal/x32/ |
| H A D | syscall.s | 6 movq %rsi,%rdi
7 movq %rdx,%rsi
|
| /seL4-camkes-master/projects/musllibc/src/internal/x86_64/ |
| H A D | syscall.s | 6 movq %rsi,%rdi
7 movq %rdx,%rsi
|
| /seL4-camkes-master/projects/musllibc/src/thread/x86_64/ |
| H A D | __set_thread_area.s | 6 mov %rdi,%rsi /* shift for syscall */
|
| H A D | clone.s | 13 and $-16,%rsi
14 sub $8,%rsi
15 mov %rcx,(%rsi)
|
| H A D | syscall_cp.s | 19 mov %rsi,%rax
21 mov %rcx,%rsi
|
| /seL4-camkes-master/projects/musllibc/src/thread/x32/ |
| H A D | clone.s | 12 and $-16,%rsi
13 sub $8,%rsi
14 mov %rcx,(%rsi)
|
| H A D | syscall_cp.s | 19 mov %rsi,%rax
21 mov %rcx,%rsi
|
| /seL4-camkes-master/tools/rumprun/lib/libbmk_core/arch/x86_64/ |
| H A D | cpu_sched_switch.S | 58 movq (%rsi), %rsp /* restore ESP */
60 pushq 8(%rsi) /* restore EIP */
|
| /seL4-camkes-master/tools/rumprun/platform/xen/xen/arch/x86/ |
| H A D | x86_64.S | 29 movq %rsi,%rdi
63 movq 7*8(%rsp),%rsi
95 movq %rsi,13*8(%rsp)
96 movq 14*8(%rsp),%rsi /* load rax from rdi slot */
99 movq %rsi,10*8(%rsp) /* store rax */
114 movq ORIG_RAX(%rsp),%rsi # get error code
163 XEN_UNBLOCK_EVENTS(%rsi) # %rsi is already set up...
166 XEN_TEST_PENDING(%rsi)
168 XEN_PUT_VCPU_INFO(%rsi)
[all...] |
| /seL4-camkes-master/projects/musllibc/src/setjmp/x32/ |
| H A D | longjmp.s | 8 mov %rsi,%rax /* val will be longjmp return */
|
| /seL4-camkes-master/projects/musllibc/src/setjmp/x86_64/ |
| H A D | longjmp.s | 8 mov %rsi,%rax /* val will be longjmp return */
|
| /seL4-camkes-master/projects/musllibc/src/setjmp/x86_64_sel4/ |
| H A D | longjmp.s | 8 mov %rsi,%rax /* val will be longjmp return */
|
| /seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/x86/ |
| H A D | traps.h | 55 unsigned long rsi; member in struct:pt_regs
|
| /seL4-camkes-master/kernel/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| H A D | types.h | 24 seL4_Word rip, rsp, rflags, rax, rbx, rcx, rdx, rsi, rdi, rbp, member in struct:seL4_UserContext_
|
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/sel4_arch/x86_64/ |
| H A D | unknown_syscall_fault.c | 28 uintptr_t rsi = seL4_GetMR(4); local
48 " rsi = %p\n"
62 (void *)rcx, (void *)rdx, (void *)rsi, (void *)rdi, (void *)rbp,
|
| /seL4-camkes-master/projects/musllibc/src/ldso/x86_64/ |
| H A D | tlsdesc.s | 30 push %rsi
41 pop %rsi
|
| /seL4-camkes-master/tools/rumprun/platform/hw/arch/amd64/ |
| H A D | intr.S | 77 movq 0(%rsp), %rsi ;\
128 pushq %rsi ;\
131 popq %rsi ;\
|
| /seL4-camkes-master/projects/seL4_libs/libsel4utils/src/sel4_arch/x86_64/ |
| H A D | arch.c | 48 context->rsi = (seL4_Word) arg1;
|
| /seL4-camkes-master/kernel/src/arch/x86/64/ |
| H A D | machine_asm.S | 12 * %rsi, %rdx, %rcx, %r8 and %r9 are used for passing values. %rax and
23 movq %rsi, %rax
30 movq %rsi, %rax
37 movq %rsi, %rax
|
| H A D | traps.S | 118 push %rsi; \
457 movq %rax, %rsi
475 popq %rsi
537 popq %rsi
561 LOAD_IRQ_STACK(rsi)
562 movq 0(%rsi), %rsi # error code
609 push %rsi # save RSI (msgInfo register)
653 push %rsi # save RSI (msgInfo register)
676 push %rsi
[all...] |
| /seL4-camkes-master/projects/musllibc/arch/x32/bits/ |
| H A D | user.h | 13 unsigned long rax, rcx, rdx, rsi, rdi, orig_rax, rip; member in struct:user_regs_struct
|
| /seL4-camkes-master/projects/musllibc/arch/x86_64/bits/ |
| H A D | user.h | 13 unsigned long rax, rcx, rdx, rsi, rdi, orig_rax, rip; member in struct:user_regs_struct
|
| /seL4-camkes-master/projects/musllibc/arch/x86_64_sel4/bits/ |
| H A D | user.h | 13 unsigned long rax, rcx, rdx, rsi, rdi, orig_rax, rip; member in struct:user_regs_struct
|