Searched refs:SGI_RANGE (Results 1 – 2 of 2) sorted by relevance
25 SGI_RANGE, enumerator57 return SGI_RANGE; in get_intid_range()93 if (intid_range == SGI_RANGE || intid_range == PPI_RANGE) { in gicv3_config_irq()
139 SGI_RANGE, enumerator152 return SGI_RANGE; in __get_intid_range()181 case SGI_RANGE: in gic_irq_in_rdist()193 case SGI_RANGE: in gic_dist_base()290 case SGI_RANGE: in convert_offset_index()585 if (range == SGI_RANGE) in gic_set_type()615 if (get_intid_range(d) == SGI_RANGE) in gic_irq_set_vcpu_affinity()1364 case SGI_RANGE: in gic_irq_domain_map()
Completed in 8 milliseconds