Searched refs:domain_vgic_init (Results 1 – 4 of 4) sorted by relevance
129 int domain_vgic_init(struct domain *d, unsigned int nr_spis) in domain_vgic_init() function
339 int domain_vgic_init(struct domain *d, unsigned int nr_spis);
120 int domain_vgic_init(struct domain *d, unsigned int nr_spis) in domain_vgic_init() function
731 if ( (rc = domain_vgic_init(d, config->arch.nr_spis)) != 0 ) in arch_domain_create()
Completed in 7 milliseconds