Searched defs:edx (Results 1 - 7 of 7) sorted by relevance
| /seL4-l4v-10.1.1/seL4/src/arch/x86/machine/ |
| H A D | hardware.c | 151 cpuid_007h_edx_t edx; local
|
| /seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| H A D | types.h | 28 seL4_Word eip, esp, eflags, eax, ebx, ecx, edx, esi, edi, ebp; member in struct:seL4_UserContext_
|
| H A D | deprecated.h | 61 seL4_Word edx; member in struct:__anon210::__anon211
|
| /seL4-l4v-10.1.1/seL4/libsel4/arch_include/x86/sel4/arch/ |
| H A D | types.h | 47 seL4_Word eax, ebx, ecx, edx, esi, edi, ebp; member in struct:seL4_VCPUContext_
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/ |
| H A D | boot_sys.c | 416 cpuid_007h_edx_t edx; local
|
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/X86Code/ |
| H A D | X86CODESIG.sml | 38 val eax: genReg and ebx: genReg and ecx: genReg and edx: genReg value
|
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/ |
| H A D | machine.h | 140 uint32_t edx, ebx; local
153 uint32_t edx, ebx; local
166 uint32_t edx, ebx; local
179 uint32_t edx, ebx; local
|
Completed in 109 milliseconds