Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv6/addrconf.c ipv6_dev_get_saddr() -> ipv6_get_saddr_master()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->ipv4.fqdir->f->frag_expire 0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560
PARAM_VALUE 0 net->ipv4.fqdir->f->qsize 0,304,320
PARAM_VALUE 0 net->loopback_dev->rtnl_link_ops->maxtype 0-6,8-10,15,18,20,22,24,34,50
PARAM_VALUE 1 dst_dev 4096-ptr_max
PARAM_VALUE 2 master 4096-ptr_max
PARAM_VALUE 3 dst 1956473023761793024
PARAM_VALUE 3 dst->addr 4096-ptr_max
PARAM_VALUE 3 dst->prefs 0-255
PARAM_VALUE 3 dst->scope 3-15
PARAM_VALUE 4 scores 4096-ptr_max
PARAM_VALUE 5 hiscore_idx 0
BUF_SIZE 0 net (-1),1-s32max
BUF_SIZE 0 net (-1),1-s32max
BUF_SIZE 4 scores 64
CAPPED_DATA 1 dst_dev->ip6_ptr 1
DATA_SOURCE 0 net $0
DATA_SOURCE 1 dst_dev $1
DATA_SOURCE 2 master r l3mdev_master_dev_rcu
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 dst_dev->group
NO_OVERFLOW_SIMPLE 1 dst_dev->num_tc
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.rx_bytes
NO_OVERFLOW_SIMPLE 1 dst_dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE 1 dst_dev->tx_queue_len
NO_OVERFLOW_SIMPLE 2 master->group
NO_OVERFLOW_SIMPLE 2 master->num_tc
NO_OVERFLOW_SIMPLE 2 master->proto_down
NO_OVERFLOW_SIMPLE 2 master->real_num_rx_queues
NO_OVERFLOW_SIMPLE 2 master->real_num_tx_queues
NO_OVERFLOW_SIMPLE 2 master->stats.rx_bytes
NO_OVERFLOW_SIMPLE 2 master->stats.tx_bytes
NO_OVERFLOW_SIMPLE 2 master->tx_queue_len
UNITS 0 net unit_byte
UNITS 1 dst_dev unit_byte
LOCK2 rcu_read
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 bh
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 0 &net->ipv4.mfc_mutex
HALF_LOCKED2 0 &net->ipv6.mfc_mutex