RTW89_KEY_PN_1
u64_encode_bits(seq.ccmp.pn[4], RTW89_KEY_PN_1) |
u64_encode_bits(iv[0], RTW89_KEY_PN_1);
u64_encode_bits(iv[1], RTW89_KEY_PN_1);
seq.ccmp.pn[4] = u64_get_bits(pn, RTW89_KEY_PN_1);
u64_encode_bits(seq.ccmp.pn[4], RTW89_KEY_PN_1) |
seq.ccmp.pn[4] = u64_get_bits(pn, RTW89_KEY_PN_1);
iv[0] = u64_get_bits(pn, RTW89_KEY_PN_1);
iv[1] = (u64_get_bits(pn, RTW89_KEY_PN_1) | 0x20) & 0x7f;
iv[1] = u64_get_bits(pn, RTW89_KEY_PN_1);