Symbol: its_vpe_send_cmd
drivers/irqchip/irq-gic-v3-its.c
4126
its_vpe_send_cmd(vpe, its_send_inv);
drivers/irqchip/irq-gic-v3-its.c
4169
its_vpe_send_cmd(vpe, its_send_int);
drivers/irqchip/irq-gic-v3-its.c
4171
its_vpe_send_cmd(vpe, its_send_clear);