tkip_mixing_phase2
tkip_mixing_phase2(rc4key, tkey->key, tkey->tx_ttak, tkey->tx_iv16);
tkip_mixing_phase2(rc4key, tkey->key, tkey->rx_ttak, iv16);
tkip_mixing_phase2(tk, ctx, iv16, p2k);
tkip_mixing_phase2(tk, &rx_ctx->ctx, iv16, rc4key);