/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/ |
H A D | debug.c | 51 unsigned int edx, esi, edi; local
|
/seL4-test-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 | 55 seL4_Word esi; member in struct:__anon76::__anon77
|
/seL4-test-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-test-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-test-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
|