Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/mptcp/protocol.c __mptcp_init_sock() -> mptcp_pm_data_init()

Type Parameter Key Value
PARAM_VALUE 0 msk 4096-ptr_max
PARAM_VALUE 0 msk->allow_infinite_fallback 1
PARAM_VALUE 0 msk->allow_subflows 1
PARAM_VALUE 0 msk->backlog_len 0
PARAM_VALUE 0 msk->backlog_list.next 4096-ptr_max
PARAM_VALUE 0 msk->backlog_list.next->next 4096-ptr_max
PARAM_VALUE 0 msk->backlog_list.prev 4096-ptr_max
PARAM_VALUE 0 msk->backlog_list.prev->next 4096-ptr_max
PARAM_VALUE 0 msk->backlog_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 msk->conn_list.next 4096-ptr_max
PARAM_VALUE 0 msk->conn_list.next->next 4096-ptr_max
PARAM_VALUE 0 msk->conn_list.prev 4096-ptr_max
PARAM_VALUE 0 msk->conn_list.prev->next 4096-ptr_max
PARAM_VALUE 0 msk->conn_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 msk->first 0
PARAM_VALUE 0 msk->first_pending 0
PARAM_VALUE 0 msk->join_list.next 4096-ptr_max
PARAM_VALUE 0 msk->join_list.next->next 4096-ptr_max
PARAM_VALUE 0 msk->join_list.prev 4096-ptr_max
PARAM_VALUE 0 msk->join_list.prev->next 4096-ptr_max
PARAM_VALUE 0 msk->join_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 msk->rcv_rtt_est.next_sample 0
PARAM_VALUE 0 msk->recovery 0
PARAM_VALUE 0 msk->rtx_queue.next 4096-ptr_max
PARAM_VALUE 0 msk->rtx_queue.next->next 4096-ptr_max
PARAM_VALUE 0 msk->rtx_queue.prev 4096-ptr_max
PARAM_VALUE 0 msk->rtx_queue.prev->next 4096-ptr_max
PARAM_VALUE 0 msk->rtx_queue.prev->prev 4096-ptr_max
PARAM_VALUE 0 msk->scaling_ratio 128
PARAM_VALUE 0 msk->subflow_id 1
PARAM_VALUE 0 msk->timer_ival 50
PARAM_VALUE 0 *msk->rcv_rtt_est.samples 4294967295
BIT_INFO 0 msk->out_of_order_queue 0x0,0x7fffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL