Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv6/route.c __rt6_find_exception_rcu() -> rt6_exception_hash()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 1 src 0,4096-ptr_max
BUF_SIZE 1 src (-1)-0,16
BUF_SIZE 1 src (-1)-0,16
DATA_SOURCE 0 dst $1
DATA_SOURCE 1 src $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read

net/ipv6/route.c __rt6_find_exception_spinlock() -> rt6_exception_hash()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 1 src 0,4096-ptr_max
BUF_SIZE 1 src 0,16
BUF_SIZE 1 src 0,16
DATA_SOURCE 0 dst $1
DATA_SOURCE 1 src $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 bh
LOCK2 global &rt6_exception_lock
HALF_LOCKED2 rcu_read