Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv6/addrlabel.c ip6addrlbl_get() -> __ipv6_addr_label()

Type Parameter Key Value
PARAM_VALUE 1 addr 4096-ptr_max
PARAM_VALUE 2 type 0,2
CAPPED_DATA 3 ifindex 1
DATA_SOURCE 1 addr r nla_data
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 ifindex 0-s32max[c]
UNITS 0 net unit_byte
UNITS 3 ifindex unit_array_size
USER_PTR 1 addr
LOCK2 rcu_read
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex

net/ipv6/addrlabel.c ipv6_addr_label() -> __ipv6_addr_label()

Type Parameter Key Value
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 2 type 0,16-4240
BUF_SIZE 0 net (-1),1-s32max
BUF_SIZE 0 net (-1),1-s32max
DATA_SOURCE 0 net $0
DATA_SOURCE 1 addr $1
DATA_SOURCE 2 type $2 [m]
DATA_SOURCE 3 ifindex $3
BIT_INFO 2 type 0x0,0x1090
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 net unit_byte
UNITS 3 ifindex unit_array_size
LOCK2 rcu_read
HALF_LOCKED2 bh
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 0 &net->ipv4.mfc_mutex
HALF_LOCKED2 0 &net->ipv6.mfc_mutex