Searched refs:domain_free (Results 1 – 4 of 4) sorted by relevance
143 void (*domain_free)(struct domain *d); member
724 .domain_free = vgic_v2_domain_free,
191 d->arch.vgic.handler->domain_free(d); in domain_vgic_free()
1795 .domain_free = vgic_v3_domain_free,
Completed in 8 milliseconds