/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/projects/sel4_projects_libs/libsel4vm/src/arch/x86/processor/ |
H A D | cpuid.h | 44 unsigned int edx; member in struct:cpuid_val
|
H A D | cpuid.c | 43 unsigned int eax, ebx, ecx, edx; local 28 native_cpuid(unsigned int *eax, unsigned int *ebx, unsigned int *ecx, unsigned int *edx) argument [all...] |
/seL4-test-master/kernel/src/arch/x86/machine/ |
H A D | hardware.c | 143 cpuid_007h_edx_t edx; 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 | 54 seL4_Word edx; 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/kernel/src/arch/x86/kernel/ |
H A D | boot_sys.c | 360 cpuid_007h_edx_t edx; local
|
/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
|