vgic_v2_restore_state  877 virt/kvm/arm/vgic/vgic.c 		vgic_v2_restore_state(vcpu);
vgic_v2_restore_state  200 virt/kvm/arm/vgic/vgic.h void vgic_v2_restore_state(struct kvm_vcpu *vcpu);