AR_TSF_U32
tsf = AR_READ(sc, AR_TSF_U32);
tsfhi = AR_READ(sc, AR_TSF_U32);
AR_WRITE(sc, AR_TSF_U32, tsfhi);