Searched refs:gicv3_ipi_send_mask (Results 1 – 3 of 3) sorted by relevance
73 void gicv3_ipi_send_mask(int irq, const cpumask_t *dest) in gicv3_ipi_send_mask() function155 gicv3_ipi_send_mask(irq, &dest); in gicv3_ipi_send_single()
41 .ipi_send_mask = gicv3_ipi_send_mask,
99 extern void gicv3_ipi_send_mask(int irq, const cpumask_t *dest);