Defined in 1 files as a function:

Referenced in 10 files:

Smatch caller information:

net/ipv6/ip6_input.c tcp_v6_early_demux() -> dst_check()

Type Parameter Key Value
PARAM_VALUE 0 dst 1-u64max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

net/netfilter/nf_flow_table_core.c nf_flow_dst_check() -> dst_check()

Type Parameter Key Value
PARAM_VALUE 0 dst 1-u64max
RX_PATH
TASK_NOT_RUNNING

net/ipv6/udp.c udp_v6_early_demux() -> dst_check()

Type Parameter Key Value
PARAM_VALUE 0 dst 1-u64max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

net/sctp/transport.c sctp_transport_dst_check() -> dst_check()

Type Parameter Key Value
PARAM_VALUE 0 dst 1-u64max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sk->sk_lock.slock

drivers/infiniband/sw/rxe/rxe_net.c rxe_find_route() -> dst_check()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
DATA_SOURCE 0 dst r sk_dst_get
RX_PATH
TASK_NOT_RUNNING

net/sctp/output.c sctp_transport_dst_check() -> dst_check()

Type Parameter Key Value
PARAM_VALUE 0 dst 1-u64max
RX_PATH
TASK_NOT_RUNNING

net/ipv4/udp.c udp_v4_early_demux() -> dst_check()

Type Parameter Key Value
PARAM_VALUE 0 dst 1-u64max
PARAM_VALUE 1 cookie 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

net/sctp/input.c sctp_transport_dst_check() -> dst_check()

Type Parameter Key Value
PARAM_VALUE 0 dst 1-u64max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &sk->sk_lock.slock
TYPE_LOCK (struct socket_lock_t)->slock

net/ipv4/ip_input.c tcp_v4_early_demux() -> dst_check()

Type Parameter Key Value
PARAM_VALUE 0 dst 1-u64max
PARAM_VALUE 1 cookie 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

net/netfilter/nf_flow_table_ip.c nf_flow_dst_check() -> dst_check()

Type Parameter Key Value
PARAM_VALUE 0 dst 1-u64max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read

net/xfrm/xfrm_policy.c xfrm_bundle_ok() -> dst_check()

Type Parameter Key Value
BUF_SIZE 0 dst (-1),144
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 rcu_read

net/xfrm/xfrm_policy.c xfrm_bundle_ok() -> dst_check()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 rcu_read

net/ipv4/route.c ipv4_sk_update_pmtu() -> dst_check()

Type Parameter Key Value
PARAM_VALUE 1 cookie 0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &sk->sk_lock.slock
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct socket_lock_t)->slock