current_tsf_high 1470 drivers/net/wireless/ti/wlcore/acx.c 		((u64) le32_to_cpu(tsf_info->current_tsf_high) << 32);
current_tsf_high  765 drivers/net/wireless/ti/wlcore/acx.h 	__le32 current_tsf_high;