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