pmap_is_current
if (pmap_is_current(pv->pv_pmap)) {
if (flush == false && pmap_is_current(pm))
if (pmap_is_current(pm)) {
if (pmap_is_current(pm)) {
KDASSERT(!pmap_is_current(pm));