Symbol: its_send_vpe_cmd
drivers/irqchip/irq-gic-v4.c
252
ret = its_send_vpe_cmd(vpe, &info);
drivers/irqchip/irq-gic-v4.c
277
ret = its_send_vpe_cmd(vpe, &info);
drivers/irqchip/irq-gic-v4.c
293
ret = its_send_vpe_cmd(vpe, &info);
drivers/irqchip/irq-gic-v4.c
307
return its_send_vpe_cmd(vpe, &info);