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);