RTW89_KEY_PN_4
u64_encode_bits(seq.ccmp.pn[1], RTW89_KEY_PN_4) |
u64_encode_bits(iv[6], RTW89_KEY_PN_4) |
seq.ccmp.pn[1] = u64_get_bits(pn, RTW89_KEY_PN_4);
u64_encode_bits(seq.ccmp.pn[1], RTW89_KEY_PN_4) |
seq.ccmp.pn[1] = u64_get_bits(pn, RTW89_KEY_PN_4);
iv[6] = u64_get_bits(pn, RTW89_KEY_PN_4);