bx_write_pc
bx_write_pc(pcv, regs);
bx_write_pc(rtv, regs);
bx_write_pc(rmv, regs);
bx_write_pc(pc, regs);