Searched refs:gic_get_ppi_index (Results 1 – 1 of 1) sorted by relevance
482 static u32 gic_get_ppi_index(struct irq_data *d) in gic_get_ppi_index() function508 u32 idx = gic_get_ppi_index(d); in gic_irq_nmi_setup()545 u32 idx = gic_get_ppi_index(d); in gic_irq_nmi_teardown()
