__mptcp_snd_una_update
__mptcp_snd_una_update(msk, new_snd_una);
__mptcp_snd_una_update(msk, READ_ONCE(msk->snd_nxt));