Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/netfilter/nf_flow_table_core.c rt6_get_cookie() -> fib6_get_cookie_safe()

Type Parameter Key Value
PARAM_VALUE 0 f6i 1-u64max
PARAM_VALUE 1 cookie 4515902737695748096
PARAM_VALUE 1 *cookie 0
NOCHECK_CALL
LOCK2 rcu_read

net/ipv6/udp.c rt6_get_cookie() -> fib6_get_cookie_safe()

Type Parameter Key Value
PARAM_VALUE 0 f6i 1-u64max
PARAM_VALUE 1 cookie 4959242009044971520
PARAM_VALUE 1 *cookie 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read

net/ipv6/inet6_connection_sock.c rt6_get_cookie() -> fib6_get_cookie_safe()

Type Parameter Key Value
PARAM_VALUE 0 f6i 1-u64max
PARAM_VALUE 1 cookie 263477694122590208
PARAM_VALUE 1 *cookie 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/netfilter/ipvs/ip_vs_xmit.c rt6_get_cookie() -> fib6_get_cookie_safe()

Type Parameter Key Value
PARAM_VALUE 0 f6i 1-u64max
PARAM_VALUE 1 cookie 8400296965026480128
PARAM_VALUE 1 *cookie 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dest->dst_lock
LOCK2 bh
LOCK2 rcu_read
TYPE_LOCK (struct ip_vs_dest)->dst_lock

net/core/dst_cache.c rt6_get_cookie() -> fib6_get_cookie_safe()

Type Parameter Key Value
PARAM_VALUE 0 f6i 1-u64max
PARAM_VALUE 1 cookie 4699494417018273792
PARAM_VALUE 1 *cookie 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read
HALF_LOCKED2 &peer->endpoint_lock
HALF_LOCKED2 bh

drivers/infiniband/sw/rxe/rxe_net.c rt6_get_cookie() -> fib6_get_cookie_safe()

Type Parameter Key Value
PARAM_VALUE 0 f6i 1-u64max
PARAM_VALUE 1 cookie 4651366759578906624
PARAM_VALUE 1 *cookie 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read

net/ipv6/route.c fib6_check() -> fib6_get_cookie_safe()

Type Parameter Key Value
PARAM_VALUE 0 f6i 1-u64max
PARAM_VALUE 1 cookie 5890054374596870144
PARAM_VALUE 1 *cookie 0
DATA_SOURCE 0 f6i $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 &sk->sk_lock.slock

net/ipv6/route.c rt6_check() -> fib6_get_cookie_safe()

Type Parameter Key Value
PARAM_VALUE 0 f6i 1-u64max
PARAM_VALUE 1 cookie 8035165243261460480
PARAM_VALUE 1 *cookie 0
DATA_SOURCE 0 f6i $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 &sk->sk_lock.slock

net/ipv6/route.c rt6_get_cookie() -> fib6_get_cookie_safe()

Type Parameter Key Value
PARAM_VALUE 0 f6i 1-u64max
PARAM_VALUE 1 cookie 4470257505069203456
PARAM_VALUE 1 *cookie 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/ipv6/tcp_ipv6.c rt6_get_cookie() -> fib6_get_cookie_safe()

Type Parameter Key Value
PARAM_VALUE 0 f6i 1-u64max
PARAM_VALUE 1 cookie 3726224084751400960
PARAM_VALUE 1 *cookie 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read

net/ipv6/xfrm6_policy.c rt6_get_cookie() -> fib6_get_cookie_safe()

Type Parameter Key Value
PARAM_VALUE 0 f6i 1-u64max
PARAM_VALUE 1 cookie 6532054454426845184
PARAM_VALUE 1 *cookie 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read
HALF_LOCKED2 bh

net/ipv6/af_inet6.c rt6_get_cookie() -> fib6_get_cookie_safe()

Type Parameter Key Value
PARAM_VALUE 0 f6i 1-u64max
PARAM_VALUE 1 cookie 1377980962984431616
PARAM_VALUE 1 *cookie 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/xfrm/xfrm_policy.c rt6_get_cookie() -> fib6_get_cookie_safe()

Type Parameter Key Value
PARAM_VALUE 0 f6i 1-u64max
PARAM_VALUE 1 cookie 208866923288760320
PARAM_VALUE 1 *cookie 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read
HALF_LOCKED2 bh

net/sctp/ipv6.c rt6_get_cookie() -> fib6_get_cookie_safe()

Type Parameter Key Value
PARAM_VALUE 0 f6i 1-u64max
PARAM_VALUE 1 cookie 4071189448744374272
PARAM_VALUE 1 *cookie 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read