kvm_timer_update_run
r = kvm_timer_update_run(vcpu);
bool kvm_timer_update_run(struct kvm_vcpu *vcpu);