Searched refs:rax (Results 1 - 4 of 4) sorted by relevance

/seL4-mcs-10.1.1/src/arch/x86/64/
H A Dmachine_asm.S18 * %rsi, %rdx, %rcx, %r8 and %r9 are used for passing values. %rax and
29 movq %rsi, %rax
36 movq %rsi, %rax
43 movq %rsi, %rax
49 movq $0, %rax
56 movq $0, %rax
63 movq $0, %rax
H A Dhead.S355 movabs $_entry_64, %rax
356 jmp *%rax
391 movq $0xffffffff80000000, %rax
392 addq %rax, %rsp
393 addq %rax, %rbp
402 movabs $restore_user_context, %rax
403 push %rax
451 movabs $_entry_ap64, %rax
452 jmp *%rax
481 movabs $restore_user_context, %rax
[all...]
H A Dtraps.S121 push %rax; \
461 movq %rax, %rsi
480 popq %rax
519 movq 24(%rdx), %rax
521 testq %rbx, %rax
533 andq $~(1<<8), %rax
534 movq %rax, 24(%rdx)
542 popq %rax
585 movq %rax, 8(%r8)
612 push %rax
[all...]
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dtypes.h31 seL4_Word rip, rsp, rflags, rax, rbx, rcx, rdx, rsi, rdi, rbp, member in struct:seL4_UserContext_

Completed in 34 milliseconds