Lines Matching refs:VCPU
112 vifs = VCPU(vcpu, ifs);
119 vdcr = VCPU(vcpu, dcr);
183 vpsr = VCPU(vcpu, vpsr);
517 u64 vpsr = VCPU(vcpu, vpsr);
543 VCPU(vcpu, isr) = isr;
544 VCPU(vcpu, iipa) = regs->cr_iip;
546 VCPU(vcpu, iim) = iim;
691 vpsr = VCPU(vcpu, vpsr);
698 if (VCPU(vcpu, vhpi))
713 vpsr = VCPU(vcpu, vpsr);
726 vpsr = *(struct ia64_psr *)&VCPU(vcpu, vpsr);
727 vtpr.val = VCPU(vcpu, tpr);
730 vhpi = VCPU(vcpu, vhpi);
744 if (vcpu_get_itc(v) > VCPU(v, itm)) {
745 if (!(VCPU(v, itv) & (1 << 16))) {
746 vcpu_pend_interrupt(v, VCPU(v, itv)
752 VMX(v, last_itc) = VCPU(v, itm) + 1;
798 vpsr = VCPU(v, vpsr);
922 vpsr = VCPU(vcpu, vpsr);