wk_rxmic
k->wk_rxmic, 8))
memcpy(hk->kv_mic, k->wk_rxmic, sizeof(hk->kv_mic));
memcpy(hk->kv_mic, k->wk_rxmic, sizeof(hk->kv_mic));
memcpy(hk->kv_mic, k->wk_rxmic, sizeof(hk->kv_mic));
michael_mic(ctx, k->wk_rxmic,