pmap_l0_pindex
mp = _pmap_alloc_l3(pmap, pmap_l0_pindex(va), NULL);
pmap_l0_pindex(addr), NULL) == NULL)