RTW89_KEY_TKIP_PN_IV16
u64_encode_bits(seq.tkip.iv16, RTW89_KEY_TKIP_PN_IV16);
seq.tkip.iv16 = u64_get_bits(pn, RTW89_KEY_TKIP_PN_IV16);