Searched refs:domain_id_alloc (Results 1 – 1 of 1) sorted by relevance
1643 static u16 domain_id_alloc(void) in domain_id_alloc() function1747 gcr3_info->domid = domain_id_alloc(); in setup_gcr3_table()2276 domain->id = domain_id_alloc(); in protection_domain_alloc()