Searched refs:pdom_id_free (Results 1 – 1 of 1) sorted by relevance
1799 static void pdom_id_free(int id) in pdom_id_free() function1846 pdom_id_free(gcr3_info->domid); in free_gcr3_table()1889 pdom_id_free(domid); in setup_gcr3_table()2440 pdom_id_free(domain->id); in protection_domain_free()2526 pdom_id_free(domain->id); in do_iommu_domain_alloc()