Searched refs:pdpte_paddr (Results 1 – 1 of 1) sorted by relevance
133 uint64_t pdpte_paddr = (pml4e & 0xffffffffff000) | in get_pdpi() local136 return pa_space_read64(vs->ps, pdpte_paddr, value); in get_pdpi()