Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/core/dst_cache.c dst_cache_per_cpu_get() -> dst_cache_per_cpu_dst_set()

Type Parameter Key Value
PARAM_VALUE 0 dst_cache 4096-ptr_max
PARAM_VALUE 0 dst_cache->dst 1-u64max
PARAM_VALUE 0 dst_cache->dst->obsolete s16min-(-1),1-s16max
PARAM_VALUE 0 dst_cache->dst->ops 4096-ptr_max
PARAM_VALUE 1 dst 0
PARAM_VALUE 2 cookie 0
DATA_SOURCE 0 dst_cache $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

net/core/dst_cache.c dst_cache_set_ip4() -> dst_cache_per_cpu_dst_set()

Type Parameter Key Value
PARAM_VALUE 1 dst 0-ptr_max
PARAM_VALUE 2 cookie 0
DATA_SOURCE 1 dst $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &peer->endpoint_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

net/core/dst_cache.c dst_cache_set_ip6() -> dst_cache_per_cpu_dst_set()

Type Parameter Key Value
PARAM_VALUE 1 dst 4096-ptr_max
BUF_SIZE 1 dst (-1)-0,4,24,64,144,152,168-s32max
BUF_SIZE 1 dst (-1)-0,4,24,64,144,152,168-s32max
CAPPED_DATA 1 dst 1
DATA_SOURCE 1 dst $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 dst->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE 1 dst->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE 1 dst->dev->stats.tx_bytes
HALF_LOCKED2 &peer->endpoint_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read