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