amd64_pte_t
amd64_pte_t pte;
pte_pa = (pde & AMD64_PG_FRAME) + (pteindex * sizeof(amd64_pte_t));
#define AMD64_NPTEPG (AMD64_PAGE_SIZE / sizeof(amd64_pte_t))
amd64_pte_t pte;
amd64_pte_t pt[AMD64_NPTEPG];
amd64_pte_t pte;
amd64_pte_t *ptes;
amd64_pte_t pte = (u_long)ptes[i];
static amd64_pte_t
amd64_pte_t *pte = _kvm_pmap_get(kd, pteindex, sizeof(*pte));
static amd64_pte_t *