/seL4-camkes-master/tools/rumprun/platform/hw/arch/x86/ |
H A D | hypervisor.c | 33 uint32_t eax, ebx, ecx, edx; local
|
H A D | clock.c | 351 uint32_t eax, ebx, ecx, edx; local 399 uint32_t eax, ebx, ecx, edx; local [all...] |
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/sel4_arch/ia32/ |
H A D | unknown_syscall_fault.c | 23 uintptr_t eax = seL4_GetMR(0); local
|
/seL4-camkes-master/tools/rumprun/platform/hw/include/arch/x86/ |
H A D | inline.h | 66 unsigned long eax, edx; local
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/ |
H A D | debug.c | 46 unsigned int eax, ebx, ecx; local
|
H A D | ioports.c | 54 uint32_t eax; local 66 uint32_t eax; local [all...] |
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/processor/ |
H A D | cpuid.h | 41 unsigned int eax; 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...] |
H A D | decode.c | 375 uint32_t eax; local
|
/seL4-camkes-master/kernel/src/arch/x86/machine/ |
H A D | cpu_identification.c | 120 cpuid_001h_eax_t eax; 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 | 51 seL4_Word eax; member in struct:__anon76::__anon77
|
/seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/x86/ |
H A D | traps.h | 28 long eax; 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
|
/seL4-camkes-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 119 uint32_t eax = 0; local
|
/seL4-camkes-master/kernel/include/arch/x86/arch/ |
H A D | machine.h | 134 static inline uint32_t x86_cpuid_edx(uint32_t eax, uint32_t ecx) argument 147 static inline uint32_t x86_cpuid_eax(uint32_t eax, uint32_t ecx) argument 160 static inline uint32_t x86_cpuid_ecx(uint32_t eax, uint32_t ecx) argument 173 x86_cpuid_ebx(uint32_t eax, uint32_t ecx) argument [all...] |