pmap_alloc_ptp_86
return (pmap_alloc_ptp_86(pmap, pde_index, PG_u));
while (!pmap_alloc_ptp_86(kpm, PDSLOT_KERN + nkpde, 0))
struct vm_page *pmap_alloc_ptp_86(struct pmap *, int, pt_entry_t);