Searched refs:cap_node (Results 1 - 4 of 4) sorted by relevance
/barrelfish-2018-10-04/usr/proc_mgmt/ |
H A D | domain.h | 43 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 D | pending_clients.h | 33 struct domain_cap_node *cap_node; member in struct:pending_spawn
|
H A D | domain.c | 93 * \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 D | service.c | 89 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