PRM_TFLUSH
if (__predict_true((flags & PRM_TFLUSH) != 0 && active_pmap(pmap))) {
prm_flags = active_pmap(pmap) ? PRM_TFLUSH : 0;
pv->pv_pt, pg, PRM_TFLUSH|PRM_CFLUSH, &pc);
PRM_TFLUSH|PRM_CFLUSH, &pc);
pte, PRM_TFLUSH|PRM_CFLUSH, NULL);
PRM_TFLUSH|PRM_CFLUSH|PRM_KEEPPTPAGE, &opv);
PRM_TFLUSH|PRM_CFLUSH, NULL);
if ((flags & PRM_TFLUSH) && active_pmap(pmap))
NULL, PRM_TFLUSH|PRM_CFLUSH, NULL);
flags = active_pmap(pmap) ? PRM_TFLUSH : 0;