Searched refs:kernel_domain (Results 1 – 1 of 1) sorted by relevance
440 exclaves_resource_domain_t *kernel_domain = lookup_domain(EXCLAVES_DOMAIN_KERNEL); in exclaves_resource_insert_id_table() local441 table_put(kernel_domain->d_table_id, &id, sizeof(id), id_item); in exclaves_resource_insert_id_table()