Searched defs:ecx (Results 1 - 5 of 5) sorted by relevance
/seL4-l4v-master/seL4/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 | 53 seL4_Word ecx; member in struct:__anon217::__anon218
|
/seL4-l4v-master/seL4/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-l4v-master/HOL4/polyml/mlsource/MLCompiler/CodeTree/X86Code/ |
H A D | X86CODESIG.sml | 39 val eax: genReg and ebx: genReg and ecx: genReg and edx: genReg value
|
/seL4-l4v-master/seL4/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...] |
Completed in 35 milliseconds