Searched refs:__gic_get_ppi_index (Results 1 – 1 of 1) sorted by relevance
470 static u32 __gic_get_ppi_index(irq_hw_number_t hwirq) in __gic_get_ppi_index() function484 return __gic_get_ppi_index(d->hwirq); in gic_get_ppi_index()1543 ppi_idx = __gic_get_ppi_index(hwirq); in gic_irq_domain_select()1575 ppi_idx = __gic_get_ppi_index(ppi_intid); in partition_domain_translate()
