FOLIO_WAS_MLOCKED
FOLIO_OLD_STATES = FOLIO_WAS_MAPPED | FOLIO_WAS_MLOCKED,
old_folio_state |= FOLIO_WAS_MLOCKED;
if (old_folio_state & FOLIO_WAS_MLOCKED)