Searched refs:esi (Results 1 - 6 of 6) sorted by relevance
| /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 | 62 seL4_Word esi; member in struct:__anon121::__anon122
|
| /seL4-mcs-10.1.1/src/arch/x86/32/ |
| H A D | traps.S | 31 pushl %esi; \
368 popl %esi
420 popl %esi
442 movl %cr4, %esi
443 pushl %esi
444 movl %cr3, %esi
445 pushl %esi
446 movl %cr2, %esi
447 pushl %esi
448 movl %cr0, %esi
[all...] |
| H A D | head.S | 57 movl %ebx, %esi /* multiboot_info_ptr */
67 pushl %esi /* 2nd parameter: multiboot_info_ptr */
75 popl %esi
80 pushl %esi /* 2nd parameter: multiboot_info_ptr */
|
| /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_
|
| /seL4-mcs-10.1.1/src/arch/x86/64/ |
| H A D | head.S | 329 movl %ebx, %esi /* multiboot_info_ptr */
341 pushl %esi /* 2nd parameter: multiboot_info_ptr */
|
Completed in 26 milliseconds