Symbol: its_vpe_4_1_send_inv
drivers/irqchip/irq-gic-v3-its.c
4228
its_vpe_4_1_send_inv(d);
drivers/irqchip/irq-gic-v3-its.c
4234
its_vpe_4_1_send_inv(d);