RTW89_KEY_PN_0
u64_encode_bits(seq.ccmp.pn[5], RTW89_KEY_PN_0);
*pn = u64_encode_bits(iv[2], RTW89_KEY_PN_0) |
*pn = u64_encode_bits(iv[0], RTW89_KEY_PN_0) |
seq.ccmp.pn[5] = u64_get_bits(pn, RTW89_KEY_PN_0);
u64_encode_bits(seq.ccmp.pn[5], RTW89_KEY_PN_0);
seq.ccmp.pn[5] = u64_get_bits(pn, RTW89_KEY_PN_0);
iv[2] = u64_get_bits(pn, RTW89_KEY_PN_0);
iv[0] = u64_get_bits(pn, RTW89_KEY_PN_0);