Symbol: gic_ipi_send_mask
drivers/irqchip/irq-gic-v3.c
1379
static void gic_ipi_send_mask(struct irq_data *d, const struct cpumask *mask)
drivers/irqchip/irq-gic-v3.c
1472
#define gic_ipi_send_mask NULL
drivers/irqchip/irq-gic.c
820
static void gic_ipi_send_mask(struct irq_data *d, const struct cpumask *mask)
drivers/irqchip/irq-gic.c
877
#define gic_ipi_send_mask NULL