pmap_get_l2_bucket
pmap_get_l2_bucket(pmap_kernel(), va);
l2b = pmap_get_l2_bucket(pm, vector_page);
= pmap_get_l2_bucket(pv->pv_pmap, pv->pv_va);
= pmap_get_l2_bucket(pv->pv_pmap, pv->pv_va);
struct l2_bucket * const l2b = pmap_get_l2_bucket(pv->pv_pmap,
struct l2_bucket * const l2b = pmap_get_l2_bucket(pm, va);
l2b = pmap_get_l2_bucket(pm, pv->pv_va);
l2b = pmap_get_l2_bucket(pm, va);
struct l2_bucket * const l2b = pmap_get_l2_bucket(pm, sva);
struct l2_bucket * const l2b = pmap_get_l2_bucket(kpm, va);
struct l2_bucket * const l2b = pmap_get_l2_bucket(kpm, va);
l2b = pmap_get_l2_bucket(pm, sva);
l2b = pmap_get_l2_bucket(pm, sva);
l2b = pmap_get_l2_bucket(pm, va);
struct l2_bucket * const l2b __diagused = pmap_get_l2_bucket(kpm, va);
l2b = pmap_get_l2_bucket(pmap_kernel(), vector_page);
l2b = pmap_get_l2_bucket(pm, vector_page);
l2b = pmap_get_l2_bucket(pmap_kernel(), va);
static struct l2_bucket *pmap_get_l2_bucket(pmap_t, vaddr_t);
struct l2_bucket *l2b = pmap_get_l2_bucket(pmap_kernel(), va);