Searched defs:cap_node (Results 1 - 4 of 4) sorted by relevance
| /barrelfish-master/usr/proc_mgmt/ | ||
| H A D | domain.h | 43 struct domain_cap_node *cap_node; member in struct:domain_entry |
| H A D | domain.c | 96 errval_t domain_new(struct domain_cap_node *cap_node, const char* argbuf, argument 218 errval_t domain_spawn(struct domain_cap_node *cap_node, coreid_t core_id, argument |
| H A D | pending_clients.h | 33 struct domain_cap_node *cap_node; member in struct:pending_spawn |
| H A D | service.c | 379 struct domain_cap_node *cap_node = next_cap_node(); local |
Completed in 74 milliseconds