Symbol: vgic_v3_flush_nested
arch/arm64/kvm/vgic/vgic.c
1076
vgic_v3_flush_nested(vcpu);
arch/arm64/kvm/vgic/vgic.h
450
void vgic_v3_flush_nested(struct kvm_vcpu *vcpu);