its_send_mapti   1375 drivers/irqchip/irq-gic-v3-its.c 	its_send_mapti(its_dev, d->hwirq, event);
its_send_mapti   2637 drivers/irqchip/irq-gic-v3-its.c 	its_send_mapti(its_dev, d->hwirq, event);
its_send_mapti   2762 drivers/irqchip/irq-gic-v3-its.c 	its_send_mapti(vpe_proxy.dev, vpe->vpe_db_lpi, vpe->vpe_proxy_event);