AMD64_PG_FRAME
pdpe_pa = (pml4e & AMD64_PG_FRAME) + (pdpeindex * sizeof(amd64_pdpe_t));
pde_pa = (pdpe & AMD64_PG_FRAME) + (pdeindex * sizeof(amd64_pde_t));
pte_pa = (pde & AMD64_PG_FRAME) + (pteindex * sizeof(amd64_pte_t));
a = (pte & AMD64_PG_FRAME) + offset;
_Static_assert(PG_FRAME == AMD64_PG_FRAME, "PG_FRAME mismatch");
return _kvm_map_get(kd, *pa & AMD64_PG_FRAME, AMD64_PAGE_SIZE);
a = pte & AMD64_PG_FRAME;
a = pde & AMD64_PG_FRAME;
a = pte & AMD64_PG_FRAME;
pa = pte & AMD64_PG_FRAME;