Lines Matching defs:dispatcher
779 struct dcb *dcb = to->u.dispatcher.dcb;
797 struct dcb *dcb = to->u.dispatcher.dcb;
815 struct dcb *dcb = to->u.dispatcher.dcb;
829 struct dcb *dcb = to->u.dispatcher.dcb;
841 struct dcb *dcb = to->u.dispatcher.dcb;
1125 struct dcb *dispatcher = cap->u.dispatcher.dcb;
1127 paging_dump_tables_around(dispatcher, vaddr);
1139 struct dcb *dispatcher = cap->u.dispatcher.dcb;
1141 errval_t err = debug_print_cababilities(dispatcher);
1662 // save calling dispatcher's registers, so that when the dispatcher
1735 // Yield the CPU to the next dispatcher