its_send_inv     1098 drivers/irqchip/irq-gic-v3-its.c 	its_send_inv(its_dev, its_get_event_id(d));
its_send_inv     2935 drivers/irqchip/irq-gic-v3-its.c 		its_vpe_send_cmd(vpe, its_send_inv);