tcp_process_shrunk_swnd
tcp_process_shrunk_swnd(tcp, -usable_r);
static void tcp_process_shrunk_swnd(tcp_t *, uint32_t);