Searched refs:vitv (Results 1 – 1 of 1) sorted by relevance
829 unsigned long vitv = VCPU(vcpu, itv); in vcpu_set_itc() local844 vcpu_unpend_interrupt(vcpu, vitv); in vcpu_set_itc()859 unsigned long vitv = VCPU(vcpu, itv); in vcpu_set_itm() local864 vcpu_unpend_interrupt(vcpu, vitv); in vcpu_set_itm()