Searched refs:pdpeindex (Results 1 – 1 of 1) sorted by relevance
177 kvaddr_t pdpeindex; in _amd64_vatop() local208 pdpeindex = (va >> AMD64_PDPSHIFT) & (AMD64_NPDPEPG - 1); in _amd64_vatop()209 pdpe_pa = (pml4e & AMD64_PG_FRAME) + (pdpeindex * sizeof(amd64_pdpe_t)); in _amd64_vatop()