Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

net/ipv4/tcp_diag.c tcp_diag_get_info() -> tcp_get_info()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 1 info 1-u64max
DATA_SOURCE 0 sk $0
DATA_SOURCE 1 info $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 info->tcpi_accecn_fail_mode 0-15[u]
USER_DATA 1 info->tcpi_accecn_opt_seen 0-3[u]
USER_DATA 1 info->tcpi_advmss 0-u32max[u]
USER_DATA 1 info->tcpi_ato 0-u32max[u]
USER_DATA 1 info->tcpi_backoff 0-255[u]
USER_DATA 1 info->tcpi_busy_time 0-u64max[u]
USER_DATA 1 info->tcpi_bytes_acked 0-u64max[u]
USER_DATA 1 info->tcpi_bytes_received 0-u64max[u]
USER_DATA 1 info->tcpi_bytes_retrans 0-u64max[u]
USER_DATA 1 info->tcpi_bytes_sent 0-u64max[u]
USER_DATA 1 info->tcpi_ca_state 0-255[u]
USER_DATA 1 info->tcpi_data_segs_in 0-u32max[u]
USER_DATA 1 info->tcpi_data_segs_out 0-u32max[u]
USER_DATA 1 info->tcpi_delivered 0-u32max[u]
USER_DATA 1 info->tcpi_delivered_ce 0-u32max[u]
USER_DATA 1 info->tcpi_delivered_ce_bytes 0-u32max[u]
USER_DATA 1 info->tcpi_delivered_e0_bytes 0-u32max[u]
USER_DATA 1 info->tcpi_delivered_e1_bytes 0-u32max[u]
USER_DATA 1 info->tcpi_delivery_rate 0-u64max[u]
USER_DATA 1 info->tcpi_delivery_rate_app_limited 0-1[u]
USER_DATA 1 info->tcpi_dsack_dups 0-u32max[u]
USER_DATA 1 info->tcpi_ecn_mode 0-3[u]
USER_DATA 1 info->tcpi_fackets 0-u32max[u]
USER_DATA 1 info->tcpi_fastopen_client_fail 0-3[u]
USER_DATA 1 info->tcpi_last_ack_recv 0-u32max[u]
USER_DATA 1 info->tcpi_last_ack_sent 0-u32max[u]
USER_DATA 1 info->tcpi_last_data_recv 0-u32max[u]
USER_DATA 1 info->tcpi_last_data_sent 0-u32max[u]
USER_DATA 1 info->tcpi_lost 0-u32max[u]
USER_DATA 1 info->tcpi_max_pacing_rate 0-u64max[u]
USER_DATA 1 info->tcpi_min_rtt 0-u32max[u]
USER_DATA 1 info->tcpi_notsent_bytes 0-u32max[u]
USER_DATA 1 info->tcpi_options 0-255[u]
USER_DATA 1 info->tcpi_options2 0-16777215[u]
USER_DATA 1 info->tcpi_pacing_rate 0-u64max[u]
USER_DATA 1 info->tcpi_pmtu 0-u32max[u]
USER_DATA 1 info->tcpi_probes 0-255[u]
USER_DATA 1 info->tcpi_rcv_mss 0-u32max[u]
USER_DATA 1 info->tcpi_rcv_ooopack 0-u32max[u]
USER_DATA 1 info->tcpi_rcv_rtt 0-u32max[u]
USER_DATA 1 info->tcpi_rcv_space 0-u32max[u]
USER_DATA 1 info->tcpi_rcv_ssthresh 0-u32max[u]
USER_DATA 1 info->tcpi_rcv_wnd 0-u32max[u]
USER_DATA 1 info->tcpi_rcv_wscale 0-15[u]
USER_DATA 1 info->tcpi_received_ce 0-u32max[u]
USER_DATA 1 info->tcpi_received_ce_bytes 0-u32max[u]
USER_DATA 1 info->tcpi_received_e0_bytes 0-u32max[u]
USER_DATA 1 info->tcpi_received_e1_bytes 0-u32max[u]
USER_DATA 1 info->tcpi_rehash 0-u32max[u]
USER_DATA 1 info->tcpi_reord_seen 0-u32max[u]
USER_DATA 1 info->tcpi_reordering 0-u32max[u]
USER_DATA 1 info->tcpi_retrans 0-u32max[u]
USER_DATA 1 info->tcpi_retransmits 0-255[u]
USER_DATA 1 info->tcpi_rto 0-u32max[u]
USER_DATA 1 info->tcpi_rtt 0-u32max[u]
USER_DATA 1 info->tcpi_rttvar 0-u32max[u]
USER_DATA 1 info->tcpi_rwnd_limited 0-u64max[u]
USER_DATA 1 info->tcpi_sacked 0-u32max[u]
USER_DATA 1 info->tcpi_segs_in 0-u32max[u]
USER_DATA 1 info->tcpi_segs_out 0-u32max[u]
USER_DATA 1 info->tcpi_snd_cwnd 0-u32max[u]
USER_DATA 1 info->tcpi_snd_mss 0-u32max[u]
USER_DATA 1 info->tcpi_snd_ssthresh 0-u32max[u]
USER_DATA 1 info->tcpi_snd_wnd 0-u32max[u]
USER_DATA 1 info->tcpi_snd_wscale 0-15[u]
USER_DATA 1 info->tcpi_sndbuf_limited 0-u64max[u]
USER_DATA 1 info->tcpi_state 0-255[u]
USER_DATA 1 info->tcpi_total_retrans 0-u32max[u]
USER_DATA 1 info->tcpi_total_rto 0-u16max[u]
USER_DATA 1 info->tcpi_total_rto_recoveries 0-u16max[u]
USER_DATA 1 info->tcpi_total_rto_time 0-u32max[u]
USER_DATA 1 info->tcpi_unacked 0-u32max[u]
USER_PTR 1 info

net/mptcp/sockopt.c mptcp_getsockopt_full_info() -> tcp_get_info()

Type Parameter Key Value
PARAM_VALUE 1 info 6141794433016848384
RX_PATH
NOCHECK_CALL
LOCK2 sk
HALF_LOCKED2 msk

net/mptcp/sockopt.c mptcp_getsockopt_tcpinfo() -> tcp_get_info()

Type Parameter Key Value
PARAM_VALUE 1 info 5772023650747613184
RX_PATH
NOCHECK_CALL
LOCK2 sk

net/ipv4/tcp.c do_tcp_getsockopt() -> tcp_get_info()

Type Parameter Key Value
PARAM_VALUE 1 info 3367957701033336832
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
DATA_SOURCE 0 sk $0
RX_PATH
NOCHECK_CALL
UNITS 0 sk unit_byte
HALF_LOCKED2 sk