Searched refs:ecx (Results 1 - 7 of 7) sorted by relevance
| /seL4-mcs-10.1.1/src/arch/x86/64/ |
| H A D | head.S | 42 decl %ecx
54 movl $huge_page_error_size, %ecx
75 movl $1024, %ecx
82 movl $1024, %ecx
91 movl $4, %ecx
130 movl $1024, %ecx
137 movl $1024, %ecx
144 movl $boot_pdpt, %ecx
145 orl $0x7, %ecx
146 movl %ecx, (
[all...] |
| /seL4-mcs-10.1.1/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 | 60 seL4_Word ecx; member in struct:__anon121::__anon122
|
| /seL4-mcs-10.1.1/src/arch/x86/32/ |
| H A D | head.S | 125 movl smp_aps_index, %ecx
129 inc %ecx
130 shll $CONFIG_KERNEL_STACK_BITS, %ecx
131 addl %ecx, %esp
|
| H A D | traps.S | 33 pushl %ecx; \
36 movl $0x##number, %ecx; \
343 pushl %ecx
349 cmpl $0x20, %ecx # if interrupt vector is below 0x20, we have an exception
357 pushl %ecx
366 popl %ecx
418 popl %ecx
454 pushl %ecx
465 movl $val, %ecx; \
466 movl %ecx,
[all...] |
| /seL4-mcs-10.1.1/include/arch/x86/arch/ |
| H A D | machine.h | 139 static inline uint32_t x86_cpuid_edx(uint32_t eax, uint32_t ecx) argument
145 "=c" (ecx),
147 : "a" (eax), "c" (ecx)
152 static inline uint32_t x86_cpuid_eax(uint32_t eax, uint32_t ecx) argument
158 "=c" (ecx),
160 : "a" (eax), "c" (ecx)
165 static inline uint32_t x86_cpuid_ecx(uint32_t eax, uint32_t ecx) argument
171 "=c" (ecx),
173 : "a" (eax), "c" (ecx)
175 return ecx;
178 x86_cpuid_ebx(uint32_t eax, uint32_t ecx) argument
[all...] |
| /seL4-mcs-10.1.1/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_
|
Completed in 32 milliseconds