| /seL4-mcs-10.1.1/src/arch/x86/32/ |
| H A D | head.S | 25 movl %cr4, %eax
26 orl $0x10, %eax
27 movl %eax, %cr4
30 leal _boot_pd, %eax
31 movl %eax, %cr3
35 movl %cr0, %eax
36 andl $0x9fffffff, %eax
37 orl $0x80000000, %eax
38 movl %eax, %cr0
43 movl %cr4, %eax
[all...] |
| H A D | machine_asm.S | 16 movl 4(%esp), %eax
17 lgdt (%eax) # load gdtr register with gdt pointer
30 movl 4(%esp), %eax
31 lidt (%eax)
47 movl 4(%esp), %eax
53 movl 4(%esp), %eax
60 movl $1, %eax
62 movl %ebx, %eax
63 shrl $8, %eax
64 andl $0xff, %eax
[all...] |
| H A D | traps.S | 35 pushl %eax; \
342 pushl %eax
364 popl %eax
395 movl 64(%esp), %eax
397 testl %ebx, %eax
409 andl $~(1<<8), %eax
410 movl %eax, 64(%esp)
416 popl %eax
435 movl 52(%esp), %eax # EAX contains Error Code
453 pushl %eax
[all...] |
| /seL4-mcs-10.1.1/src/arch/x86/64/ |
| H A D | head.S | 49 movl $0x80000001, %eax
70 movl %cr0, %eax
71 andl $0x7fffffff, %eax
72 movl %eax, %cr0
124 movl %cr0, %eax
125 andl $0x7fffffff, %eax
126 movl %eax, %cr0
177 movl $0x1, %eax
197 movl $0x7, %eax
217 movl $0x80000001, %eax
[all...] |
| H A D | machine_asm.S | 44 outl %eax, %dx
65 inl %dx, %eax
71 movl $1, %eax
73 movl %ebx, %eax
74 shrl $8, %eax
75 andl $0xff, %eax
76 shll $3, %eax
|
| /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 | 58 seL4_Word eax; member in struct:__anon121::__anon122
|
| /seL4-mcs-10.1.1/src/arch/x86/machine/ |
| H A D | cpu_identification.c | 127 cpuid_001h_eax_t eax; local
135 /* Need both eax and ebx ouput values. */
136 eax.words[0] = x86_cpuid_eax(1, 0);
142 original.family = cpuid_001h_eax_get_family(eax);
143 original.model = cpuid_001h_eax_get_model(eax);
144 ci->display.stepping = cpuid_001h_eax_get_stepping(eax);
147 ci->display.extended_family = cpuid_001h_eax_get_extended_family(eax);
148 ci->display.extended_model = cpuid_001h_eax_get_extended_model(eax);
|
| /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
143 : "=a" (eax),
147 : "a" (eax), "c" (ecx)
152 static inline uint32_t x86_cpuid_eax(uint32_t eax, uint32_t ecx) argument
156 : "=a" (eax),
160 : "a" (eax), "c" (ecx)
162 return eax;
165 static inline uint32_t x86_cpuid_ecx(uint32_t eax, uint32_t ecx) argument
169 : "=a" (eax),
173 : "a" (eax), "
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_
|