Home
last modified time | relevance | path

Searched refs:guest_pdptr0 (Results 1 – 2 of 2) sorted by relevance

/linux-4.1.27/Documentation/virtual/kvm/
Dnested-vmx.txt114 u64 guest_pdptr0;
/linux-4.1.27/arch/x86/kvm/
Dvmx.c235 u64 guest_pdptr0; member
672 FIELD64(GUEST_PDPTR0, guest_pdptr0),
9370 vmcs_write64(GUEST_PDPTR0, vmcs12->guest_pdptr0); in prepare_vmcs02()
9797 vmcs12->guest_pdptr0 = vmcs_read64(GUEST_PDPTR0); in prepare_vmcs12()