/barrelfish-master/kernel/include/arch/armv8/ |
H A D | exceptions.h | 124 arch_registers_state_t* save_area, 133 arch_registers_state_t* save_area, 137 arch_registers_state_t* save_area)__attribute__((noreturn)); 145 uint64_t vector, arch_registers_state_t* save_area) 163 void save_handle_irq(arch_registers_state_t* save_area, uintptr_t fault_pc,
|
/barrelfish-master/lib/barrelfish/arch/x86_32/ |
H A D | dispatch.c | 67 void disp_resume(dispatcher_handle_t handle, arch_registers_state_t *archregs) 130 void disp_switch(dispatcher_handle_t handle, arch_registers_state_t *from_state, 131 arch_registers_state_t *to_state) 200 void disp_save(dispatcher_handle_t handle, arch_registers_state_t *state, 257 arch_registers_state_t *state =
|
/barrelfish-master/kernel/arch/armv8/ |
H A D | syscall.c | 41 arch_registers_state_t* context, \ 55 arch_registers_state_t *context); 66 arch_registers_state_t* context, 87 arch_registers_state_t* context, 105 arch_registers_state_t* context, 144 arch_registers_state_t* context, 156 arch_registers_state_t* context, 169 arch_registers_state_t* context, 206 arch_registers_state_t* context, 216 arch_registers_state_t* contex [all...] |
H A D | exn.c | 28 arch_registers_state_t* save_area, 96 arch_registers_state_t* save_area, 135 arch_registers_state_t* save_area) 232 void save_handle_irq(arch_registers_state_t* save_area, uintptr_t fault_pc, 286 uint64_t vector, arch_registers_state_t* save_area)
|
/barrelfish-master/kernel/arch/arm/ |
H A D | exn.c | 26 arch_registers_state_t* save_area, 94 arch_registers_state_t* save_area, 149 arch_registers_state_t* save_area) 264 void handle_fiq_kernel(arch_registers_state_t* save_area, uintptr_t fault_pc) 269 void handle_fiq(arch_registers_state_t* save_area, 276 void handle_irq_kernel(arch_registers_state_t* save_area, 291 void handle_irq(arch_registers_state_t* save_area,
|
/barrelfish-master/lib/barrelfish/arch/x86_64/ |
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/lib/barrelfish/arch/aarch64/ |
H A D | debug.c | 17 void debug_dump(arch_registers_state_t *archregs) 25 void debug_call_chain(arch_registers_state_t *archregs) 35 void debug_print_save_area(arch_registers_state_t *state)
|
/barrelfish-master/lib/barrelfish/include/arch/arm/arch/ |
H A D | registers.h | 33 registers_set_initial(arch_registers_state_t *regs, struct thread *thread,
|
/barrelfish-master/lib/barrelfish/include/arch/aarch64/arch/ |
H A D | registers.h | 33 registers_set_initial(arch_registers_state_t *regs, struct thread *thread,
|
/barrelfish-master/lib/barrelfish/include/ |
H A D | threads_priv.h | 50 arch_registers_state_t regs __attribute__ ((aligned (16))); ///< Register state snapshot 127 void *addr, arch_registers_state_t *regs);
|
/barrelfish-master/kernel/arch/x86_32/ |
H A D | exec.c | 124 void __attribute__ ((noreturn)) resume(arch_registers_state_t *state)
|
/barrelfish-master/lib/pager/ |
H A D | pager.c | 64 void *addr, arch_registers_state_t *regs)
|
/barrelfish-master/lib/barrelfish/ |
H A D | threads.c | 259 arch_registers_state_t *archregs) { 278 arch_registers_state_t *enabled_area = 292 arch_registers_state_t *cur_regs = &disp_gen->current->regs; 293 memcpy(cur_regs, enabled_area, sizeof(arch_registers_state_t)); 729 arch_registers_state_t *enabled_area = 771 arch_registers_state_t *enabled_area = 1174 arch_registers_state_t *enabled_area = 1283 arch_registers_state_t **ret_regs) 1411 static void exception_handler_wrapper(arch_registers_state_t *cpuframe, 1429 //memcpy(&me->regs, cpuframe, sizeof(arch_registers_state_t)); [all...] |
H A D | dispatch.c | 330 arch_registers_state_t *regs = dispatcher_get_enabled_save_area(handle); 451 arch_registers_state_t *regs = dispatcher_get_trap_save_area(handle); 481 arch_registers_state_t *regs = dispatcher_get_trap_save_area(handle);
|
/barrelfish-master/include/barrelfish/ |
H A D | threads.h | 49 arch_registers_state_t **ret_regs);
|
/barrelfish-master/usr/tests/nkm/ |
H A D | modify_flags.c | 31 arch_registers_state_t *regs)
|
H A D | vnode_inherit.c | 32 arch_registers_state_t *regs)
|
/barrelfish-master/lib/spawndomain/arch/arm/ |
H A D | spawn_arch.c | 208 arch_registers_state_t *enabled_area, 209 arch_registers_state_t *disabled_area)
|
/barrelfish-master/lib/spawndomain/arch/aarch64/ |
H A D | spawn_arch.c | 206 arch_registers_state_t *enabled_area, 207 arch_registers_state_t *disabled_area)
|
/barrelfish-master/kernel/arch/x86_64/ |
H A D | exec.c | 141 void __attribute__ ((noreturn)) resume(arch_registers_state_t *state)
|
H A D | svm_vmkit.c | 265 arch_registers_state_t *area = NULL; 274 memcpy(area, &ctrl->regs, sizeof(arch_registers_state_t));
|
/barrelfish-master/usr/tests/pagetable/ |
H A D | protect.c | 111 arch_registers_state_t *regs)
|
/barrelfish-master/lib/spawndomain/arch/x86/ |
H A D | spawn_arch.c | 286 arch_registers_state_t *enabled_area, 287 arch_registers_state_t *disabled_area)
|
/barrelfish-master/usr/bench/cow/ |
H A D | vspace_cow.c | 17 arch_registers_state_t *regs)
|
/barrelfish-master/usr/examples/xmpl-cow/ |
H A D | main.c | 30 arch_registers_state_t *regs)
|