RTW89_KEY_PN_2
u64_encode_bits(seq.ccmp.pn[3], RTW89_KEY_PN_2) |
*pn |= u64_encode_bits(iv[4], RTW89_KEY_PN_2) |
seq.ccmp.pn[3] = u64_get_bits(pn, RTW89_KEY_PN_2);
u64_encode_bits(seq.ccmp.pn[3], RTW89_KEY_PN_2) |
seq.ccmp.pn[3] = u64_get_bits(pn, RTW89_KEY_PN_2);
iv[4] = u64_get_bits(pn, RTW89_KEY_PN_2);