Symbol: vgic_v3_sync_nested
arch/arm64/kvm/vgic/vgic.c
1016
vgic_v3_sync_nested(vcpu);
arch/arm64/kvm/vgic/vgic.h
451
void vgic_v3_sync_nested(struct kvm_vcpu *vcpu);