ESR_ELx_FSC_SEA_TTW
return (esr == ESR_ELx_FSC_SEA_TTW(3)) ||
(esr == ESR_ELx_FSC_SEA_TTW(2)) ||
(esr == ESR_ELx_FSC_SEA_TTW(1)) ||
(esr == ESR_ELx_FSC_SEA_TTW(0)) ||
(esr == ESR_ELx_FSC_SEA_TTW(-1));
case ESR_ELx_FSC_SEA_TTW(-1) ... ESR_ELx_FSC_SEA_TTW(3):
fail_s1_walk(wr, ESR_ELx_FSC_SEA_TTW(level), false);
fsc = ESR_ELx_FSC_SEA_TTW(level);
out->esr = ESR_ELx_FSC_SEA_TTW(level);
GUEST_ASSERT_EQ((esr & ESR_ELx_FSC), ESR_ELx_FSC_SEA_TTW(3));