Searched refs:guest_pdptr0 (Results 1 – 2 of 2) sorted by relevance
114 u64 guest_pdptr0;
239 u64 guest_pdptr0; member727 FIELD64(GUEST_PDPTR0, guest_pdptr0),9782 vmcs_write64(GUEST_PDPTR0, vmcs12->guest_pdptr0); in prepare_vmcs02()10209 vmcs12->guest_pdptr0 = vmcs_read64(GUEST_PDPTR0); in prepare_vmcs12()