wk_rxmic
(void) memcpy(hk->kv_mic, k->wk_rxmic,
k->wk_txmic : k->wk_rxmic, sizeof (hk->kv_mic));
michael_mic(ctx, k->wk_rxmic,