Searched refs:PPI_RANGE (Results 1 – 1 of 1) sorted by relevance
105 PPI_RANGE, enumerator117 return PPI_RANGE; in __get_intid_range()144 return range == PPI_RANGE || range == EPPI_RANGE; in gic_irq_in_rdist()150 case PPI_RANGE: in gic_dist_base()246 case PPI_RANGE: in convert_offset_index()428 case PPI_RANGE: in gic_get_ppi_index()554 if (ret && (range == PPI_RANGE || range == EPPI_RANGE)) { in gic_set_type()1247 case PPI_RANGE: in gic_irq_domain_map()
