Searched refs:exclaves_resource_alloc (Results 1 – 1 of 1) sorted by relevance
405 exclaves_resource_alloc(xnuproxy_resource_t type, const char *name, uint64_t id, in exclaves_resource_alloc() function578 exclaves_resource_t *resource = exclaves_resource_alloc(type, in exclaves_resource_init()