its_vinvall_cmd   272 drivers/irqchip/irq-gic-v3-its.c 		} its_vinvall_cmd;
its_vinvall_cmd   586 drivers/irqchip/irq-gic-v3-its.c 	its_encode_vpeid(cmd, desc->its_vinvall_cmd.vpe->vpe_id);
its_vinvall_cmd   590 drivers/irqchip/irq-gic-v3-its.c 	return valid_vpe(its, desc->its_vinvall_cmd.vpe);
its_vinvall_cmd  1041 drivers/irqchip/irq-gic-v3-its.c 	desc.its_vinvall_cmd.vpe = vpe;