/barrelfish-2018-10-04/include/barrelfish_kpi/ |
H A D | dispatcher_shared.h | 77 static inline void dump_dispatcher(struct dispatcher_shared_generic *disp) argument 79 printf("Dump of dispatcher at address %p:\n", disp); 80 printf(" disabled = %d (%s)\n", disp->disabled, disp->disabled ? "RESUME" : "UPCALL" ); 81 printf(" haswork = %d\n", disp->haswork ); 82 printf(" udisp = 0x%"PRIxLVADDR"\n", disp->udisp ); 83 printf(" lmp_delivered = %d\n", disp->lmp_delivered ); 84 printf(" lmp_seen = %d\n", disp->lmp_seen ); 85 printf(" lpm_hint = 0x%"PRIxLVADDR"\n", disp->lmp_hint ); 86 printf(" dispatcher_run = 0x%"PRIxLVADDR"\n", disp [all...] |
/barrelfish-2018-10-04/include/target/x86_32/barrelfish_kpi/ |
H A D | dispatcher_shared_target.h | 43 struct dispatcher_shared_x86_32 *disp = local 45 return &disp->enabled_save_area; 51 struct dispatcher_shared_x86_32 *disp = local 53 return &disp->disabled_save_area; 59 struct dispatcher_shared_x86_32 *disp = local 61 return &disp->trap_save_area; 67 struct dispatcher_shared_x86_32 *disp = local 69 return &disp->enabled_fpu_state; 75 struct dispatcher_shared_x86_32 *disp = local 77 return &disp [all...] |
/barrelfish-2018-10-04/include/arch/aarch64/barrelfish/ |
H A D | dispatcher_arch.h | 23 struct dispatcher_aarch64 *disp = (struct dispatcher_aarch64*)handle; local 24 return &disp->generic;
|
/barrelfish-2018-10-04/include/arch/arm/barrelfish/ |
H A D | dispatcher_arch.h | 23 struct dispatcher_arm *disp = (struct dispatcher_arm*)handle; local 24 return &disp->generic;
|
/barrelfish-2018-10-04/kernel/arch/armv8/ |
H A D | dispatch.c | 28 struct dispatcher_shared_generic *disp = local 29 get_dispatcher_shared_generic(dcb->disp); 36 assert(dcb->disp != 0); 49 sysreg_write_tpidrro_el0((uint64_t)disp->udisp); 56 sysreg_write_tpidr_el1((uint64_t)disp);
|
/barrelfish-2018-10-04/include/target/x86_64/barrelfish_kpi/ |
H A D | dispatcher_shared_target.h | 44 struct dispatcher_shared_x86_64 *disp = local 46 return &disp->enabled_save_area; 52 struct dispatcher_shared_x86_64 *disp = local 54 return &disp->disabled_save_area; 60 struct dispatcher_shared_x86_64 *disp = local 62 return &disp->trap_save_area;
|
/barrelfish-2018-10-04/kernel/arch/armv7/ |
H A D | dispatch.c | 28 struct dispatcher_shared_generic *disp = local 29 get_dispatcher_shared_generic(dcb->disp); 36 assert(dcb->disp != 0); 66 arch_set_thread_register(disp->udisp);
|
/barrelfish-2018-10-04/kernel/arch/x86_32/ |
H A D | dispatch.c | 27 struct dispatcher_shared_generic *disp = local 28 get_dispatcher_shared_generic(dcb->disp); 35 assert(dcb->disp != 0); 63 arch_set_thread_register(disp->udisp);
|
/barrelfish-2018-10-04/lib/barrelfish/arch/aarch64/ |
H A D | dispatch.c | 59 disp_resume_context(struct dispatcher_shared_generic *disp, uint64_t *regs) argument 62 disp->disabled = 0; 126 * \param disp Current dispatcher pointer 134 struct dispatcher_shared_aarch64 *disp = local 148 assert_disabled(disp->d.disabled); 149 assert_disabled(disp->d.haswork); 152 ((struct disp_priv *)disp)->yieldcount = 0; 155 disp_resume_context(&disp->d, archregs->regs); 166 * \param disp Current dispatcher pointer 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-2018-10-04/lib/barrelfish/arch/x86_64/ |
H A D | dispatch.c | 37 struct dispatcher_shared_x86_64 *disp = local 41 disp->d.dispatcher_run = (lvaddr_t)run_entry; 42 disp->d.dispatcher_lrpc = (lvaddr_t)lrpc_entry; 43 disp->d.dispatcher_pagefault = (lvaddr_t)pagefault_entry; 44 disp->d.dispatcher_pagefault_disabled = (lvaddr_t)disabled_pagefault_entry; 45 disp->d.dispatcher_trap = (lvaddr_t)trap_entry; 47 disp->crit_pc_low = (lvaddr_t)disp_resume; 48 disp->crit_pc_high = (lvaddr_t)disp_resume_end; 60 * \param disp Current dispatcher pointer 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-2018-10-04/lib/barrelfish/arch/arm/ |
H A D | dispatch.c | 57 disp_resume_context(struct dispatcher_shared_generic *disp, uint32_t *regs) argument 110 * \param disp Current dispatcher pointer 118 struct dispatcher_shared_arm *disp = local 131 assert_disabled(disp->d.disabled); 132 assert_disabled(disp->d.haswork); 135 ((struct disp_priv *)disp)->yieldcount = 0; 137 disp_resume_context(&disp->d, archregs->regs); 148 * \param disp Current dispatcher pointer 156 struct dispatcher_shared_arm *disp = local 160 assert_disabled(disp 188 struct dispatcher_shared_arm *disp = local 213 struct dispatcher_shared_arm *disp = local 239 struct dispatcher_shared_arm *disp = local [all...] |
/barrelfish-2018-10-04/lib/barrelfish/arch/x86_32/ |
H A D | dispatch.c | 35 struct dispatcher_shared_x86_32 *disp = local 39 disp->d.dispatcher_run = (lvaddr_t)run_entry; 40 disp->d.dispatcher_pagefault = (lvaddr_t)pagefault_entry; 41 disp->d.dispatcher_pagefault_disabled = (lvaddr_t)disabled_pagefault_entry; 42 disp->d.dispatcher_trap = (lvaddr_t)trap_entry; 44 disp->crit_pc_low = (lvaddr_t)disp_resume; 45 disp->crit_pc_high = (lvaddr_t)disp_resume_end; 64 * \param disp Current dispatcher pointer 69 struct dispatcher_shared_generic *disp = local 72 assert_disabled(disp 133 struct dispatcher_shared_generic *disp = local 203 struct dispatcher_shared_generic *disp = local 255 struct dispatcher_shared_generic *disp = local [all...] |
/barrelfish-2018-10-04/lib/libc/sys/barrelfish/ |
H A D | lock.c | 26 struct dispatcher_shared_generic* disp = local 28 if (disp->disabled) { 29 disp->disabled = 0; 68 struct dispatcher_shared_generic* disp = local 70 if (disp->disabled) {
|
/barrelfish-2018-10-04/kernel/arch/arm/ |
H A D | exn.c | 28 struct dispatcher_shared_arm *disp) 35 assert((struct dispatcher_shared_arm *)(dcb_current->disp) == disp); 36 if (dispatcher_is_disabled_ip((dispatcher_handle_t)disp, save_area->named.pc)) { 37 assert(save_area == dispatcher_get_trap_save_area((dispatcher_handle_t)disp)); 40 assert(save_area == dispatcher_get_enabled_save_area((dispatcher_handle_t)disp)); 52 disp->d.name, fault_address, saved_pc); 55 handler = disp->d.dispatcher_pagefault_disabled; 58 handler = disp->d.dispatcher_pagefault; 80 resume_area.named.r0 = disp 26 handle_user_page_fault(lvaddr_t fault_address, arch_registers_state_t* save_area, struct dispatcher_shared_arm *disp) argument 94 handle_user_undef(lvaddr_t fault_address, arch_registers_state_t* save_area, struct dispatcher_shared_arm *disp) argument 270 handle_fiq(arch_registers_state_t* save_area, uintptr_t fault_pc, struct dispatcher_shared_generic *disp) argument 292 handle_irq(arch_registers_state_t* save_area, uintptr_t fault_pc, struct dispatcher_shared_arm *disp) argument [all...] |
/barrelfish-2018-10-04/lib/barrelfish/ |
H A D | dispatch.c | 72 * \param disp Dispatcher 88 struct dispatcher_shared_generic* disp = local 91 assert_disabled(disp->disabled); 100 trigger_deferred_events_disabled(handle, disp->systime); 104 if (disp->lmp_delivered != disp->lmp_seen) { 146 struct dispatcher_shared_generic* disp = local 153 disp->lmp_hint = (lvaddr_t)&ep->k - (lvaddr_t)handle; 164 * \param disp Dispatcher 170 struct dispatcher_shared_generic* disp local 198 struct dispatcher_shared_generic* disp = local 229 struct dispatcher_shared_generic* disp = local 250 struct dispatcher_shared_generic* disp = local 269 struct dispatcher_shared_generic* disp = local 286 struct dispatcher_shared_generic* disp = local 303 struct dispatcher_shared_generic* disp = local 324 struct dispatcher_shared_generic* disp = local 407 struct dispatcher_shared_generic *disp = local 452 struct dispatcher_shared_generic* disp = local [all...] |
H A D | thread_sync.c | 51 dispatcher_handle_t disp = disp_disable(); local 60 struct thread *wakeup = thread_mutex_unlock_disabled(disp, mutex); 63 errval_t err = domain_wakeup_on_disabled(wakeup->disp, wakeup, disp); 69 thread_block_and_release_spinlock_disabled(disp, &cond->queue, &cond->lock); 97 dispatcher_handle_t disp = disp_disable(); local 100 wakeup = thread_unblock_one_disabled(disp, &cond->queue, NULL); 102 err = domain_wakeup_on_disabled(wakeup->disp, wakeup, disp); 106 disp_enable(disp); 135 dispatcher_handle_t disp = disp_disable(); local 318 dispatcher_handle_t disp = disp_disable(); local 353 dispatcher_handle_t disp = disp_disable(); local 378 dispatcher_handle_t disp = disp_disable(); local 399 dispatcher_handle_t disp = disp_disable(); local [all...] |
H A D | domain.c | 192 /* assert_disabled(wakeup->disp == handle); */ 194 wakeup->disp = handle; 386 * \brief Called on the inter-disp handler thread, when another thread 400 dispatcher_handle_t disp = disp_disable(); local 404 disp_enable(disp); 412 /* coreid_t core_id = disp_handle_get_core_id(thread->disp); */ 505 dispatcher_handle_t disp = thread->disp; local 508 disp_init_disabled(disp); 511 thread_init_remote(disp, threa 688 struct dispatcher_shared_generic *disp = local 893 domain_wakeup_on_disabled(dispatcher_handle_t disp, struct thread *thread, dispatcher_handle_t mydisp) argument 905 domain_wakeup_on(dispatcher_handle_t disp, struct thread *thread) argument 919 struct dispatcher_shared_generic *disp = local 1061 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1076 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1095 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1110 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1120 struct dispatcher_shared_generic* disp = get_dispatcher_shared_generic(handle); local 1130 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1139 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1146 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1156 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1166 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1182 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1193 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1203 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1213 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1223 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1233 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1243 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1253 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1263 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1273 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1283 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1293 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1303 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1314 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1324 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1334 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1341 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1352 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1363 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1373 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1383 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1393 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1403 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1413 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local 1423 struct dispatcher_generic* disp = get_dispatcher_generic(handle); local [all...] |
/barrelfish-2018-10-04/include/target/x86_32/barrelfish/ |
H A D | dispatcher_target.h | 35 struct dispatcher_x86_32 *disp = (struct dispatcher_x86_32*)handle; local 36 return &disp->generic;
|
/barrelfish-2018-10-04/include/target/x86_64/barrelfish/ |
H A D | dispatcher_target.h | 37 struct dispatcher_x86_64 *disp = (struct dispatcher_x86_64*)handle; local 38 return &disp->generic;
|
/barrelfish-2018-10-04/kernel/ |
H A D | kcb.c | 90 struct dispatcher_shared_generic *disp = local 91 get_dispatcher_shared_generic(d->disp); 92 disp->curr_core_id = my_core_id; 103 struct dispatcher_shared_generic *disp = local 104 get_dispatcher_shared_generic(d->disp); 105 disp->curr_core_id = my_core_id; 113 struct dispatcher_shared_generic *disp = local 114 get_dispatcher_shared_generic(cap->u.endpoint.listener->disp); 115 disp->curr_core_id = my_core_id;
|
H A D | dispatch.c | 84 dispatcher_handle_t handle = dcb->disp; 85 struct dispatcher_shared_generic *disp = local 90 if (disp != NULL) { 91 disp->systime = systime_now() + kcb_current->kernel_off; 96 if (disp != NULL) { 98 DISP_NAME_LEN, disp->name, 100 disp->disabled ? "disp->disabled" : "disp->enabled" 114 if (disp ! [all...] |
/barrelfish-2018-10-04/kernel/arch/x86_64/ |
H A D | vmkit.c | 40 dispatcher_handle_t handle = dcb->disp; 41 struct dispatcher_shared_generic *disp = get_dispatcher_shared_generic(handle); local 45 ctrl->regs.rdi = disp->udisp; 51 amd_vmcb_rip_wr(&vmcb, disp->dispatcher_run); 59 vmwrite(VMX_GUEST_RIP, disp->dispatcher_run);
|
/barrelfish-2018-10-04/include/arch/aarch64/barrelfish_kpi/ |
H A D | dispatcher_shared_arch.h | 24 * \param disp Pointer to dispatcher 32 struct dispatcher_shared_generic *disp = local 37 return disp->disabled ||
|
/barrelfish-2018-10-04/include/arch/arm/barrelfish_kpi/ |
H A D | dispatcher_shared_arch.h | 23 * \param disp Pointer to dispatcher 31 struct dispatcher_shared_generic *disp = local 36 return disp->disabled ||
|
/barrelfish-2018-10-04/include/arch/x86_64/barrelfish_kpi/ |
H A D | dispatcher_shared_arch.h | 23 * \param disp Pointer to dispatcher 32 struct dispatcher_shared_generic *disp = local 36 return disp->disabled ||
|