Searched refs:edi (Results 1 - 6 of 6) sorted by relevance
| /seL4-mcs-10.1.1/src/arch/x86/64/ |
| H A D | head.S | 73 movl $boot_pml4, %edi
77 movl %edx, (%edi)
78 addl $4, %edi
81 movl $boot_pdpt, %edi
84 movl %edx, (%edi)
85 addl $4, %edi
89 movl $boot_pdpt, %edi
94 movl %edx, (%edi)
95 movl %ebx, 4(%edi)
102 addl $8, %edi
[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 | 63 seL4_Word edi; member in struct:__anon121::__anon122
|
| /seL4-mcs-10.1.1/src/arch/x86/32/ |
| H A D | head.S | 56 movl %eax, %edi /* multiboot_magic */
68 pushl %edi /* 1st parameter: multiboot_magic */
74 popl %edi
81 pushl %edi /* 1st parameter: multiboot_magic */
|
| H A D | traps.S | 30 pushl %edi; \
369 popl %edi
421 popl %edi
438 movl %esp, %edi
439 addl $68, %edi # EDI contains ESP when exception happened
451 pushl %edi
474 pushl %edi
520 pushl %edi # save EDI (message register)
|
| /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 40 milliseconds