AR_TSF_L32
tsf = tsf << 32 | AR_READ(sc, AR_TSF_L32);
tsf = tsf << 32 | AR_READ(sc, AR_TSF_L32);
tsflo = AR_READ(sc, AR_TSF_L32) / 1024;
if (AR_READ(sc, AR_TSF_L32) / 1024 == tsflo)
tsflo = AR_READ(sc, AR_TSF_L32);
tsflo = AR_READ(sc, AR_TSF_L32);
AR_WRITE(sc, AR_TSF_L32, tsflo);