Searched refs:arch_registers_state_t (Results 1 - 25 of 59) sorted by relevance

123

/barrelfish-master/kernel/include/arch/arm/
H A Dsyscall_arm.h26 errval_t sys_resume_context(arch_registers_state_t *registers);
/barrelfish-master/include/arch/x86_32/barrelfish_kpi/
H A Dregisters_arch.h23 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 Ddispatcher_shared_arch.h40 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 Dregisters_arch.h23 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 Ddispatcher_shared_arch.h40 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 Darch.h24 arch_registers_state_t *enabled_area,
25 arch_registers_state_t *disabled_area);
/barrelfish-master/kernel/include/arch/armv7/
H A Dexceptions.h36 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 Ddispatcher_shared_arch.h41 static inline arch_registers_state_t*
47 static inline arch_registers_state_t*
53 static inline arch_registers_state_t*
H A Dregisters_arch.h105 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 Ddispatcher_shared_arch.h40 static inline arch_registers_state_t*
46 static inline arch_registers_state_t*
52 static inline arch_registers_state_t*
H A Dregisters_arch.h99 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 Dexec.c28 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 Dexec.c26 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 Ddispatch.h65 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 Ddebug.h41 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 Dexcept.h53 void *addr, arch_registers_state_t *regs);
/barrelfish-master/kernel/include/
H A Dexec.h36 void __attribute__ ((noreturn)) resume(arch_registers_state_t *state);
/barrelfish-master/lib/barrelfish/include/arch/x86_32/arch/
H A Dregisters.h23 registers_set_initial(arch_registers_state_t *regs, struct thread *thread,
/barrelfish-master/lib/barrelfish/include/arch/x86_64/arch/
H A Dregisters.h23 registers_set_initial(arch_registers_state_t *regs, struct thread *thread,
/barrelfish-master/lib/barrelfish/arch/arm/
H A Ddebug.c15 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 Ddispatch.c115 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 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/kernel/arch/armv7/
H A Dsyscall.c37 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 Ddispatch.c63 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 Ddispatch.c131 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 =

Completed in 203 milliseconds

123