Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/udp.c __udp_enqueue_schedule_skb() -> udp_rmem_schedule()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_state 0-5,7-255
PARAM_VALUE 0 sk->sk_filter 0
PARAM_VALUE 0 sk->sk_receive_queue.lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 size 0-s32max
CAPPED_DATA 0 sk 1
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
DATA_SOURCE 0 sk $0
DATA_SOURCE 1 size r udp_skb_truesize
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
NO_OVERFLOW_SIMPLE 1 size
UNITS 1 size unit_byte
LOCK2 &list->lock
TYPE_LOCK (struct sk_buff_head)->lock