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);