Searched refs:__gic_get_ppi_index (Results 1 – 1 of 1) sorted by relevance
510 static u32 __gic_get_ppi_index(irq_hw_number_t hwirq) in __gic_get_ppi_index() function524 return __gic_get_ppi_index(d->hwirq); in gic_get_ppi_index()1712 ppi_idx = __gic_get_ppi_index(hwirq); in gic_irq_domain_select()1744 ppi_idx = __gic_get_ppi_index(ppi_intid); in partition_domain_translate()