Lines Matching defs:dispatcher
388 * \brief Setup a dispatcher, possibly making it runnable
390 * \param dispatcher Address of dispatcher capability relative to own
392 * \param domdispatcher Address of existing dispatcher for domain ID relative
394 * \param cspace Root of CSpace for new dispatcher relative to own
396 * \param vspace Root of VSpace for new dispatcher relative to cspace
397 * for new dispatcher.
398 * \param dispframe Frame capability for dispatcher structure relative to
399 * cspace for new dispatcher.
408 invoke_dispatcher(struct capref dispatcher, struct capref domdispatcher,
412 assert(get_croot_addr(dispatcher) == CPTR_ROOTCN);
424 return cap_invoke7(dispatcher, DispatcherCmd_Setup, root_caddr,
430 invoke_dispatcher_properties(struct capref dispatcher,
435 return cap_invoke7(dispatcher, DispatcherCmd_Properties, type, deadline,