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 D | process.c | 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( [all...] |
H A D | vcpu.c | 813 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 D | vtlb.c | 276 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 D | vcpu.h | 447 #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 D | jre-1_5_0_15-linux-i586.bin | [all...] |
Completed in 377 milliseconds