Searched defs:esi (Results 1 - 4 of 4) sorted by relevance
| /seL4-l4v-master/seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ | ||
| H A D | types.h | 21 seL4_Word eip, esp, eflags, eax, ebx, ecx, edx, esi, edi, ebp; member in struct:seL4_UserContext_ |
| H A D | deprecated.h | 55 seL4_Word esi; member in struct:__anon217::__anon218 |
| /seL4-l4v-master/seL4/libsel4/arch_include/x86/sel4/arch/ | ||
| H A D | types.h | 40 seL4_Word eax, ebx, ecx, edx, esi, edi, ebp; member in struct:seL4_VCPUContext_ |
| /seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/CodeTree/X86Code/ | ||
| H A D | X86CODESIG.sml | 40 and edi: genReg and esi: genReg and esp: genReg and ebp: genReg value |
Completed in 47 milliseconds