pmap_pte_paddr_86
paddr_t (*pmap_pte_paddr_p)(vaddr_t) = pmap_pte_paddr_86;
pmap_pte_set_pae(va, pmap_pte_paddr_86(va), bits);
paddr_t pmap_pte_paddr_86(vaddr_t);