TMS_HIGH
alt_jtag_io(TMS_HIGH, TDI_LOW, IGNORE_TDO);
? TMS_HIGH : TMS_LOW;
tms = (wait_state == RESET) ? TMS_HIGH : TMS_LOW;