Searched refs:mmio_count (Results 1 – 5 of 5) sorted by relevance
292 int vgic_v2_init(struct domain *d, int *mmio_count);293 int vgic_v3_init(struct domain *d, int *mmio_count);338 int domain_vgic_register(struct domain *d, int *mmio_count);
104 int domain_vgic_register(struct domain *d, int *mmio_count) in domain_vgic_register() argument109 *mmio_count = 1; in domain_vgic_register()
97 int domain_vgic_register(struct domain *d, int *mmio_count) in domain_vgic_register() argument103 if ( vgic_v3_init(d, mmio_count) ) in domain_vgic_register()108 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()
1812 int vgic_v3_init(struct domain *d, int *mmio_count) in vgic_v3_init() argument1823 *mmio_count = vgic_v3_max_rdist_count(d) + 1; in vgic_v3_init()1826 *mmio_count += vgic_v3_its_count(d); in vgic_v3_init()
Completed in 9 milliseconds