| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/sel4_arch/ia32/ |
| H A D | unknown_syscall_fault.c | 29 uintptr_t ebp = seL4_GetMR(6); local
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/ |
| H A D | debug.c | 56 unsigned int ebp; 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 | 57 seL4_Word ebp; member in struct:__anon76::__anon77
|
| /seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/x86/ |
| H A D | traps.h | 27 long ebp; member in struct:pt_regs
|
| /seL4-camkes-master/kernel/libsel4/arch_include/x86/sel4/arch/ |
| H A D | types.h | 40 seL4_Word eax, ebx, ecx, edx, esi, edi, ebp; member in struct:seL4_VCPUContext_
|
| /seL4-camkes-master/projects/musllibc/arch/i386/bits/ |
| H A D | user.h | 15 long ebx, ecx, edx, esi, edi, ebp, eax, xds, xes, xfs, xgs; 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 | 15 long ebx, ecx, edx, esi, edi, ebp, eax, xds, xes, xfs, xgs; 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
|