@ -11,15 +11,6 @@ switch(insn.rtype.rs)
case 3:
ebase = sext32(RT & ~0xFFF);
break;
case 8:
{
char ch = RT;
demand(1 == write(1,&ch,1),"wtf");
}
case 9:
printf("%ld insns retired\n",counters[0]);
exit(0);
case 16:
sim->set_tohost(sext32(RT));