Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/ipv4/tcp_ipv4.c tcp_v4_destroy_sock() -> tcp_free_fastopen_req()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->fastopen_rsk 0
PARAM_VALUE 0 tp->out_of_order_queue.rb_node 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 sk

net/ipv4/tcp.c tcp_disconnect() -> tcp_free_fastopen_req()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->accecn_fail_mode 0
PARAM_VALUE 0 tp->accecn_minlen 0
PARAM_VALUE 0 tp->accecn_opt_demand 0
PARAM_VALUE 0 tp->accecn_opt_sent_w_dsack 0
PARAM_VALUE 0 tp->accecn_opt_tstamp 0
PARAM_VALUE 0 tp->app_limited u32max
PARAM_VALUE 0 tp->bytes_acked 0
PARAM_VALUE 0 tp->bytes_received 0
PARAM_VALUE 0 tp->bytes_retrans 0
PARAM_VALUE 0 tp->bytes_sent 0
PARAM_VALUE 0 tp->compressed_ack 0
PARAM_VALUE 0 tp->data_segs_in 0
PARAM_VALUE 0 tp->data_segs_out 0
PARAM_VALUE 0 tp->delivered 0
PARAM_VALUE 0 tp->delivered_ce 0
PARAM_VALUE 0 tp->delivered_ecn_bytes 4096-ptr_max
PARAM_VALUE 0 tp->dsack_dups 0
PARAM_VALUE 0 tp->duplicate_sack 4096-ptr_max
PARAM_VALUE 0 tp->est_ecnfield 0
PARAM_VALUE 0 tp->fastopen_rsk 0,4096-ptr_max
PARAM_VALUE 0 tp->is_cwnd_limited 0
PARAM_VALUE 0 tp->is_sack_reneg 0
PARAM_VALUE 0 tp->last_oow_ack_time 0
PARAM_VALUE 0 tp->lost_out 0
PARAM_VALUE 0 tp->max_packets_out 0
PARAM_VALUE 0 tp->mdev_us 1000000
PARAM_VALUE 0 tp->out_of_order_queue.rb_node 0,4096-ptr_max
PARAM_VALUE 0 tp->pkts_acked_ewma 0
PARAM_VALUE 0 tp->plb_rehash 0
PARAM_VALUE 0 tp->prev_ecnfield 0
PARAM_VALUE 0 tp->rack.advanced 0
PARAM_VALUE 0 tp->rack.dsack_seen 0
PARAM_VALUE 0 tp->rack.last_delivered 0
PARAM_VALUE 0 tp->rack.mstamp 0
PARAM_VALUE 0 tp->rack.reo_wnd_persist 0
PARAM_VALUE 0 tp->rack.reo_wnd_steps 1
PARAM_VALUE 0 tp->rate_app_limited 1
PARAM_VALUE 0 tp->rcv_ooopack 0
PARAM_VALUE 0 tp->rcv_rtt_last_tsecr 0
PARAM_VALUE 0 tp->received_ce 0
PARAM_VALUE 0 tp->received_ce_pending 0
PARAM_VALUE 0 tp->received_ecn_bytes 4096-ptr_max
PARAM_VALUE 0 tp->reord_seen 0
PARAM_VALUE 0 tp->retrans_out 0
PARAM_VALUE 0 tp->rto_stamp 0
PARAM_VALUE 0 tp->rx_opt.dsack 0
PARAM_VALUE 0 tp->rx_opt.num_sacks 0
PARAM_VALUE 0 tp->rx_opt.saw_tstamp 0
PARAM_VALUE 0 tp->sacked_out 0
PARAM_VALUE 0 tp->saved_syn 0
PARAM_VALUE 0 tp->saw_accecn_opt 0
PARAM_VALUE 0 tp->segs_in 0
PARAM_VALUE 0 tp->segs_out 0
PARAM_VALUE 0 tp->snd_cwnd 10
PARAM_VALUE 0 tp->snd_cwnd_cnt 0
PARAM_VALUE 0 tp->snd_ssthresh s32max
PARAM_VALUE 0 tp->srtt_us 0
PARAM_VALUE 0 tp->syn_data_acked 0
PARAM_VALUE 0 tp->syn_fastopen_child 0
PARAM_VALUE 0 tp->tlp_high_seq 0
PARAM_VALUE 0 tp->total_retrans 0
PARAM_VALUE 0 tp->total_rto 0
PARAM_VALUE 0 tp->total_rto_recoveries 0
PARAM_VALUE 0 tp->total_rto_time 0
PARAM_VALUE 0 tp->undo_marker 0
PARAM_VALUE 0 tp->undo_retrans (-1)
PARAM_VALUE 0 tp->urg_data 0
PARAM_VALUE 0 tp->window_clamp 0
PARAM_VALUE 0 tp->write_seq 1-u32max
CAPPED_DATA 0 tp->write_seq 1
MEM_ZERO 0 &tp->rx_opt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 sk

net/ipv4/tcp.c tcp_sendmsg_fastopen() -> tcp_free_fastopen_req()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
PARAM_VALUE 0 tp->fastopen_req 4096-ptr_max
PARAM_VALUE 0 tp->fastopen_req->data 4096-ptr_max
PARAM_VALUE 0 tp->fastopen_req->data->msg_flags 64,128-536920320
PARAM_VALUE 0 tp->fastopen_req->uarg 0
BUF_SIZE 0 tp->fastopen_req 56
NOSPEC 0 tp->fastopen_req->data->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 tp->fastopen_req->data->msg_controllen 0-s32max[c]
USER_DATA 0 tp->fastopen_req->data->msg_flags 64,128-536920320[c]
USER_DATA 0 tp->fastopen_req->data->msg_iter.count 1-18446744073709551614
USER_DATA 0 tp->fastopen_req->data->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 tp->fastopen_req->data->msg_namelen 0-128
USER_DATA 0 tp->fastopen_req->size 0-u64max
USER_PTR 0 tp->fastopen_req->data->msg_control
USER_PTR 0 tp->fastopen_req->data->msg_name
LOCK2 sk
LOCK2 sk
HALF_LOCKED2 &vq->mutex