Searched refs:edx (Results 1 – 9 of 9) sorted by relevance
| /seL4-master/src/arch/x86/64/ |
| A D | head.S | 56 andl $0x04000000, %edx
80 movl $0x0, %edx
83 movl %edx, (%edi)
90 movl %edx, (%edi)
116 movl $0x87, %edx
118 movl %edx, (%edi)
119 addl $0x200000, %edx
167 andl $0x20000000, %edx
|
| /seL4-master/src/arch/x86/machine/ |
| A D | hardware.c | 143 cpuid_007h_edx_t edx; in init_ibrs() local
144 edx.words[0] = x86_cpuid_edx(0x7, 0); in init_ibrs()
145 bool_t support_ibrs = cpuid_007h_edx_get_ibrs_ibpb(edx); in init_ibrs()
161 if (cpuid_007h_edx_get_ia32_arch_cap_msr(edx)) { in init_ibrs()
|
| /seL4-master/include/arch/x86/arch/ |
| A D | machine.h | 136 uint32_t edx, ebx; in x86_cpuid_edx() local
141 "=d"(edx) in x86_cpuid_edx()
144 return edx; in x86_cpuid_edx()
149 uint32_t edx, ebx; in x86_cpuid_eax() local
154 "=d"(edx) in x86_cpuid_eax()
162 uint32_t edx, ebx; in x86_cpuid_ecx() local
167 "=d"(edx) in x86_cpuid_ecx()
175 uint32_t edx, ebx; in x86_cpuid_ebx() local
180 "=d"(edx) in x86_cpuid_ebx()
|
| /seL4-master/src/arch/x86/32/ |
| A D | traps.S | 358 RESET_SELECTORS(edx)
400 popl %edx
451 popl %edx
465 movl (4 * FLAGS)(%esp), %edx # EDX contains EFLAGS
477 pushl %edx
496 pushl %edx
|
| /seL4-master/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| A D | types.h | 15 seL4_Word eip, esp, eflags, eax, ebx, ecx, edx, esi, edi, ebp; member
|
| A D | deprecated.h | 54 seL4_Word edx; member
|
| /seL4-master/libsel4/arch_include/x86/sel4/arch/ |
| A D | types.h | 52 seL4_Word eax, ebx, ecx, edx, esi, edi, ebp; member
|
| /seL4-master/src/arch/x86/kernel/ |
| A D | boot_sys.c | 358 cpuid_007h_edx_t edx; in try_boot_sys() local
359 edx.words[0] = x86_cpuid_edx(0x7, 0); in try_boot_sys()
362 if (cpuid_007h_edx_get_ia32_arch_cap_msr(edx)) { in try_boot_sys()
|
| /seL4-master/include/arch/x86/arch/32/mode/object/ |
| A D | structures.bf | 394 field edx 32
|
Completed in 16 milliseconds