Home
last modified time | relevance | path

Searched refs:domain_vgic_free (Results 1 – 4 of 4) sorted by relevance

/xen/xen/arch/arm/vgic/
A Dvgic-init.c215 void domain_vgic_free(struct domain *d) in domain_vgic_free() function
/xen/xen/include/asm-arm/
A Dvgic.h340 void domain_vgic_free(struct domain *d);
/xen/xen/arch/arm/
A Dvgic.c180 void domain_vgic_free(struct domain *d) in domain_vgic_free() function
A Ddomain.c779 domain_vgic_free(d); in arch_domain_destroy()

Completed in 9 milliseconds