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