kvm_timer_vcpu_put   91 include/kvm/arm_arch_timer.h void kvm_timer_vcpu_put(struct kvm_vcpu *vcpu);
kvm_timer_vcpu_put  837 virt/kvm/arm/arch_timer.c 	kvm_timer_vcpu_put(vcpu);
kvm_timer_vcpu_put  876 virt/kvm/arm/arch_timer.c 	kvm_timer_vcpu_put(vcpu);
kvm_timer_vcpu_put  416 virt/kvm/arm/arm.c 	kvm_timer_vcpu_put(vcpu);