| /seL4-refos-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-refos-master/libs/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-refos-master/libs/libmuslc/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 | 51 unsigned long long rdi, rsi, rbp, rbx, rdx, rax, rcx, rsp, rip, eflags; member in struct:sigcontext
|
| /seL4-refos-master/libs/libmuslc/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 | 51 unsigned long rdi, rsi, rbp, rbx, rdx, rax, rcx, rsp, rip, eflags; member in struct:sigcontext
|
| /seL4-refos-master/libs/libmuslc/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 | 51 unsigned long rdi, rsi, rbp, rbx, rdx, rax, rcx, rsp, rip, eflags; member in struct:sigcontext
|