/* Extend 15-bit time stamp from rx descriptor to a full 64-bit TSF using the current h/w TSF.  */
u64 ath9k_hw_extend_tsf(struct ath_hw *ah, u32 rstamp)
/* Extend 15-bit time stamp from rx descriptor to a full 64-bit TSF using the current h/w TSF.  */
u64 ath9k_hw_extend_tsf(struct ath_hw *ah, u32 rstamp)
{
	u64 tsf;
	tsf = ath9k_hw_gettsf64(ah);
	if ((tsf & 0x7fff) < rstamp)
		tsf -= 0x8000;
	return (tsf & ~0x7fff) | rstamp;
}