Searched refs:GUEST_PDPTR3 (Results 1 - 2 of 2) sorted by relevance

/netgear-R7000-V1.0.7.12_1.2.5/components/opensource/linux/linux-2.6.36/arch/x86/include/asm/
H A Dvmx.h133 GUEST_PDPTR3 = 0x00002810, enumerator in enum:vmcs_field
/netgear-R7000-V1.0.7.12_1.2.5/components/opensource/linux/linux-2.6.36/arch/x86/kvm/
H A Dvmx.c1861 vmcs_write64(GUEST_PDPTR3, vcpu->arch.pdptrs[3]);
1871 vcpu->arch.pdptrs[3] = vmcs_read64(GUEST_PDPTR3);

Completed in 113 milliseconds