AR_TSF_U32
u32 = OS_REG_READ(ah, AR_TSF_U32);
return (OS_REG_READ(ah, AR_TSF_U32) ^
u32 = OS_REG_READ(ah, AR_TSF_U32);
return (OS_REG_READ(ah, AR_TSF_U32) ^
saveTsfHigh = OS_REG_READ(ah, AR_TSF_U32);
OS_REG_WRITE(ah, AR_TSF_U32, saveTsfHigh);
u32 = OS_REG_READ(ah, AR_TSF_U32);
OS_REG_WRITE(ah, AR_TSF_U32, (tsf64 >> 32) & 0xffffffff);
return (OS_REG_READ(ah, AR_TSF_U32) ^
u32 = OS_REG_READ(ah, AR_TSF_U32);
OS_REG_WRITE(ah, AR_TSF_U32, (tsf64 >> 32) & 0xffffffff);