Searched refs:pt_gpa (Results 1 – 1 of 1) sorted by relevance
140 uint64_t pt_gpa = PTE_GET_PA(*parent_pte); in virt_get_pte() local141 uint64_t *page_table = addr_gpa2hva(vm, pt_gpa); in virt_get_pte()