tcp_rtx_queue_empty
return tcp_rtx_queue_empty(sk) && tcp_write_queue_empty(sk);
if (!tcp_rtx_queue_empty(sk))
!tcp_rtx_queue_empty(sk) &&
if (tcp_rtx_queue_empty(sk))
tcp_rtx_queue_empty(sk);