Lines Matching defs:range
110 * written by software is moved to the Non-secure range by the Distributor.
298 * Contrary to the ESPI range, the EPPI range is contiguous
299 * to the PPI range in the registers, so let's adjust the
571 enum gic_intid_range range;
578 range = get_intid_range(d);
581 if (range == SGI_RANGE)
585 if ((range == SPI_RANGE || range == ESPI_RANGE) &&
600 if (ret && (range == PPI_RANGE || range == EPPI_RANGE)) {
758 * actual priority in the non-secure range. In the process, it
791 /* Extended SPI range, not handled by the GICv2/GICv3 common code */
1716 * MSB bit set, to make it fit in the non-secure priority range.
1723 * be in the non-secure range, we use a different PMR value to mask IRQs