pmap_l1pt_alloc
void *pmap_l1pt_alloc(struct pool *, int, int *);
pmap_l1pt_alloc, pmap_l1pt_free, 0,