Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/igmp.c __ip_mc_dec_group() -> ip_ma_put()

Type Parameter Key Value
PARAM_VALUE 0 im 4096-ptr_max
PARAM_VALUE 0 im->interface 4096-ptr_max
PARAM_VALUE 0 im->interface->dev 4096-ptr_max
PARAM_VALUE 0 im->interface->dev->addr_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 im->interface->dev->mc.tree.rb_node 4096-ptr_max
PARAM_VALUE 0 im->loaded 0
PARAM_VALUE 0 im->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 im->sfmode 0
PARAM_VALUE 0 im->sources 0
PARAM_VALUE 0 im->tomb 0
PARAM_VALUE 0 im->users 0
PARAM_VALUE 0 *im->interface->dev->name 0-255
CAPPED_DATA 0 im 1
CAPPED_DATA 0 im->interface->dev->nd_net.net 1
CAPPED_DATA 0 im->multiaddr 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex

net/ipv4/igmp.c igmp_mod_timer() -> ip_ma_put()

Type Parameter Key Value
PARAM_VALUE 0 im 4096-ptr_max
PARAM_VALUE 0 im->gsquery 0-1
PARAM_VALUE 0 im->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 im->multiaddr 0-3758096384,3758096386-u32max
PARAM_VALUE 0 im->refcnt.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 im->timer.entry->pprev 4096-ptr_max
PARAM_VALUE 0 im->tm_running 1
PARAM_VALUE 0 im->unsolicit_count 0
DATA_SOURCE 0 im $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read

net/ipv4/igmp.c igmp_start_timer() -> ip_ma_put()

Type Parameter Key Value
PARAM_VALUE 0 im 4096-ptr_max
PARAM_VALUE 0 im->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 im->refcnt.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 im->tm_running 1
BUF_SIZE 0 im (-1),272
BUF_SIZE 0 im (-1),272
DATA_SOURCE 0 im $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 im->multiaddr 0-3758096384,3758096386-u32max
LOCK2 0 &im->lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct ip_mc_list)->lock

net/ipv4/igmp.c igmp_stop_timer() -> ip_ma_put()

Type Parameter Key Value
PARAM_VALUE 0 im 4096-ptr_max
PARAM_VALUE 0 im->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 im->multiaddr 0-3758096384,3758096386-u32max
PARAM_VALUE 0 im->reporter 0
PARAM_VALUE 0 im->timer.entry.pprev 0
PARAM_VALUE 0 im->timer.flags 0-4194302
PARAM_VALUE 0 im->timer.function 0
PARAM_VALUE 0 im->tm_running 0
PARAM_VALUE 0 im->unsolicit_count 0
CAPPED_DATA 0 im 1
CAPPED_DATA 0 im->multiaddr 1
DATA_SOURCE 0 im $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 rcu_read

net/ipv4/igmp.c igmp_timer_expire() -> ip_ma_put()

Type Parameter Key Value
PARAM_VALUE 0 im 4096-ptr_max
PARAM_VALUE 0 im->interface 4096-ptr_max
PARAM_VALUE 0 im->interface->dev 4096-ptr_max
PARAM_VALUE 0 im->interface->mc_list->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 im->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 im->reporter 1
PARAM_VALUE 0 im->tm_running 0-1
FUZZY_MAX 0 im->tm_running 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/ipv4/igmp.c ip_mc_destroy_dev() -> ip_ma_put()

Type Parameter Key Value
PARAM_VALUE 0 im 4096-ptr_max
PARAM_VALUE 0 im->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 im->sfmode 0
PARAM_VALUE 0 im->sources 0
PARAM_VALUE 0 im->tomb 0
NOCHECK_CALL