__vgic_v3_restore_state  106 arch/arm/include/asm/kvm_hyp.h void __vgic_v3_restore_state(struct kvm_vcpu *vcpu);
__vgic_v3_restore_state   92 arch/arm/kvm/hyp/switch.c 		__vgic_v3_restore_state(vcpu);
__vgic_v3_restore_state   53 arch/arm64/include/asm/kvm_hyp.h void __vgic_v3_restore_state(struct kvm_vcpu *vcpu);
__vgic_v3_restore_state  241 arch/arm64/kvm/hyp/switch.c 		__vgic_v3_restore_state(vcpu);
__vgic_v3_restore_state  879 virt/kvm/arm/vgic/vgic.c 		__vgic_v3_restore_state(vcpu);