wk_txmic
(void) memcpy(hk->kv_mic, k->wk_txmic,
(void) memcpy(hk->kv_txmic, k->wk_txmic,
k->wk_txmic : k->wk_rxmic, sizeof (hk->kv_mic));
michael_mic(ctx, k->wk_txmic, mp, (hdrlen + tkip.ic_header),