its_send_vpe_cmd 149 drivers/irqchip/irq-gic-v4.c return its_send_vpe_cmd(vpe, &info); its_send_vpe_cmd 158 drivers/irqchip/irq-gic-v4.c return its_send_vpe_cmd(vpe, &info);