Lines Matching refs:range
130 * written by software is moved to the Non-secure range by the Distributor.
315 * Contrary to the ESPI range, the EPPI range is contiguous
316 * to the PPI range in the registers, so let's adjust the
593 enum gic_intid_range range;
600 range = get_intid_range(d);
602 if (range == SGI_RANGE) {
607 if ((range == SPI_RANGE || range == ESPI_RANGE) && type != IRQ_TYPE_LEVEL_HIGH && type != IRQ_TYPE_EDGE_RISING) {
622 if (ret && (range == PPI_RANGE || range == EPPI_RANGE)) {
787 * actual priority in the non-secure range. In the process, it
821 /* Extended SPI range, not handled by the GICv2/GICv3 common code */
1712 * MSB bit set, to make it fit in the non-secure priority range.
1719 * be in the non-secure range, we use a different PMR value to mask IRQs