PCB_FSR
const uint32_t fpucsr = PCB_FSR(pcb);
PCB_FSR(curpcb), 0);
va = mips_emul_branch(tf, pc, PCB_FSR(pcb), true);