wk_rxmic
memcpy(kc->key + NL80211_TKIP_DATA_OFFSET_RX_MIC_KEY, k->wk_rxmic, k->wk_cipher->ic_miclen);
return (k->wk_rxmic);
michael_mic(ctx, k->wk_rxmic,