Searched refs:SPI_RANGE (Results 1 – 2 of 2) sorted by relevance
37 SPI_RANGE, enumerator85 return SPI_RANGE; in get_intid_range()193 cpu_or_dist = (intid_range == SPI_RANGE) ? DIST_BIT : cpu; in gicv3_access_reg()228 GUEST_ASSERT(get_intid_range(intid) == SPI_RANGE); in gicv3_irq_set_config()235 bool is_spi = get_intid_range(intid) == SPI_RANGE; in gicv3_irq_enable()244 bool is_spi = get_intid_range(intid) == SPI_RANGE; in gicv3_irq_disable()301 cpu_or_dist = (get_intid_range(intid) == SPI_RANGE) ? DIST_BIT : guest_get_vcpuid(); in gicv3_set_group()
248 SPI_RANGE, enumerator263 return SPI_RANGE; in __get_intid_range()310 case SPI_RANGE: in gic_dist_base_alias()334 case SPI_RANGE: in gic_dist_base()409 case SPI_RANGE: in convert_offset_index()665 return (range == SPI_RANGE || range == ESPI_RANGE) && in gic_arm64_erratum_2941627_needed()716 if ((range == SPI_RANGE || range == ESPI_RANGE) && in gic_set_type()1565 case SPI_RANGE: in gic_irq_domain_map()