amd64_pde_t
amd64_pde_t pde;
pde_pa = (pdpe & AMD64_PG_FRAME) + (pdeindex * sizeof(amd64_pde_t));
#define AMD64_NPDEPG (AMD64_PAGE_SIZE / sizeof(amd64_pde_t))
amd64_pde_t pde;
u_long npdes = vm->hdr.pmapsize / sizeof(amd64_pde_t);
amd64_pde_t pde = _amd64_pde_get(kd, pdeindex);
static amd64_pde_t
amd64_pde_t *pde = _kvm_pmap_get(kd, pdeindex, sizeof(*pde));
pa = _kvm_pmap_get(kd, pdeindex, sizeof(amd64_pde_t));