Searched refs:page_table (Results 1 – 1 of 1) sorted by relevance
160 uint64_t *page_table = addr_gpa2hva(vm, pt_pfn << vm->page_shift); in virt_get_pte() local163 return &page_table[index]; in virt_get_pte()