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;