Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/tcp_ipv4.c tcp_v4_err() -> do_redirect()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 0 skb->data 4096-ptr_max
PARAM_VALUE 0 skb->dev 4096-ptr_max
PARAM_VALUE 0 skb->dev->nd_net.net->ipv4.tcp_death_row.hashinfo 4096-ptr_max
PARAM_VALUE 1 sk 4096-ptr_max
PARAM_VALUE 1 sk->__sk_common.skc_refcnt.refs.counter (-1073741824),0-s32max
PARAM_VALUE 1 sk->__sk_common.skc_state 0-5,8-11,13-255
PARAM_VALUE 1 sk->sk_lock.owned 0
PARAM_VALUE 1 sk->sk_lock.slock.rlock.dep_map->name 0-255
CAPPED_DATA 0 skb->dev->nd_net.net 1
CAPPED_DATA 1 sk->__sk_common.skc_addrpair 1
CAPPED_DATA 1 sk->__sk_common.skc_hash 1
CAPPED_DATA 1 sk->__sk_common.skc_net.net 1
DATA_SOURCE 0 skb $0
DATA_SOURCE 1 sk r __inet_lookup_established
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 1 &sk->sk_lock.slock
TYPE_LOCK (struct socket_lock_t)->slock