Searched refs:domain_id_free (Results 1 – 1 of 1) sorted by relevance
1488 static void domain_id_free(int id) in domain_id_free() function1991 domain_id_free(domain->id); in protection_domain_free()2011 domain_id_free(domain->id); in protection_domain_init_v1()2032 domain_id_free(domain->id); in protection_domain_init_v2()2078 domain_id_free(domain->id); in protection_domain_alloc()
