Searched refs:pgd_entry (Results 1 – 1 of 1) sorted by relevance
152 uint64_t pgd_entry = pdba_base(pdpe) + pde_index(va) * 8; in get_pgd() local154 return pa_space_read64(vs->ps, pgd_entry, value); in get_pgd()195 static uint64_t get_2MB_paddr(uint64_t va, uint64_t pgd_entry) in get_2MB_paddr() argument197 return (pgd_entry & 0xfffffffe00000) | (va & 0x00000001fffff); in get_2MB_paddr()