Symbol: its_send_mapd
drivers/irqchip/irq-gic-v3-its.c
3539
its_send_mapd(dev, 1);
drivers/irqchip/irq-gic-v3-its.c
3651
its_send_mapd(its_dev, 0);