-//! Defined in jtag430asm.S
-void jtag430_tclk_flashpulses(int);
-/* //! Pulse TCLK at 350kHz +/- 100kHz */
-/* void jtag430_tclk_flashpulses(register i){ */
-/* //TODO check this on a scope. */
-/* register j=0; */
-
-/* //At 2MHz, 350kHz is obtained with 5 clocks of delay */
-
-/* /\** Pondering: */
-/* What happens if the frequency is too low or to high? */
-/* Is there any risk of damaging the chip, or only of a poor write? */
-/* *\/ */
-/* while(j++!=i){ */
-/* SETTCLK; */
-/* _NOP(); */
-/* _NOP(); */
-/* _NOP(); */
-/* CLRTCLK; */
-/* } */
-/* } */
-