| /barrelfish-master/kernel/arch/armv7/ |
| H A D | dispatch.c | 28 struct dispatcher_shared_generic *disp = local
|
| /barrelfish-master/kernel/arch/armv8/ |
| H A D | dispatch.c | 28 struct dispatcher_shared_generic *disp = local
|
| /barrelfish-master/kernel/arch/x86_32/ |
| H A D | dispatch.c | 27 struct dispatcher_shared_generic *disp = local
|
| /barrelfish-master/include/arch/aarch64/barrelfish/ |
| H A D | dispatcher_arch.h | 23 struct dispatcher_aarch64 *disp = (struct dispatcher_aarch64*)handle; local
|
| /barrelfish-master/include/arch/arm/barrelfish/ |
| H A D | dispatcher_arch.h | 23 struct dispatcher_arm *disp = (struct dispatcher_arm*)handle; local
|
| /barrelfish-master/include/arch/aarch64/barrelfish_kpi/ |
| H A D | dispatcher_shared_arch.h | 32 struct dispatcher_shared_generic *disp = local
|
| /barrelfish-master/include/target/x86_64/barrelfish/ |
| H A D | dispatcher_target.h | 37 struct dispatcher_x86_64 *disp = (struct dispatcher_x86_64*)handle; local
|
| /barrelfish-master/include/arch/arm/barrelfish_kpi/ |
| H A D | dispatcher_shared_arch.h | 31 struct dispatcher_shared_generic *disp = local
|
| /barrelfish-master/include/target/x86_32/barrelfish/ |
| H A D | dispatcher_target.h | 35 struct dispatcher_x86_32 *disp = (struct dispatcher_x86_32*)handle; local
|
| /barrelfish-master/kernel/arch/x86_64/ |
| H A D | vmkit.c | 41 struct dispatcher_shared_generic *disp = get_dispatcher_shared_generic(handle); local
|
| /barrelfish-master/include/arch/x86_64/barrelfish_kpi/ |
| H A D | dispatcher_shared_arch.h | 32 struct dispatcher_shared_generic *disp = local
|
| /barrelfish-master/kernel/ |
| H A D | kcb.c | 90 struct dispatcher_shared_generic *disp = local
103 struct dispatcher_shared_generic *disp = local
113 struct dispatcher_shared_generic *disp = local
|
| H A D | sys_debug.c | 116 struct dispatcher_shared_generic *disp = local
|
| /barrelfish-master/include/target/x86_64/barrelfish_kpi/ |
| H A D | dispatcher_shared_target.h | 44 struct dispatcher_shared_x86_64 *disp = local
52 struct dispatcher_shared_x86_64 *disp = local
60 struct dispatcher_shared_x86_64 *disp = local
|
| /barrelfish-master/lib/barrelfish/arch/aarch64/ |
| H A D | dispatch.c | 59 disp_resume_context(struct dispatcher_shared_generic *disp, uint64_t *regs) argument
134 struct dispatcher_shared_aarch64 *disp = local
174 struct dispatcher_shared_aarch64 *disp local
206 struct dispatcher_shared_aarch64 *disp = local
231 struct dispatcher_shared_aarch64 *disp = local
257 struct dispatcher_shared_aarch64 *disp = local
[all...] |
| /barrelfish-master/include/arch/x86_32/barrelfish_kpi/ |
| H A D | dispatcher_shared_arch.h | 31 struct dispatcher_shared_generic *disp = local
|
| /barrelfish-master/lib/barrelfish/arch/arm/ |
| H A D | dispatch.c | 57 disp_resume_context(struct dispatcher_shared_generic *disp, uint32_t *regs) argument
118 struct dispatcher_shared_arm *disp = local
156 struct dispatcher_shared_arm *disp = local
188 struct dispatcher_shared_arm *disp = local
213 struct dispatcher_shared_arm *disp = local
239 struct dispatcher_shared_arm *disp = local
[all...] |
| /barrelfish-master/lib/libc/sys/barrelfish/ |
| H A D | lock.c | 26 struct dispatcher_shared_generic* disp = local
68 struct dispatcher_shared_generic* disp = local
|
| /barrelfish-master/lib/trace/ |
| H A D | trace.c | 58 struct dispatcher_generic *disp = get_dispatcher_generic(handle); local
70 struct dispatcher_generic *disp = get_dispatcher_generic(handle); local
|
| /barrelfish-master/lib/barrelfish/arch/x86_64/ |
| H A D | dispatch.c | 37 struct dispatcher_shared_x86_64 *disp = local
65 struct dispatcher_shared_generic *disp local
149 struct dispatcher_shared_generic *disp = local
222 struct dispatcher_shared_generic *disp = local
277 struct dispatcher_shared_generic *disp = local
[all...] |
| /barrelfish-master/include/target/x86_32/barrelfish_kpi/ |
| H A D | dispatcher_shared_target.h | 43 struct dispatcher_shared_x86_32 *disp = local
51 struct dispatcher_shared_x86_32 *disp = local
59 struct dispatcher_shared_x86_32 *disp = local
67 struct dispatcher_shared_x86_32 *disp = local
75 struct dispatcher_shared_x86_32 *disp = local
[all...] |
| /barrelfish-master/lib/barrelfish/arch/x86_32/ |
| H A D | dispatch.c | 35 struct dispatcher_shared_x86_32 *disp = local
69 struct dispatcher_shared_generic *disp = local
133 struct dispatcher_shared_generic *disp = local
203 struct dispatcher_shared_generic *disp = local
255 struct dispatcher_shared_generic *disp = local
[all...] |
| /barrelfish-master/lib/libc/compat-43/ |
| H A D | sigcompat.c | 152 (*sigset(int sig, void (*disp)(int)))(int) argument
|
| /barrelfish-master/kernel/arch/arm/ |
| H A D | exn.c | 25 handle_user_page_fault(lvaddr_t fault_address, arch_registers_state_t* save_area, struct dispatcher_shared_arm *disp) argument
93 handle_user_undef(lvaddr_t fault_address, arch_registers_state_t* save_area, struct dispatcher_shared_arm *disp) argument
269 handle_fiq(arch_registers_state_t* save_area, uintptr_t fault_pc, struct dispatcher_shared_generic *disp) argument
291 handle_irq(arch_registers_state_t* save_area, uintptr_t fault_pc, struct dispatcher_shared_arm *disp) argument
[all...] |
| H A D | irq.c | 133 struct dispatcher_shared_generic *disp = local
171 struct dispatcher_shared_generic *disp = local
|