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_eval()

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 score 4096-ptr_max
PARAM_VALUE 1 score->addr_type 0,2,65554,131089,131105-131106,196610-262146,327745-327746,393218-983042
PARAM_VALUE 1 score->rule (-1)-s32max
PARAM_VALUE 1 score->scopedist (-32896)-32768
PARAM_VALUE 2 dst 1956473023761793024
PARAM_VALUE 2 dst->addr 4096-ptr_max
PARAM_VALUE 2 dst->prefs 0-255
PARAM_VALUE 2 dst->scope (-1)-15
PARAM_VALUE 3 i 0-10
BUF_SIZE 0 net (-1),1-s32max
BUF_SIZE 0 net (-1),1-s32max
CAPPED_DATA 2 dst->scope 1
DATA_SOURCE 0 net $0
DATA_SOURCE 2 dst $1
FUZZY_MAX 3 i 10
HARD_MAX 3 i 10
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 net 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

net/ipv6/addrconf.c __ipv6_dev_get_saddr() -> ipv6_get_saddr_eval()

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 score 4096-ptr_max
PARAM_VALUE 1 score->addr_type 2,65554,131089,131105-131106,196610-262146,327745-327746,393218-983042
PARAM_VALUE 1 score->ifa 4096-ptr_max
PARAM_VALUE 1 score->rule (-1)-10
PARAM_VALUE 1 score->scopedist (-32896)-32768
PARAM_VALUE 2 dst 1956473023761793024
PARAM_VALUE 2 dst->addr 4096-ptr_max
PARAM_VALUE 2 dst->prefs 0-255
PARAM_VALUE 2 dst->scope (-1)-15
PARAM_VALUE 3 i 0-10
BUF_SIZE 0 net (-1),1-s32max
BUF_SIZE 0 net (-1),1-s32max
CAPPED_DATA 2 dst->scope 1
DATA_SOURCE 0 net $0
DATA_SOURCE 2 dst $1
FUZZY_MAX 3 i 10
BIT_INFO 1 score->addr_type 0x0,0xffffd
MEM_ZERO 1 score->scorebits
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 net 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