Searched defs:esp (Results 1 - 4 of 4) sorted by relevance
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/model/ | ||
H A D | smp.h | 36 uint32_t esp = (uint32_t)getCurESP(); local |
/seL4-l4v-10.1.1/seL4/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 | 48 seL4_Word esp; member in struct:__anon208::__anon209 66 seL4_Word esp; member in struct:__anon210::__anon211 |
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/X86Code/ | ||
H A D | X86CODESIG.sml | 39 and edi: genReg and esi: genReg and esp: genReg and ebp: genReg value |
Completed in 44 milliseconds