Searched refs:domain_vgic_register (Results 1 – 3 of 3) sorted by relevance
220 extern int domain_vgic_register(struct domain *d, int *mmio_count);
96 int domain_vgic_register(struct domain *d, int *mmio_count) in domain_vgic_register() function
639 if ( (rc = domain_vgic_register(d, &count)) != 0 ) in arch_domain_create()
Completed in 6 milliseconds