Searched refs:kvm_timer_sync_user (Results 1 – 3 of 3) sorted by relevance
102 void kvm_timer_sync_user(struct kvm_vcpu *vcpu);
1176 kvm_timer_sync_user(vcpu); in kvm_arch_vcpu_ioctl_run()1219 kvm_timer_sync_user(vcpu); in kvm_arch_vcpu_ioctl_run()
1004 void kvm_timer_sync_user(struct kvm_vcpu *vcpu) in kvm_timer_sync_user() function