Lines Matching defs:dispatcher
416 * \brief Setup a dispatcher, possibly making it runnable
418 * \param dispatcher Address of dispatcher capability
419 * \param domdispatcher Address of existing dispatcher for domain ID
420 * \param cspace_root Root of CSpace for new dispatcher
422 * \param vspace_root Root of VSpace for new dispatcher
423 * \param dispatcher_frame Frame capability for dispatcher structure
437 invoke_dispatcher(struct capref dispatcher, struct capref domdispatcher,
446 uint8_t invoke_bits = get_cap_valid_bits(dispatcher);
447 capaddr_t invoke_cptr = get_cap_addr(dispatcher) >> (CPTR_BITS - invoke_bits);
461 static inline errval_t invoke_dispatcher_setup_guest(struct capref dispatcher,
610 invoke_dispatcher_properties(struct capref dispatcher,
615 uint8_t invoke_bits = get_cap_valid_bits(dispatcher);
616 capaddr_t invoke_cptr = get_cap_addr(dispatcher) >> (CPTR_BITS - invoke_bits);