Searched refs:gicv2_ipi_send_mask (Results 1 – 3 of 3) sorted by relevance
39 extern void gicv2_ipi_send_mask(int irq, const cpumask_t *dest);
56 void gicv2_ipi_send_mask(int irq, const cpumask_t *dest) in gicv2_ipi_send_mask() function
32 .ipi_send_mask = gicv2_ipi_send_mask,