Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

net/ipv6/addrconf.c dev_forward_change() -> ipv6_dev_mc_dec()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->flags 4096-u32max
PARAM_VALUE 1 addr 4156509514105393152
BIT_INFO 0 dev->flags 0x1000,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dev unit_byte
LOCK2 &net->rtnl_mutex
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct net)->rtnl_mutex

net/ipv6/addrconf.c dev_forward_change() -> ipv6_dev_mc_dec()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->flags 4096-u32max
PARAM_VALUE 0 dev->ip6_ptr 0,4096-ptr_max
PARAM_VALUE 1 addr 6675404653372985344
BIT_INFO 0 dev->flags 0x1000,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dev unit_byte
LOCK2 &net->rtnl_mutex
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct net)->rtnl_mutex

net/ipv6/addrconf.c dev_forward_change() -> ipv6_dev_mc_dec()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->flags 4096-u32max
PARAM_VALUE 0 dev->ip6_ptr 0,4096-ptr_max
PARAM_VALUE 1 addr 723064523762663424
BIT_INFO 0 dev->flags 0x1000,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dev unit_byte
LOCK2 &net->rtnl_mutex
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct net)->rtnl_mutex

net/bridge/br_multicast.c br_ip6_multicast_leave_snoopers() -> ipv6_dev_mc_dec()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->ip_ptr 0,4096-ptr_max
PARAM_VALUE 1 addr 691153362296074240
CAPPED_DATA 0 dev->ip_ptr 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex

net/ipv6/ndisc.c pndisc_destructor() -> ipv6_dev_mc_dec()

Type Parameter Key Value
PARAM_VALUE 0 dev 1-u64max
PARAM_VALUE 1 addr 2144856176402436096
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dev unit_byte