Symbol: its_send_inv
drivers/irqchip/irq-gic-v3-its.c
1596
its_send_inv(its_dev, its_get_event_id(d));
drivers/irqchip/irq-gic-v3-its.c
4126
its_vpe_send_cmd(vpe, its_send_inv);