Searched refs:domain_id_alloc (Results 1 – 1 of 1) sorted by relevance
1842 static u16 domain_id_alloc(void) in domain_id_alloc() function2435 domain->id = domain_id_alloc(); in protection_domain_init()