/seL4-camkes-master/kernel/include/arch/x86/arch/32/mode/model/ |
H A D | smp.h | 25 uint32_t esp = (uint32_t)getCurESP(); local
|
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/sel4_arch/ia32/ |
H A D | unknown_syscall_fault.c | 31 uintptr_t esp = seL4_GetMR(8); local
|
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
H A D | types.h | 21 seL4_Word eip, esp, eflags, eax, ebx, ecx, edx, esi, edi, ebp; member in struct:seL4_UserContext_
|
H A D | deprecated.h | 41 seL4_Word esp; member in struct:__anon74::__anon75 59 seL4_Word esp; member in struct:__anon76::__anon77
|
/seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/x86/ |
H A D | traps.h | 35 long esp; member in struct:pt_regs
|
/seL4-camkes-master/projects/musllibc/arch/i386/bits/ |
H A D | user.h | 16 long orig_eax, eip, xcs, eflags, esp, xss; member in struct:user_regs_struct
|
H A D | signal.h | 42 unsigned long edi, esi, ebp, esp, ebx, edx, ecx, eax; member in struct:sigcontext
|
/seL4-camkes-master/projects/musllibc/arch/i386_sel4/bits/ |
H A D | user.h | 16 long orig_eax, eip, xcs, eflags, esp, xss; member in struct:user_regs_struct
|
H A D | signal.h | 42 unsigned long edi, esi, ebp, esp, ebx, edx, ecx, eax; member in struct:sigcontext
|
/seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/x86/x86_32/ |
H A D | hypercall-x86_32.h | 145 HYPERVISOR_stack_switch( unsigned long ss, unsigned long esp) argument
|
/seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/x86/x86_64/ |
H A D | hypercall-x86_64.h | 150 HYPERVISOR_stack_switch( unsigned long ss, unsigned long esp) argument
|