Searched refs:__gic_get_ppi_index (Results 1 – 1 of 1) sorted by relevance
573 static u32 __gic_get_ppi_index(irq_hw_number_t hwirq) in __gic_get_ppi_index() function1771 ppi_idx = __gic_get_ppi_index(hwirq); in gic_irq_domain_select()1803 ppi_idx = __gic_get_ppi_index(ppi_intid); in partition_domain_translate()