ATW_TSFTH
tsfth = ATW_READ(sc, ATW_TSFTH);
if (ATW_READ(sc, ATW_TSFTH) == tsfth)
PRINTREG(sc, ATW_TSFTH);