vgic_its_inv_lpi
return vgic_its_inv_lpi(kvm, ite->irq);
vgic_its_inv_lpi(vcpu->kvm, irq);
int vgic_its_inv_lpi(struct kvm *kvm, struct vgic_irq *irq);