ieee80211_get_tkip_p1k_iv
ieee80211_get_tkip_p1k_iv(key, seq.tkip.iv32, p1k);
ieee80211_get_tkip_p1k_iv(key, TKIP_PN_TO_IV32(pn64),
void ieee80211_get_tkip_p1k_iv(struct ieee80211_key_conf *keyconf,
ieee80211_get_tkip_p1k_iv(keyconf, iv32, p1k);
EXPORT_SYMBOL(ieee80211_get_tkip_p1k_iv);