w00t! get_registers does something almost sane! i see basically what amounts to...

[goodfet] / firmware / apps / jtag / jtagarm7tdmi-disabled.c

void jtagarm7tdmihandle(unsigned char app, unsigned char verb, unsigned long len){
}