Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv6/mcast.c __ipv6_sock_mc_join() -> __ipv6_dev_mc_inc()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->refcnt_tracker.list.next 4096-ptr_max
PARAM_VALUE 0 dev->refcnt_tracker.list.next->next 4096-ptr_max
PARAM_VALUE 0 dev->refcnt_tracker.list.next->prev 4096-ptr_max
PARAM_VALUE 0 dev->rtnl_link_ops->priv_size 0,8,32,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736
PARAM_VALUE 1 addr 4096-ptr_max
PARAM_VALUE 2 mode 0-1
BUF_SIZE 1 addr (-1),16
BUF_SIZE 1 addr (-1),16
DATA_SOURCE 0 dev r ip6_mc_find_dev
DATA_SOURCE 1 addr $2
DATA_SOURCE 2 mode $3
HARD_MAX 2 mode 1
RX_PATH
TASK_NOT_RUNNING
USER_PTR 1 addr
HALF_LOCKED2 sk

net/ipv6/mcast.c ipv6_dev_mc_inc() -> __ipv6_dev_mc_inc()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 addr 723064523762663424,763100330867298304,1379810044914405376,1651219317643698176,4156509514105393152,4580484477245407232,6675404653372985344,7915789140402888704
PARAM_VALUE 2 mode 0
CAPPED_DATA 0 dev 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 addr $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 dev unit_byte
HALF_LOCKED2 &net->rtnl_mutex
HALF_LOCKED2 &tbl->phash_lock
HALF_LOCKED2 global &rtnl_mutex