Searched refs:get_pae_pdpt_addr (Results 1 – 3 of 3) sorted by relevance
173 static inline uint64_t get_pae_pdpt_addr(uint64_t cr3) in get_pae_pdpt_addr() function
179 addr = get_pae_pdpt_addr(pw_info->top_entry); in local_gva2gpa_pae()
128 if (copy_from_gpa(vcpu->vm, pdpte, get_pae_pdpt_addr(guest_cr3), sizeof(pdpte)) != 0) { in load_pdptrs()
Completed in 5 milliseconds