michael_mic
michael_mic(ctx, ieee80211_crypto_get_key_txmic_data(k),
michael_mic(ctx, ieee80211_crypto_get_key_rxmic_data(k),
static void michael_mic(struct tkip_ctx *, const u8 *key,