Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

net/ipv6/udp.c udp6_unicast_rcv_skb() -> inet_get_convert_csum()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-ptr_max
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len

net/ipv6/udp.c udp_rcv_segment() -> inet_get_convert_csum()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-ptr_max
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len

net/ipv4/udp.c udp_rcv_segment() -> inet_get_convert_csum()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-ptr_max
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
HALF_LOCKED2 rcu_read

net/ipv4/udp.c udp_unicast_rcv_skb() -> inet_get_convert_csum()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-ptr_max
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
HALF_LOCKED2 rcu_read