Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

net/ipv6/udp.c __udp6_lib_demux_lookup() -> inet6_match()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 1 sk 4096-ptr_max
PARAM_VALUE 3 daddr 4096-ptr_max
DATA_SOURCE 0 net $0
DATA_SOURCE 2 saddr $4
DATA_SOURCE 3 daddr $2
DATA_SOURCE 5 dif $5
DATA_SOURCE 6 sdif $6
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 4 ports 0-u32max[c]
UNITS 0 net unit_byte
UNITS 5 dif unit_array_size
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

net/ipv6/inet6_hashtables.c __inet6_check_established() -> inet6_match()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 1 sk 4096-ptr_max
PARAM_VALUE 2 saddr 4096-ptr_max
PARAM_VALUE 3 daddr 4096-ptr_max
BUF_SIZE 2 saddr 16
BUF_SIZE 3 daddr 16
CAPPED_DATA 0 net 1
CAPPED_DATA 1 sk->__sk_common.skc_hash 1
CAPPED_DATA 5 dif 1
DATA_SOURCE 6 sdif r l3mdev_master_ifindex_by_index
RX_PATH
TASK_NOT_RUNNING
UNITS 0 net unit_byte
UNITS 5 dif unit_array_size
LOCK2 rcu_read
HALF_LOCKED2 global &once_mutex
HALF_LOCKED2 sk

net/ipv6/inet6_hashtables.c __inet6_check_established() -> inet6_match()

Type Parameter Key Value
PARAM_VALUE 1 sk 4096-ptr_max
PARAM_VALUE 2 saddr 4096-ptr_max
PARAM_VALUE 3 daddr 4096-ptr_max
BUF_SIZE 2 saddr 16
BUF_SIZE 3 daddr 16
CAPPED_DATA 1 sk->__sk_common.skc_hash 1
CAPPED_DATA 5 dif 1
DATA_SOURCE 6 sdif r l3mdev_master_ifindex_by_index
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
UNITS 0 net unit_byte
UNITS 5 dif unit_array_size
LOCK2 bh
LOCK2 lock
HALF_LOCKED2 &head->lock
HALF_LOCKED2 sk

net/ipv6/inet6_hashtables.c __inet6_lookup_established() -> inet6_match()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 1 sk 4096-ptr_max
PARAM_VALUE 2 saddr 4096-ptr_max
PARAM_VALUE 3 daddr 4096-ptr_max
BUF_SIZE 2 saddr (-1),16
BUF_SIZE 2 saddr (-1),16
BUF_SIZE 3 daddr (-1),16
BUF_SIZE 3 daddr (-1),16
CAPPED_DATA 0 net 1
CAPPED_DATA 1 sk->__sk_common.skc_hash 1
DATA_SOURCE 0 net $0
DATA_SOURCE 2 saddr $1
DATA_SOURCE 3 daddr $3
DATA_SOURCE 5 dif $5
DATA_SOURCE 6 sdif $6
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 4 ports 0-u32max[c]
USER_DATA 5 dif s32min-s32max
UNITS 0 net unit_byte
UNITS 5 dif unit_array_size
UNITS 6 sdif unit_array_size
HALF_LOCKED2 rcu_read

net/ipv6/inet6_hashtables.c __inet6_lookup_established() -> inet6_match()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 1 sk 4096-ptr_max
PARAM_VALUE 1 sk->__sk_common.skc_family 10
PARAM_VALUE 2 saddr 4096-ptr_max
PARAM_VALUE 3 daddr 4096-ptr_max
BUF_SIZE 2 saddr (-1),16
BUF_SIZE 2 saddr (-1),16
BUF_SIZE 3 daddr (-1),16
BUF_SIZE 3 daddr (-1),16
CAPPED_DATA 0 net 1
CAPPED_DATA 1 sk->__sk_common.skc_hash 1
CAPPED_DATA 1 sk->__sk_common.skc_net.net 1
CAPPED_DATA 4 ports 1
DATA_SOURCE 0 net $0
DATA_SOURCE 2 saddr $1
DATA_SOURCE 3 daddr $3
DATA_SOURCE 5 dif $5
DATA_SOURCE 6 sdif $6
PARAM_COMPARE 4 ports == $1->__sk_common.skc_portpair
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 4 ports 0-u32max[c]
USER_DATA 5 dif s32min-s32max
UNITS 0 net unit_byte
UNITS 5 dif unit_array_size
UNITS 6 sdif unit_array_size
HALF_LOCKED2 rcu_read

net/ipv4/inet_hashtables.c inet_ehash_lookup_by_sk() -> inet6_match()

Type Parameter Key Value
PARAM_VALUE 1 sk 4096-ptr_max
PARAM_VALUE 2 saddr 4096-ptr_max
PARAM_VALUE 3 daddr 4096-ptr_max
BUF_SIZE 0 net (-1),1-s32max
BUF_SIZE 0 net (-1),1-s32max
CAPPED_DATA 1 sk->__sk_common.skc_hash 1
PARAM_COMPARE 5 dif == $6
PARAM_COMPARE 6 sdif == $5
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 net unit_byte
UNITS 5 dif unit_array_size
UNITS 6 sdif unit_array_size
LOCK2 lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read
HALF_LOCKED2 sk