WX_PSR_MC_TBL
wr32a(wx, WX_PSR_MC_TBL(0), i,
wr32m(wx, WX_PSR_MC_TBL(vector_reg),
wr32(wx, WX_PSR_MC_TBL(i), 0);
wr32(wx, WX_PSR_MC_TBL(vector_reg), mta_reg);