Lines Matching refs:VMX
116 vcpu_set_iipa(vcpu, VMX(vcpu, cr_iipa));
149 pt_isr.val = VMX(vcpu, cr_isr);
151 VMX(vcpu, cr_isr) = pt_isr.val;
741 if (VMX(v, timer_check)) {
742 VMX(v, timer_check) = 0;
743 if (VMX(v, itc_check)) {
748 VMX(v, itc_check) = 0;
752 VMX(v, last_itc) = VCPU(v, itm) + 1;
760 VMX(v, irq_check) = 0;
764 if (VMX(v, irq_check)) {
765 VMX(v, irq_check) = 0;
799 misr.val = VMX(v, cr_isr);
937 VMX(v, timer_check) = 1;
947 oldrid = VMX(v, vrr[0]);
948 VMX(v, vrr[0]) = p->rr;
949 oldpsbits = VMX(v, psbits[0]);
950 VMX(v, psbits[0]) = VMX(v, psbits[REGION_NUMBER(vaddr)]);
958 VMX(v, vrr[0]) = oldrid;
959 VMX(v, psbits[0]) = oldpsbits;