HelenOS sources

IEEE80211_TKIP_TX_MIC_OFFSET  501 uspace/drv/nic/ar9271/ar9271.c 				tx_mic = data_start + IEEE80211_TKIP_TX_MIC_OFFSET;
IEEE80211_TKIP_TX_MIC_OFFSET  634 uspace/lib/ieee80211/src/ieee80211.c 		    TK_OFFSET + IEEE80211_TKIP_TX_MIC_OFFSET;
HelenOS homepage, sources at GitHub