MIPS32_EF_R31
#define EF_R31 MIPS32_EF_R31
for (i = MIPS32_EF_R1; i <= MIPS32_EF_R31; i++) {
case MIPS32_EF_R28 ... MIPS32_EF_R31: