kvm_timer_vcpu_reset   85 arch/arm/kvm/reset.c 	return kvm_timer_vcpu_reset(vcpu);
kvm_timer_vcpu_reset  335 arch/arm64/kvm/reset.c 	ret = kvm_timer_vcpu_reset(vcpu);
kvm_timer_vcpu_reset   72 include/kvm/arm_arch_timer.h int kvm_timer_vcpu_reset(struct kvm_vcpu *vcpu);