Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/mptcp/protocol.c mptcp_disconnect() -> mptcp_pm_data_reset()

Type Parameter Key Value
PARAM_VALUE 0 msk 4096-ptr_max
PARAM_VALUE 0 msk->__sk_common.skc_net.net->notrefcnt_tracker.dead 0-1
PARAM_VALUE 0 msk->__sk_common.skc_net.net->notrefcnt_tracker.quarantine_avail 0-4294967295
PARAM_VALUE 0 msk->__sk_common.skc_net.net->ns.__ns_ref.refs.counter s32min-s32max
PARAM_VALUE 0 msk->__sk_common.skc_net.net->passive.refs.counter s32min-s32max
PARAM_VALUE 0 msk->__sk_common.skc_net.net->refcnt_tracker.dead 0-1
PARAM_VALUE 0 msk->__sk_common.skc_net.net->refcnt_tracker.quarantine_avail 0-4294967295
PARAM_VALUE 0 msk->__sk_common.skc_prot 4096-ptr_max
PARAM_VALUE 0 msk->__sk_common.skc_refcnt.refs.counter s32min-s32max
PARAM_VALUE 0 msk->__sk_common.skc_state 0-255
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->can_ack 0
PARAM_VALUE 0 msk->cb_flags 0
PARAM_VALUE 0 msk->fallback_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 msk->fastclosing 1
PARAM_VALUE 0 msk->fastopening 0
PARAM_VALUE 0 msk->flags 0
PARAM_VALUE 0 msk->fully_established 0
PARAM_VALUE 0 msk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 msk->ns_tracker->dead 0-1
PARAM_VALUE 0 msk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 msk->out_of_order_queue.rb_node 0,4096-ptr_max
PARAM_VALUE 0 msk->pm.anno_list.next 4096-ptr_max
PARAM_VALUE 0 msk->pm.anno_list.next->next 4096-ptr_max
PARAM_VALUE 0 msk->pm.anno_list.next->prev 4096-ptr_max
PARAM_VALUE 0 msk->pm.anno_list.prev 4096-ptr_max
PARAM_VALUE 0 msk->pm.anno_list.prev->next 4096-ptr_max
PARAM_VALUE 0 msk->pm.anno_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 msk->pm.userspace_pm_local_addr_list.next 4096-ptr_max
PARAM_VALUE 0 msk->pm.userspace_pm_local_addr_list.next->next 4096-ptr_max
PARAM_VALUE 0 msk->pm.userspace_pm_local_addr_list.next->prev 4096-ptr_max
PARAM_VALUE 0 msk->pm.userspace_pm_local_addr_list.prev 4096-ptr_max
PARAM_VALUE 0 msk->pm.userspace_pm_local_addr_list.prev->next 4096-ptr_max
PARAM_VALUE 0 msk->pm.userspace_pm_local_addr_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 msk->rcv_data_fin 0
PARAM_VALUE 0 msk->rcv_fastclose 0
PARAM_VALUE 0 msk->recovery 0
PARAM_VALUE 0 msk->sk_callback_lock.dep_map->name 0-255
PARAM_VALUE 0 msk->sk_err (-2147483647)-(-1),1-s32max
PARAM_VALUE 0 msk->sk_error_queue.qlen 0-4294967295
PARAM_VALUE 0 msk->sk_filter->rcu.next 0
PARAM_VALUE 0 msk->sk_forward_alloc s32min-s32max
PARAM_VALUE 0 msk->sk_lock.slock.rlock.dep_map->name 0-255
PARAM_VALUE 0 msk->sk_memcg->memory.protection_support 0-1
PARAM_VALUE 0 msk->sk_memcg->memory.track_failcnt 0-1
PARAM_VALUE 0 msk->sk_memcg->memsw.protection_support 0-1
PARAM_VALUE 0 msk->sk_memcg->memsw.track_failcnt 0-1
PARAM_VALUE 0 msk->sk_memcg->tcpmem.protection_support 0-1
PARAM_VALUE 0 msk->sk_memcg->tcpmem.track_failcnt 0-1
PARAM_VALUE 0 msk->sk_omem_alloc.counter s32min-s32max
PARAM_VALUE 0 msk->sk_owner->refcnt.counter s32min-s32max
PARAM_VALUE 0 msk->sk_prot_creator->owner->refcnt.counter s32min-s32max
PARAM_VALUE 0 msk->sk_receive_queue.qlen 0-4294967295
PARAM_VALUE 0 msk->sk_reuseport_cb->rcu.next 0
PARAM_VALUE 0 msk->sk_security 0
PARAM_VALUE 0 msk->sk_sndbuf s32min-s32max
PARAM_VALUE 0 msk->sk_wmem_alloc.refs.counter s32min-s32max
PARAM_VALUE 0 msk->sk_wmem_queued s32min-s32max
PARAM_VALUE 0 msk->snd_data_fin_enable 0
PARAM_VALUE 0 msk->token 0
PARAM_VALUE 0 msk->use_64bit_ack 0
PARAM_VALUE 0 *msk->__sk_common.skc_prot->per_cpu_fw_alloc s32min-s32max
PARAM_VALUE 0 *msk->sk_callback_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *msk->sk_user_data (-4611686018427387904)-4611686018427387903
CAPPED_DATA 0 msk 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 msk unit_byte
HALF_LOCKED2 sk

net/mptcp/pm.c mptcp_pm_data_init() -> mptcp_pm_data_reset()

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->pm.anno_list.next 4096-ptr_max
PARAM_VALUE 0 msk->pm.anno_list.next->next 4096-ptr_max
PARAM_VALUE 0 msk->pm.anno_list.prev 4096-ptr_max
PARAM_VALUE 0 msk->pm.anno_list.prev->next 4096-ptr_max
PARAM_VALUE 0 msk->pm.anno_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 msk->pm.userspace_pm_local_addr_list.next 4096-ptr_max
PARAM_VALUE 0 msk->pm.userspace_pm_local_addr_list.next->next 4096-ptr_max
PARAM_VALUE 0 msk->pm.userspace_pm_local_addr_list.prev 4096-ptr_max
PARAM_VALUE 0 msk->pm.userspace_pm_local_addr_list.prev->next 4096-ptr_max
PARAM_VALUE 0 msk->pm.userspace_pm_local_addr_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
DATA_SOURCE 0 msk $0
BIT_INFO 0 msk->out_of_order_queue 0x0,0x7fffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL