/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/sel4_arch/ia32/ |
H A D | unknown_syscall_fault.c | 30 uintptr_t eip = seL4_GetMR(7); local
|
/seL4-camkes-master/kernel/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 | 58 seL4_Word eip; member in struct:__anon76::__anon77
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/ |
H A D | interrupt.c | 131 uintptr_t eip = sipi_vector * 0x1000; local
|
H A D | guest_state.h | 81 unsigned int eip; member in struct:guest_machine_state
|
/seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/x86/ |
H A D | traps.h | 32 long eip; member in struct:pt_regs
|
/seL4-camkes-master/projects/musllibc/arch/i386/bits/ |
H A D | user.h | 16 long orig_eax, eip, xcs, eflags, esp, xss; member in struct:user_regs_struct
|
H A D | signal.h | 43 unsigned long trapno, err, eip; member in struct:sigcontext
|
/seL4-camkes-master/projects/musllibc/arch/i386_sel4/bits/ |
H A D | user.h | 16 long orig_eax, eip, xcs, eflags, esp, xss; member in struct:user_regs_struct
|
H A D | signal.h | 43 unsigned long trapno, err, eip; member in struct:sigcontext
|
/seL4-camkes-master/tools/rumprun/platform/xen/xen/arch/x86/ |
H A D | traps.c | 296 simd_math_error(void *eip) argument [all...] |
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/processor/ |
H A D | decode.c | 133 int vm_fetch_instruction(vm_vcpu_t *vcpu, uint32_t eip, uintptr_t cr3, argument 270 vm_emulate_realmode(vm_vcpu_t *vcpu, uint8_t *instr_buf, uint16_t *segment, uintptr_t eip, uint32_t len, guest_state_t *gs) argument [all...] |