its_send_mapd    2462 drivers/irqchip/irq-gic-v3-its.c 	its_send_mapd(dev, 1);
its_send_mapd    2685 drivers/irqchip/irq-gic-v3-its.c 		its_send_mapd(its_dev, 0);