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