AR_TSF_U32
tsf_upper1 = REG_READ(ah, AR_TSF_U32);
tsf_upper2 = REG_READ(ah, AR_TSF_U32);
REG_WRITE(ah, AR_TSF_U32, (tsf64 >> 32) & 0xffffffff);