Searched refs:amd64_pdpe_t (Results 1 – 2 of 2) sorted by relevance
37 typedef uint64_t amd64_pdpe_t; typedef48 #define AMD64_NPDPEPG (AMD64_PAGE_SIZE / sizeof(amd64_pdpe_t))
173 amd64_pdpe_t pdpe; in _amd64_vatop()209 pdpe_pa = (pml4e & AMD64_PG_FRAME) + (pdpeindex * sizeof(amd64_pdpe_t)); in _amd64_vatop()