its_invall_vpe     95 include/linux/irqchip/arm-gic-v4.h int its_invall_vpe(struct its_vpe *vpe);
its_invall_vpe   1325 virt/kvm/arm/vgic/vgic-its.c 		its_invall_vpe(&vcpu->arch.vgic_cpu.vgic_v3.its_vpe);