aarch64_pte_t
aarch64_pte_t l3;
_aarch64_entry_to_prot(aarch64_pte_t pte)
u_long nptes = vm->hdr.pmapsize / sizeof(aarch64_pte_t);
aarch64_pte_t pte = _aarch64_pte_get(kd, pteindex);
static aarch64_pte_t
aarch64_pte_t *pte = _kvm_pmap_get(kd, pteindex, sizeof(*pte));