kvm_lapic_hv_timer_in_use
bool kvm_lapic_hv_timer_in_use(struct kvm_vcpu *vcpu);
hv_timer = kvm_lapic_hv_timer_in_use(vcpu);
if (kvm_lapic_hv_timer_in_use(vcpu))