Searched defs:vitv (Results 1 – 1 of 1) sorted by relevance
829 unsigned long vitv = VCPU(vcpu, itv); in vcpu_set_itc() local859 unsigned long vitv = VCPU(vcpu, itv); in vcpu_set_itm() local