OPE_XT
{ SYSREG_ENC(1, 3, 7, 5, 1), OPE_XT, "ic\tivau" },
{ SYSREG_ENC(1, 0, 7, 6, 1), OPE_XT, "dc\tivac" },
{ SYSREG_ENC(1, 0, 7, 6, 2), OPE_XT, "dc\tisw" },
{ SYSREG_ENC(1, 0, 7, 10, 2), OPE_XT, "dc\tcsw" },
{ SYSREG_ENC(1, 0, 7, 14, 2), OPE_XT, "dc\tcisw" },
{ SYSREG_ENC(1, 3, 7, 10, 1), OPE_XT, "dc\tcvac" },
{ SYSREG_ENC(1, 3, 7, 11, 1), OPE_XT, "dc\tcvau" },
{ SYSREG_ENC(1, 3, 7, 14, 1), OPE_XT, "dc\tcivac" },
{ SYSREG_ENC(1, 3, 7, 4, 1), OPE_XT, "dc\tzva" },
{ SYSREG_ENC(1, 0, 7, 6, 3), OPE_XT, "dc\tigvac" },
{ SYSREG_ENC(1, 0, 7, 6, 4), OPE_XT, "dc\tigsw" },
{ SYSREG_ENC(1, 0, 7, 6, 5), OPE_XT, "dc\tigdvac" },
{ SYSREG_ENC(1, 0, 7, 6, 6), OPE_XT, "dc\tigdsw" },
{ SYSREG_ENC(1, 0, 7, 10, 4), OPE_XT, "dc\tcgsw" },
{ SYSREG_ENC(1, 0, 7, 10, 6), OPE_XT, "dc\tcgdsw" },
{ SYSREG_ENC(1, 0, 7, 14, 4), OPE_XT, "dc\tcigsw" },
{ SYSREG_ENC(1, 0, 7, 14, 6), OPE_XT, "dc\tcigdsw" },
{ SYSREG_ENC(1, 3, 7, 4, 3), OPE_XT, "dc\tgva" },
{ SYSREG_ENC(1, 3, 7, 4, 4), OPE_XT, "dc\tgzva" },
{ SYSREG_ENC(1, 3, 7, 10, 3), OPE_XT, "dc\tcgvac" },
{ SYSREG_ENC(1, 3, 7, 10, 5), OPE_XT, "dc\tcgdvac" },
{ SYSREG_ENC(1, 3, 7, 12, 3), OPE_XT, "dc\tcgvap" },
{ SYSREG_ENC(1, 3, 7, 12, 5), OPE_XT, "dc\tcgdvap" },
{ SYSREG_ENC(1, 3, 7, 13, 3), OPE_XT, "dc\tcgvadp" },
{ SYSREG_ENC(1, 3, 7, 13, 5), OPE_XT, "dc\tcgdvadp" },
{ SYSREG_ENC(1, 3, 7, 14, 3), OPE_XT, "dc\tcigvac" },
{ SYSREG_ENC(1, 3, 7, 14, 5), OPE_XT, "dc\tcigdvac" },
{ SYSREG_ENC(1, 3, 7, 12, 1), OPE_XT, "dc\tcvap" },
{ SYSREG_ENC(1, 3, 7, 13, 1), OPE_XT, "dc\tcvadp" },
{ SYSREG_ENC(1, 0, 7, 8, 0), OPE_XT, "at\ts1e1r" },
{ SYSREG_ENC(1, 0, 7, 8, 1), OPE_XT, "at\ts1e1w" },
{ SYSREG_ENC(1, 0, 7, 8, 2), OPE_XT, "at\ts1e0r" },
{ SYSREG_ENC(1, 0, 7, 8, 3), OPE_XT, "at\ts1e0w" },
{ SYSREG_ENC(1, 0, 7, 9, 0), OPE_XT, "at\ts1e1rp" },
{ SYSREG_ENC(1, 0, 7, 9, 1), OPE_XT, "at\ts1e1wp" },
{ SYSREG_ENC(1, 4, 7, 8, 0), OPE_XT, "at\ts1e2r" },
{ SYSREG_ENC(1, 4, 7, 8, 1), OPE_XT, "at\ts1e2w" },
{ SYSREG_ENC(1, 4, 7, 8, 4), OPE_XT, "at\ts12e1r" },
{ SYSREG_ENC(1, 4, 7, 8, 5), OPE_XT, "at\ts12e1w" },
{ SYSREG_ENC(1, 4, 7, 8, 6), OPE_XT, "at\ts12e0r" },
{ SYSREG_ENC(1, 4, 7, 8, 7), OPE_XT, "at\ts12e0w" },
{ SYSREG_ENC(1, 6, 7, 8, 0), OPE_XT, "at\ts1e3r" },
{ SYSREG_ENC(1, 6, 7, 8, 1), OPE_XT, "at\ts1e3w" },
{ SYSREG_ENC(1, 3, 7, 3, 4), OPE_XT, "cfp\trctx" },
{ SYSREG_ENC(1, 3, 7, 3, 5), OPE_XT, "dvp\trctx" },
{ SYSREG_ENC(1, 3, 7, 3, 7), OPE_XT, "cpp\trctx" },
{ SYSREG_ENC(1, 0, 8, 3, 1), OPE_XT, "tlbi\tvae1is" },
{ SYSREG_ENC(1, 0, 8, 3, 2), OPE_XT, "tlbi\taside1is" },
{ SYSREG_ENC(1, 0, 8, 3, 3), OPE_XT, "tlbi\tvaae1is" },
{ SYSREG_ENC(1, 0, 8, 3, 5), OPE_XT, "tlbi\tvale1is" },
{ SYSREG_ENC(1, 0, 8, 3, 7), OPE_XT, "tlbi\tvaale1is" },
{ SYSREG_ENC(1, 0, 8, 7, 1), OPE_XT, "tlbi\tvae1" },
{ SYSREG_ENC(1, 0, 8, 7, 2), OPE_XT, "tlbi\taside1" },
{ SYSREG_ENC(1, 0, 8, 7, 3), OPE_XT, "tlbi\tvaae1" },
{ SYSREG_ENC(1, 0, 8, 7, 5), OPE_XT, "tlbi\tvale1" },
{ SYSREG_ENC(1, 0, 8, 7, 7), OPE_XT, "tlbi\tvaale1" },
{ SYSREG_ENC(1, 4, 8, 0, 1), OPE_XT, "tlbi\tipas2e1is" },
{ SYSREG_ENC(1, 4, 8, 0, 5), OPE_XT, "tlbi\tipas2le1is" },
{ SYSREG_ENC(1, 4, 8, 3, 1), OPE_XT, "tlbi\tvae2is" },
{ SYSREG_ENC(1, 4, 8, 3, 5), OPE_XT, "tlbi\tvale2is" },
{ SYSREG_ENC(1, 4, 8, 4, 1), OPE_XT, "tlbi\tipas2e1" },
{ SYSREG_ENC(1, 4, 8, 4, 5), OPE_XT, "tlbi\tipas2le1" },
{ SYSREG_ENC(1, 4, 8, 7, 1), OPE_XT, "tlbi\tvae2" },
{ SYSREG_ENC(1, 4, 8, 7, 5), OPE_XT, "tlbi\tvale2" },
{ SYSREG_ENC(1, 6, 8, 3, 1), OPE_XT, "tlbi\tvae3is" },
{ SYSREG_ENC(1, 6, 8, 3, 5), OPE_XT, "tlbi\tvale3is" },
{ SYSREG_ENC(1, 6, 8, 7, 1), OPE_XT, "tlbi\tvae3" },
{ SYSREG_ENC(1, 6, 8, 7, 5), OPE_XT, "tlbi\tvale3" }
if (((op_sys_table[i].flags & OPE_XT) != 0) || (Rt != 31)) {