Searched refs:PPI_RANGE (Results 1 – 2 of 2) sorted by relevance
36 PPI_RANGE, enumerator83 return PPI_RANGE; in get_intid_range()
247 PPI_RANGE, enumerator261 return PPI_RANGE; in __get_intid_range()284 case PPI_RANGE: in gic_irq_in_rdist()329 case PPI_RANGE: in gic_dist_base()408 case PPI_RANGE: in convert_offset_index()728 if (ret && (range == PPI_RANGE || range == EPPI_RANGE)) { in gic_set_type()1558 case PPI_RANGE: in gic_irq_domain_map()