Searched refs:kvm_timer_vcpu_put (Results 1 – 2 of 2) sorted by relevance
647 void kvm_timer_vcpu_put(struct kvm_vcpu *vcpu) in kvm_timer_vcpu_put() function917 kvm_timer_vcpu_put(vcpu); in kvm_arm_timer_read_sysreg()956 kvm_timer_vcpu_put(vcpu); in kvm_arm_timer_write_sysreg()
429 kvm_timer_vcpu_put(vcpu); in kvm_arch_vcpu_put()