Searched refs:pde_index (Results 1 – 1 of 1) sorted by relevance
139 static uint64_t pde_index(uint64_t va) in pde_index() function152 uint64_t pgd_entry = pdba_base(pdpe) + pde_index(va) * 8; in get_pgd()