kvm_timer_enable   71 include/kvm/arm_arch_timer.h int kvm_timer_enable(struct kvm_vcpu *vcpu);
kvm_timer_enable  594 virt/kvm/arm/arm.c 	ret = kvm_timer_enable(vcpu);