Lines Matching refs:core_id
195 * \param core_id new core running a dispatcher for the domain.
197 void domain_run_on_core(struct domain_entry *entry, coreid_t core_id)
200 assert(core_id < MAX_COREID);
206 entry->spawnds[core_id] = spawnd_state_get(core_id);
216 * \param core_id core that runs the new domain.
218 errval_t domain_spawn(struct domain_cap_node *cap_node, coreid_t core_id,
230 domain_run_on_core(entry, core_id);
239 * \param core_id new core which the domain spans.
241 errval_t domain_span(struct capref domain_cap, coreid_t core_id)
250 domain_run_on_core(entry, core_id);