Searched defs:mmio_count (Results 1 – 3 of 3) sorted by relevance
730 int vgic_v2_init(struct domain *d, int *mmio_count) in vgic_v2_init()
96 int domain_vgic_register(struct domain *d, int *mmio_count) in domain_vgic_register()
1806 int vgic_v3_init(struct domain *d, int *mmio_count) in vgic_v3_init()
Completed in 8 milliseconds