Searched refs:arch_registers_state_t (Results 26 - 50 of 59) sorted by relevance

123

/barrelfish-master/kernel/include/arch/armv8/
H A Dexceptions.h124 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 Ddispatch.c67 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 Dsyscall.c41 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 Dexn.c28 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 Dexn.c26 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 Ddebug.c33 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 Ddebug.c17 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 Dregisters.h33 registers_set_initial(arch_registers_state_t *regs, struct thread *thread,
/barrelfish-master/lib/barrelfish/include/arch/aarch64/arch/
H A Dregisters.h33 registers_set_initial(arch_registers_state_t *regs, struct thread *thread,
/barrelfish-master/lib/barrelfish/include/
H A Dthreads_priv.h50 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 Dexec.c124 void __attribute__ ((noreturn)) resume(arch_registers_state_t *state)
/barrelfish-master/lib/pager/
H A Dpager.c64 void *addr, arch_registers_state_t *regs)
/barrelfish-master/lib/barrelfish/
H A Dthreads.c259 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 Ddispatch.c330 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 Dthreads.h49 arch_registers_state_t **ret_regs);
/barrelfish-master/usr/tests/nkm/
H A Dmodify_flags.c31 arch_registers_state_t *regs)
H A Dvnode_inherit.c32 arch_registers_state_t *regs)
/barrelfish-master/lib/spawndomain/arch/arm/
H A Dspawn_arch.c208 arch_registers_state_t *enabled_area,
209 arch_registers_state_t *disabled_area)
/barrelfish-master/lib/spawndomain/arch/aarch64/
H A Dspawn_arch.c206 arch_registers_state_t *enabled_area,
207 arch_registers_state_t *disabled_area)
/barrelfish-master/kernel/arch/x86_64/
H A Dexec.c141 void __attribute__ ((noreturn)) resume(arch_registers_state_t *state)
H A Dsvm_vmkit.c265 arch_registers_state_t *area = NULL;
274 memcpy(area, &ctrl->regs, sizeof(arch_registers_state_t));
/barrelfish-master/usr/tests/pagetable/
H A Dprotect.c111 arch_registers_state_t *regs)
/barrelfish-master/lib/spawndomain/arch/x86/
H A Dspawn_arch.c286 arch_registers_state_t *enabled_area,
287 arch_registers_state_t *disabled_area)
/barrelfish-master/usr/bench/cow/
H A Dvspace_cow.c17 arch_registers_state_t *regs)
/barrelfish-master/usr/examples/xmpl-cow/
H A Dmain.c30 arch_registers_state_t *regs)

Completed in 115 milliseconds

123