its_send_int      861 drivers/irqchip/irq-gic-v3-its.c static void its_send_int(struct its_device *dev, u32 event_id)
its_send_int     1212 drivers/irqchip/irq-gic-v3-its.c 		its_send_int(its_dev, event);
its_send_int     2980 drivers/irqchip/irq-gic-v3-its.c 			its_vpe_send_cmd(vpe, its_send_int);