ESR_ELx_FSC_ADDRSZ_L
return (esr == ESR_ELx_FSC_ADDRSZ_L(3)) ||
(esr == ESR_ELx_FSC_ADDRSZ_L(2)) ||
(esr == ESR_ELx_FSC_ADDRSZ_L(1)) ||
(esr == ESR_ELx_FSC_ADDRSZ_L(0)) ||
(esr == ESR_ELx_FSC_ADDRSZ_L(-1));
fail_s1_walk(wr, ESR_ELx_FSC_ADDRSZ_L(0), false);
fail_s1_walk(wr, ESR_ELx_FSC_ADDRSZ_L(level), false);