Searched refs:cap_node (Results 1 - 4 of 4) sorted by relevance

/barrelfish-2018-10-04/usr/proc_mgmt/
H A Ddomain.h43 struct domain_cap_node *cap_node; member in struct:domain_entry
68 errval_t domain_new(struct domain_cap_node *cap_node, const char* argbuf,
70 errval_t domain_spawn(struct domain_cap_node *cap_node, coreid_t core_id,
H A Dpending_clients.h33 struct domain_cap_node *cap_node; member in struct:pending_spawn
H A Ddomain.c93 * \param cap_node preallocated domain cap node.
96 errval_t domain_new(struct domain_cap_node *cap_node, const char* argbuf, argument
107 entry->cap_node = cap_node;
128 collections_hash_insert(domain_table, cap_node->hash, entry);
215 * \param cap_node preallocated capability node for the new domain.
218 errval_t domain_spawn(struct domain_cap_node *cap_node, coreid_t core_id, argument
222 errval_t err = domain_new(cap_node, argbuf, argbytes, &entry);
H A Dservice.c89 err = domain_spawn(spawn->cap_node, spawn->core_id, spawn->argvbuf,
94 err, spawn->cap_node->domain_cap);
97 NOP_CONT, err, spawn->cap_node->domain_cap);
227 spawn->cap_node->domain_cap,
238 spawn->cap_node->domain_cap,
371 struct domain_cap_node *cap_node = next_cap_node(); local
375 spawn->cap_node = cap_node;

Completed in 39 milliseconds