Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/mptcp/protocol.c __mptcp_move_skbs() -> __mptcp_ofo_queue()

Type Parameter Key Value
PARAM_VALUE 0 msk 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 msk unit_byte

net/mptcp/protocol.c move_skbs_to_msk() -> __mptcp_ofo_queue()

Type Parameter Key Value
PARAM_VALUE 0 msk 4096-ptr_max
PARAM_VALUE 0 msk->sk_backlog.rmem_alloc.counter s32min-s32max
PARAM_VALUE 0 msk->sk_drop_counters->drops0.counter s32min-s32max
PARAM_VALUE 0 msk->sk_drop_counters->drops1.counter s32min-s32max
PARAM_VALUE 0 msk->sk_drops.counter s32min-s32max
PARAM_VALUE 0 msk->sk_forward_alloc s32min-s32max
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_receive_queue.qlen 0-4294967295
PARAM_VALUE 0 *msk->__sk_common.skc_prot->per_cpu_fw_alloc s32min-s32max
PARAM_VALUE 0 *msk->rcv_rtt_est.samples 0-4294967295
DATA_SOURCE 0 msk $0
PREEMPT_ADD
NOCHECK_CALL
UNITS 0 msk unit_byte
LOCK2 &sk->sk_lock.slock
LOCK2 bh
TYPE_LOCK (struct socket_lock_t)->slock