ESR_ELx_FSC_LEVEL
return BIT(ARM64_HW_PGTABLE_LEVEL_SHIFT(esr & ESR_ELx_FSC_LEVEL));
(s2_trans.esr & ~ESR_ELx_FSC_LEVEL) | level,