Searched refs:VMX (Results 1 - 5 of 5) sorted by relevance

/netgear-R7000-V1.0.7.12_1.2.5/components/opensource/linux/linux-2.6.36/arch/ia64/kvm/
H A Dprocess.c116 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(
[all...]
H A Dvcpu.c813 guest_itc = VMX(vcpu, itc_offset) + kvm_get_itc(vcpu);
815 if (guest_itc >= VMX(vcpu, last_itc)) {
816 VMX(vcpu, last_itc) = guest_itc;
819 return VMX(vcpu, last_itc);
837 VMX(v, itc_offset) = itc_offset;
838 VMX(v, last_itc) = 0;
841 VMX(vcpu, last_itc) = 0;
843 VMX(vcpu, itc_check) = 0;
846 VMX(vcpu, itc_check) = 1;
863 VMX(vcp
[all...]
H A Dvtlb.c276 psbits = VMX(v, psbits[(va >> 61)]);
338 VMX(v, psbits[va >> 61]) |= (1UL << vrr.ps);
449 vcpu_quick_region_set(VMX(v, tc_regions), ifa);
483 VMX(v, psbits[i]) = 0;
528 psbits = VMX(v, psbits[(va >> 61)]);
H A Dvcpu.h447 #define VMX(_v, _x) ((_v)->arch._x) macro
450 #define VLSAPIC_XTP(_v) VMX(_v, xtp)
684 if (VMX(vcpu, insvc[0]) & (1UL<<NMI_VECTOR))
686 if (VMX(vcpu, insvc[0]) & (1UL<<ExtINT_VECTOR))
689 return highest_bits((int *)&(VMX(vcpu, insvc[0])));
/netgear-R7000-V1.0.7.12_1.2.5/ap/gpl/Micromax/Linux/
H A Djre-1_5_0_15-linux-i586.bin[all...]

Completed in 203 milliseconds