MIPS64_EF_CP0_BADVADDR
#define EF_CP0_BADVADDR MIPS64_EF_CP0_BADVADDR
uregs[MIPS64_EF_CP0_BADVADDR] = regs->cp0_badvaddr;