C0_BADVADDR
UASM_i_MFC0(&p, GPR_K0, C0_BADVADDR);
UASM_i_MFC0(p, tmp, C0_BADVADDR);
UASM_i_MFC0(p, tmp, C0_BADVADDR);
uasm_i_dmfc0(&p, GPR_K0, C0_BADVADDR);
uasm_i_dmfc0(&p, GPR_K0, C0_BADVADDR);
uasm_i_mfc0(p, pte, C0_BADVADDR);
UASM_i_MFC0(p, wr.r1, C0_BADVADDR);
uasm_i_dmfc0(&p, GPR_K0, C0_BADVADDR);
uasm_i_mfc0(&p, GPR_K0, C0_BADVADDR);
uasm_i_dmfc0(p, tmp, C0_BADVADDR);
uasm_i_dmfc0(p, tmp, C0_BADVADDR);
uasm_i_dmfc0(p, tmp, C0_BADVADDR); /* get faulting address */
uasm_i_dmfc0(p, tmp, C0_BADVADDR); /* get faulting address */
uasm_i_mfc0(p, tmp, C0_BADVADDR); /* get faulting address */
uasm_i_mfc0(p, tmp, C0_BADVADDR); /* get faulting address */