/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/ |
H A D | debug.c | 46 unsigned int eax, ebx, ecx; local
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/processor/ |
H A D | cpuid.h | 42 unsigned int ebx; member in struct:cpuid_val
|
H A D | cpuid.c | 28 static inline void native_cpuid(unsigned int *eax, unsigned int *ebx, argument 43 unsigned int eax, ebx, ecx, edx; local [all...] |
/seL4-test-master/kernel/src/arch/x86/machine/ |
H A D | cpu_identification.c | 121 cpuid_001h_ebx_t ebx; 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 | 52 seL4_Word ebx; 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
|
/seL4-test-master/projects/seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/ |
H A D | private.h | 104 static FASTFN void sel4bench_private_cpuid(uint32_t leaf, uint32_t subleaf, uint32_t * eax, uint32_t * ebx, uint32_t * ecx, uint32_t * edx) argument
|
/seL4-test-master/kernel/include/arch/x86/arch/ |
H A D | machine.h | 136 uint32_t edx, ebx; local 149 uint32_t edx, ebx; local 162 uint32_t edx, ebx; local 175 uint32_t edx, ebx; local
|