pmap_pd
pd = pmap_pd(kernel_pmap, kstart);
else if (pmap_pd(pmap, va) == NULL)
pd = pmap_pd(pmap, va);