_PAGE_KNL_ERRATUM_MASK
return (val & ~_PAGE_KNL_ERRATUM_MASK) == 0;
return (native_pud_val(pud) & ~(_PAGE_KNL_ERRATUM_MASK)) == 0;
return (native_p4d_val(p4d) & ~(_PAGE_KNL_ERRATUM_MASK)) == 0;
return !(pte.pte & ~(_PAGE_KNL_ERRATUM_MASK));