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