pte_make_kenter_pa
pt_entry_t pte = pte_make_kenter_pa(pa, NULL, prot, flags);
const pt_entry_t npte = pte_make_kenter_pa(pa, mdpg, prot, 0);
pt_entry_t pte = pte_make_kenter_pa(pa, NULL,
pt_entry_t npte = pte_make_kenter_pa(pa, mdpg, prot, flags);