Symbol: vgic_v2_restore_state
arch/arm64/kvm/vgic/vgic.c
1044
vgic_v2_restore_state(vcpu);
arch/arm64/kvm/vgic/vgic.h
301
void vgic_v2_restore_state(struct kvm_vcpu *vcpu);