kvm_reset_vcpu     41 arch/arm/kvm/reset.c int kvm_reset_vcpu(struct kvm_vcpu *vcpu)
kvm_reset_vcpu    258 arch/arm64/kvm/reset.c int kvm_reset_vcpu(struct kvm_vcpu *vcpu)