kvm_timer_vcpu_init   73 include/kvm/arm_arch_timer.h void kvm_timer_vcpu_init(struct kvm_vcpu *vcpu);
kvm_timer_vcpu_init  348 virt/kvm/arm/arm.c 	kvm_timer_vcpu_init(vcpu);