Searched refs:ebp (Results 1 - 4 of 4) 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 | 64 seL4_Word ebp; member in struct:__anon121::__anon122 |
/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/32/ | ||
H A D | traps.S | 29 pushl %ebp; \ 370 popl %ebp 422 popl %ebp 473 pushl %ebp 519 pushl %ebp # save EBP (reply register) 535 pushl %ebp # reply |
Completed in 78 milliseconds