Searched refs:disp (Results 1 - 25 of 94) sorted by relevance

1234

/barrelfish-2018-10-04/include/barrelfish_kpi/
H A Ddispatcher_shared.h77 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 Ddispatcher_shared_target.h43 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 Ddispatcher_arch.h23 struct dispatcher_aarch64 *disp = (struct dispatcher_aarch64*)handle; local
24 return &disp->generic;
/barrelfish-2018-10-04/include/arch/arm/barrelfish/
H A Ddispatcher_arch.h23 struct dispatcher_arm *disp = (struct dispatcher_arm*)handle; local
24 return &disp->generic;
/barrelfish-2018-10-04/kernel/arch/armv8/
H A Ddispatch.c28 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 Ddispatcher_shared_target.h44 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 Ddispatch.c28 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 Ddispatch.c27 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 Ddispatch.c59 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 Ddispatch.c37 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 Ddispatch.c57 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 Ddispatch.c35 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 Dlock.c26 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 Dexn.c28 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 Ddispatch.c72 * \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 Dthread_sync.c51 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 Ddomain.c192 /* 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 Ddispatcher_target.h35 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 Ddispatcher_target.h37 struct dispatcher_x86_64 *disp = (struct dispatcher_x86_64*)handle; local
38 return &disp->generic;
/barrelfish-2018-10-04/kernel/
H A Dkcb.c90 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 Ddispatch.c84 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 Dvmkit.c40 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 Ddispatcher_shared_arch.h24 * \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 Ddispatcher_shared_arch.h23 * \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 Ddispatcher_shared_arch.h23 * \param disp Pointer to dispatcher
32 struct dispatcher_shared_generic *disp = local
36 return disp->disabled ||

Completed in 130 milliseconds

1234