Searched refs:mmio_count (Results 1 – 4 of 4) sorted by relevance
217 int vgic_v2_init(struct domain *d, int *mmio_count);218 int vgic_v3_init(struct domain *d, int *mmio_count);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() argument102 if ( vgic_v3_init(d, mmio_count) ) in domain_vgic_register()107 if ( vgic_v2_init(d, mmio_count) ) in domain_vgic_register()
730 int vgic_v2_init(struct domain *d, int *mmio_count) in vgic_v2_init() argument740 *mmio_count = 1; /* Only GICD region */ in vgic_v2_init()
1806 int vgic_v3_init(struct domain *d, int *mmio_count) in vgic_v3_init() argument1817 *mmio_count = vgic_v3_rdist_count(d) + 1; in vgic_v3_init()1820 *mmio_count += vgic_v3_its_count(d); in vgic_v3_init()
Completed in 8 milliseconds