Searched refs:GUEST_PDPTR3 (Results 1 – 2 of 2) sorted by relevance
141 GUEST_PDPTR3 = 0x00002810, enumerator
1918 vmcs_write64(GUEST_PDPTR3, vcpu->arch.mmu.pdptrs[3]); in ept_load_pdptrs()1928 vcpu->arch.mmu.pdptrs[3] = vmcs_read64(GUEST_PDPTR3); in ept_save_pdptrs()