active_pmap
if (active_pmap(pmap)) {
if (active_pmap(pmap)) {
if (active_pmap(pv->pv_pmap)) {
if (active_pmap(pmap)) {
if (active_pmap(pv->pv_pmap)) {
if (active_pmap(pv->pv_pmap)) {
if (active_pmap(pv->pv_pmap)) {
if (__predict_true((flags & PRM_TFLUSH) != 0 && active_pmap(pmap))) {
prm_flags = active_pmap(pmap) ? PRM_TFLUSH : 0;
need_tflush = active_pmap(pmap);
if (active_pmap(pmap)) {
if (active_pmap(pmap)) {
if (active_pmap(pv->pv_pmap)) {
needtflush = active_pmap(pmap);
if (!wired && active_pmap(pmap))
if ((flags & PRM_TFLUSH) && active_pmap(pmap))
if (active_pmap(pv->pv_pmap))
flags = active_pmap(pmap) ? PRM_TFLUSH : 0;
KASSERT(active_pmap == NULL);
active_pmap = pmap;
KASSERT(pmap == active_pmap);
active_pmap = NULL;
static pmap_t active_pmap = NULL;