michael_mic
if (michael_mic(tkey->tx_tfm_michael, &tkey->key[16], tkey->tx_hdr,
if (michael_mic(tkey->rx_tfm_michael, &tkey->key[24], tkey->rx_hdr,
void michael_mic(const u8 *key, struct ieee80211_hdr *hdr,
michael_mic(key, hdr, data, data_len, mic);
michael_mic(key, hdr, data, data_len, mic);