Lines Matching defs:region
712 * redistributor region, in which case we will come back to this
778 * vgic_v3_insert_redist_region - Insert a new redistributor region
780 * Performs various checks before inserting the rdist region in the list.
781 * Those tests depend on whether the size of the rdist region is known
782 * (ie. count != 0). The list is sorted by rdist region index.
785 * @index: redist region index
786 * @base: base of the new rdist region
787 * @count: number of redistributors the region is made of (0 in the old style
788 * single region, whose size is induced from the number of vcpus)
801 /* single rdist region already set ?*/
818 /* Cannot add an explicitly sized regions after legacy region */
824 * For legacy single-region redistributor regions (!count),
825 * check that the redistributor region does not overlap with the
832 /* collision with any other rdist region? */
879 const struct vgic_register_region *region;
919 region = vgic_get_mmio_region(vcpu, &iodev, addr, sizeof(u32));
920 if (!region)