vgic_find_mmio_region
region = vgic_find_mmio_region(its_registers,
region = vgic_find_mmio_region(its_registers,
region = vgic_find_mmio_region(iodev->regions, iodev->nr_regions,
vgic_find_mmio_region(const struct vgic_register_region *regions,