Searched refs:kvm_timer_sync_user (Results 1 – 1 of 1) sorted by relevance
1307 kvm_timer_sync_user(vcpu); in kvm_arch_vcpu_ioctl_run()1351 kvm_timer_sync_user(vcpu); in kvm_arch_vcpu_ioctl_run()