kvm_vz_acquire_htimer
void kvm_vz_acquire_htimer(struct kvm_vcpu *vcpu);
kvm_vz_acquire_htimer(vcpu);