pmap_free_l2_bucket
pmap_free_l2_bucket(pm, l2b, 1);
pmap_free_l2_bucket(pm, l2b, 0);
pmap_free_l2_bucket(pm, l2b, mappings);
void pmap_free_l2_bucket(pmap_t, struct l2_bucket *, u_int);