fail_s1_walk
fail_s1_walk(&wr, ESR_ELx_FSC_PERM_L(wr.level), false);
fail_s1_walk(wr, ESR_ELx_FSC_ADDRSZ_L(0), false);
fail_s1_walk(wr, ESR_ELx_FSC_FAULT_L(wi->sl), false);
fail_s1_walk(wr,
fail_s1_walk(wr, ESR_ELx_FSC_PERM_L(level),
fail_s1_walk(wr, ESR_ELx_FSC_SEA_TTW(level), false);
fail_s1_walk(wr, ESR_ELx_FSC_PERM_L(level), true);
fail_s1_walk(wr, ESR_ELx_FSC_SEA_TTW(level), false);
fail_s1_walk(wr, ESR_ELx_FSC_ACCESS_L(level), false);
fail_s1_walk(wr, ESR_ELx_FSC_ADDRSZ_L(level), false);
fail_s1_walk(wr, ESR_ELx_FSC_FAULT_L(level), false);
fail_s1_walk(&vt->wr, ESR_ELx_FSC_EXTABT, false);
fail_s1_walk(&vt->wr, ESR_ELx_FSC_EXTABT, false);
fail_s1_walk(&vt->wr, ESR_ELx_FSC_EXTABT, false);