/barrelfish-master/kernel/include/arch/arm/ |
H A D | syscall_arm.h | 26 errval_t sys_resume_context(arch_registers_state_t *registers);
|
/barrelfish-master/include/arch/x86_32/barrelfish_kpi/ |
H A D | registers_arch.h | 23 typedef struct registers_x86_32 arch_registers_state_t; typedef in typeref:struct:registers_x86_32 29 registers_set_entry(arch_registers_state_t *regs, lvaddr_t entry) 35 registers_set_param(arch_registers_state_t *regs, uint32_t param) 41 registers_get_param(arch_registers_state_t *regs, uintptr_t *param) 47 registers_get_ip(arch_registers_state_t *regs) 53 registers_get_sp(arch_registers_state_t *regs)
|
H A D | dispatcher_shared_arch.h | 40 static inline arch_registers_state_t* 46 static inline arch_registers_state_t* 52 static inline arch_registers_state_t*
|
/barrelfish-master/include/arch/x86_64/barrelfish_kpi/ |
H A D | registers_arch.h | 23 typedef struct registers_x86_64 arch_registers_state_t; typedef in typeref:struct:registers_x86_64 26 registers_set_entry(arch_registers_state_t *regs, lvaddr_t entry) 32 registers_set_param(arch_registers_state_t *regs, uint64_t param) 38 registers_get_param(arch_registers_state_t *regs, uintptr_t *param) 44 registers_get_ip(arch_registers_state_t *regs) 50 registers_get_sp(arch_registers_state_t *regs)
|
H A D | dispatcher_shared_arch.h | 40 static inline arch_registers_state_t* 46 static inline arch_registers_state_t* 52 static inline arch_registers_state_t*
|
/barrelfish-master/lib/spawndomain/ |
H A D | arch.h | 24 arch_registers_state_t *enabled_area, 25 arch_registers_state_t *disabled_area);
|
/barrelfish-master/kernel/include/arch/armv7/ |
H A D | exceptions.h | 36 arch_registers_state_t* saved_context, 46 arch_registers_state_t* saved_context, 57 arch_registers_state_t* saved_context) 65 void handle_irq_kernel(arch_registers_state_t* save_area, uintptr_t fault_pc) 74 void handle_irq(arch_registers_state_t* save_area, 84 void handle_fiq_kernel(arch_registers_state_t* save_area, uintptr_t fault_pc) 93 void handle_fiq(arch_registers_state_t* save_area,
|
/barrelfish-master/include/arch/aarch64/barrelfish_kpi/ |
H A D | dispatcher_shared_arch.h | 41 static inline arch_registers_state_t* 47 static inline arch_registers_state_t* 53 static inline arch_registers_state_t*
|
H A D | registers_arch.h | 105 typedef union registers_aarch64 arch_registers_state_t; typedef in typeref:union:registers_aarch64 108 registers_set_entry(arch_registers_state_t *regs, lvaddr_t entry) 114 registers_set_param(arch_registers_state_t *regs, uint64_t param) 120 registers_get_param(arch_registers_state_t *regs, uint64_t *param) 126 registers_get_ip(arch_registers_state_t *regs) 132 registers_get_sp(arch_registers_state_t *regs)
|
/barrelfish-master/include/arch/arm/barrelfish_kpi/ |
H A D | dispatcher_shared_arch.h | 40 static inline arch_registers_state_t* 46 static inline arch_registers_state_t* 52 static inline arch_registers_state_t*
|
H A D | registers_arch.h | 99 typedef union registers_arm arch_registers_state_t; typedef in typeref:union:registers_arm 102 registers_set_entry(arch_registers_state_t *regs, lvaddr_t entry) 108 registers_set_param(arch_registers_state_t *regs, uint32_t param) 114 registers_get_param(arch_registers_state_t *regs, uintptr_t *param) 120 registers_get_ip(arch_registers_state_t *regs) 126 registers_get_sp(arch_registers_state_t *regs)
|
/barrelfish-master/kernel/arch/arm/ |
H A D | exec.c | 28 static arch_registers_state_t upcall_state = 43 ensure_user_mode_policy(arch_registers_state_t *state) 68 arch_registers_state_t *state = &upcall_state; 86 void __attribute__ ((noreturn)) resume(arch_registers_state_t *state)
|
/barrelfish-master/kernel/arch/armv8/ |
H A D | exec.c | 26 static arch_registers_state_t upcall_state; 38 ensure_user_mode_policy(arch_registers_state_t *state) 64 arch_registers_state_t *state = &upcall_state; 87 void __attribute__ ((noreturn)) resume(arch_registers_state_t *state)
|
/barrelfish-master/include/barrelfish/ |
H A D | dispatch.h | 65 void disp_resume(dispatcher_handle_t handle, arch_registers_state_t *archregs); 83 void disp_switch(dispatcher_handle_t handle, arch_registers_state_t *from_state, 84 arch_registers_state_t *to_state); 102 void disp_save(dispatcher_handle_t handle, arch_registers_state_t *state,
|
H A D | debug.h | 41 void debug_print_save_area(arch_registers_state_t *state); 42 void debug_print_fpu_state(arch_registers_state_t *state); 43 void debug_dump(arch_registers_state_t *state); 44 void debug_call_chain(arch_registers_state_t *state);
|
H A D | except.h | 53 void *addr, arch_registers_state_t *regs);
|
/barrelfish-master/kernel/include/ |
H A D | exec.h | 36 void __attribute__ ((noreturn)) resume(arch_registers_state_t *state);
|
/barrelfish-master/lib/barrelfish/include/arch/x86_32/arch/ |
H A D | registers.h | 23 registers_set_initial(arch_registers_state_t *regs, struct thread *thread,
|
/barrelfish-master/lib/barrelfish/include/arch/x86_64/arch/ |
H A D | registers.h | 23 registers_set_initial(arch_registers_state_t *regs, struct thread *thread,
|
/barrelfish-master/lib/barrelfish/arch/arm/ |
H A D | debug.c | 15 void debug_dump(arch_registers_state_t *archregs) 34 void debug_call_chain(arch_registers_state_t *archregs) 44 void debug_print_save_area(arch_registers_state_t *state)
|
H A D | dispatch.c | 115 arch_registers_state_t *archregs) 153 arch_registers_state_t *from_state, 154 arch_registers_state_t *to_state) 185 arch_registers_state_t *state, 215 arch_registers_state_t *state =
|
/barrelfish-master/lib/barrelfish/arch/x86_32/ |
H A D | debug.c | 33 void debug_dump(arch_registers_state_t *archregs) 62 void debug_call_chain(arch_registers_state_t *archregs) 70 void debug_print_save_area(arch_registers_state_t *state)
|
/barrelfish-master/kernel/arch/armv7/ |
H A D | syscall.c | 37 arch_registers_state_t* context, \ 49 void sys_syscall(arch_registers_state_t* context, 64 arch_registers_state_t* context, 85 arch_registers_state_t* context, 103 arch_registers_state_t* context, 142 arch_registers_state_t* context, 154 arch_registers_state_t* context, 167 arch_registers_state_t* context, 204 arch_registers_state_t* context, 214 arch_registers_state_t* contex [all...] |
/barrelfish-master/lib/barrelfish/arch/x86_64/ |
H A D | dispatch.c | 63 void disp_resume(dispatcher_handle_t handle, arch_registers_state_t *archregs) 146 disp_switch(dispatcher_handle_t handle, arch_registers_state_t *from_state, 147 arch_registers_state_t *to_state) 219 disp_save(dispatcher_handle_t handle, arch_registers_state_t *state, 279 arch_registers_state_t *state =
|
/barrelfish-master/lib/barrelfish/arch/aarch64/ |
H A D | dispatch.c | 131 arch_registers_state_t *archregs) 171 arch_registers_state_t *from_state, 172 arch_registers_state_t *to_state) 203 arch_registers_state_t *state, 233 arch_registers_state_t *state =
|