Symbol: _PAGE_KNL_ERRATUM_MASK