__pmap_pte_alloc
pte = __pmap_pte_alloc(pmap, va);
STATIC pt_entry_t *__pmap_pte_alloc(pmap_t, vaddr_t);