printbinary
printbinary(buf, s.sw[0], 32);
printbinary(buf, regs->gr[0], 32);
extern void printbinary(unsigned long x, int nbits);
printbinary(orig_sw, 32);
printbinary(sw, 32);