Lines Matching defs:dcb
120 struct dcb *dcb = cap->u.dispatcher.dcb;
123 scheduler_remove(dcb);
125 if (dcb_current == dcb) {
130 wakeup_remove(dcb);
133 if (monitor_ep.u.endpoint.listener == dcb) {
137 uintptr_t payload = dcb->domain_id;
146 caps_mark_revoke_generic(&dcb->cspace);
147 caps_mark_revoke_generic(&dcb->disp_cte);
254 ram.base = local_phys_to_gen_phys(mem_to_local_phys((lvaddr_t)cap->u.dispatcher.dcb));
678 struct dcb *dcb = cte->cap.u.dispatcher.dcb;
679 CHECK_SLOT(&dcb->cspace);
680 CHECK_SLOT(&dcb->disp_cte);