Searched refs:PPI_RANGE (Results 1 – 2 of 2) sorted by relevance
140 PPI_RANGE, enumerator154 return PPI_RANGE; in __get_intid_range()182 case PPI_RANGE: in gic_irq_in_rdist()194 case PPI_RANGE: in gic_dist_base()291 case PPI_RANGE: in convert_offset_index()476 case PPI_RANGE: in __gic_get_ppi_index()604 if (ret && (range == PPI_RANGE || range == EPPI_RANGE)) { in gic_set_type()1450 case PPI_RANGE: in gic_irq_domain_map()1602 if (range != PPI_RANGE && range != EPPI_RANGE) in fwspec_is_partitioned_ppi()
27 PPI_RANGE, enumerator68 return PPI_RANGE; in get_intid_range()
