Searched defs:domain_vgic_free (Results 1 – 2 of 2) sorted by relevance

/xen/xen/arch/arm/vgic/
A D	vgic-init.c	215 void domain_vgic_free(struct domain *d) in domain_vgic_free() function
/xen/xen/arch/arm/
A D	vgic.c	180 void domain_vgic_free(struct domain *d) in domain_vgic_free() function

Completed in 4 milliseconds

Last Index update Sat Jun 03 09:59:21 CST 2023