MIPS64_EF_R1
#define EF_R1 MIPS64_EF_R1
for (i = MIPS64_EF_R1; i <= MIPS64_EF_R31; i++) {
case MIPS64_EF_R1 ... MIPS64_EF_R25: