[usb-driver] / jtagmon.h

void __attribute__ ((visibility ("hidden"))) jtagmon(unsigned char tck, unsigned char tms, unsigned char tdi);