/barrelfish-2018-10-04/usr/drivers/vbe/ |
H A D | int10.h | 22 uint32_t ebx; member in struct:int10_regs
|
/barrelfish-2018-10-04/include/arch/x86_32/barrelfish_kpi/ |
H A D | asm_inlines_arch.h | 22 static inline void cpuid(uint32_t function, uint32_t *eax, uint32_t *ebx, argument [all...] |
/barrelfish-2018-10-04/include/arch/x86_64/barrelfish_kpi/ |
H A D | asm_inlines_arch.h | 22 static inline void cpuid(uint32_t function, uint32_t *eax, uint32_t *ebx, argument
|
/barrelfish-2018-10-04/include/cpuid/ |
H A D | cpuid_spaces.h | 30 uint32_t ebx; local
|
H A D | cpuid.h | 24 uint32_t ebx; ///< ebx register [in: none, out: return value] member in struct:cpuid_regs
|
/barrelfish-2018-10-04/lib/bench/arch/x86/ |
H A D | bench_arch.c | 28 uint32_t eax, ebx, ecx, edx; local
|
/barrelfish-2018-10-04/usr/tests/large_page/ |
H A D | map_test.c | 109 uint32_t eax, ebx, ecx, edx; local
|
/barrelfish-2018-10-04/include/target/x86_32/barrelfish_kpi/ |
H A D | registers_target.h | 32 uint32_t eax, ebx, ecx, edx, esi, edi, ebp, esp, eip, eflags, cs, ss; member in struct:registers_x86_32
|
/barrelfish-2018-10-04/kernel/include/arch/x86_32/ |
H A D | cpuid_spaces.h | 40 uint32_t ebx; local [all...] |
H A D | irq.h | 195 uint32_t ebx; member in struct:task_state_segment
|
/barrelfish-2018-10-04/kernel/include/arch/x86_64/ |
H A D | cpuid_spaces.h | 30 uint32_t ebx; local
|
/barrelfish-2018-10-04/include/arch/k1om/barrelfish_kpi/ |
H A D | asm_inlines_arch.h | 52 cpuid_ext(uint32_t function, uint32_t ecx_in, uint32_t *eax, uint32_t *ebx, uint32_t *ecx, uint32_t *edx) argument 80 cpuid(uint32_t function, uint32_t *eax, uint32_t *ebx, uint32_t *ecx, uint32_t *edx) argument
|
/barrelfish-2018-10-04/kernel/arch/x86_64/ |
H A D | exec.c | 228 uint32_t eax, ebx, ecx, edx; local
|
H A D | init.c | 378 uint32_t eax, ebx, ecx, edx; local 398 uint32_t eax, ebx, ecx, edx; local
|
/barrelfish-2018-10-04/lib/dma/ioat/ |
H A D | ioat_dma_device.c | 227 uint32_t eax, ebx; local
|
/barrelfish-2018-10-04/kernel/arch/k1om/ |
H A D | init.c | 410 uint32_t eax, ebx, ecx, edx; local
|
/barrelfish-2018-10-04/kernel/arch/x86/ |
H A D | apic.c | 220 uint32_t eax, ebx, ecx, edx; local
|
/barrelfish-2018-10-04/kernel/arch/x86_32/ |
H A D | init.c | 418 uint32_t eax, ebx, ecx, edx; local 476 uint32_t eax, ebx, ecx, edx; local
|
/barrelfish-2018-10-04/lib/openssl-1.0.0d/engines/ |
H A D | e_padlock.c | 574 cmp ebx,'tneC' local [all...] |
/barrelfish-2018-10-04/usr/arrakismon/ |
H A D | guest.c | 1987 uint32_t eax, ebx, ecx, edx; local
|
/barrelfish-2018-10-04/usr/vmkitmon/ |
H A D | guest.c | 2511 uint32_t eax, ebx, ecx, edx; local [all...] |