Searched refs:domain_vgic_free (Results 1 – 3 of 3) sorted by relevance
202 extern void domain_vgic_free(struct domain *d);
172 void domain_vgic_free(struct domain *d) in domain_vgic_free() function
690 domain_vgic_free(d); in arch_domain_destroy()
Completed in 5 milliseconds