Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 im 4096-ptr_max
PARAM_VALUE 0 im->interface 4096-ptr_max
PARAM_VALUE 0 im->interface->dead 0
PARAM_VALUE 0 im->interface->dev 4096-ptr_max
PARAM_VALUE 0 im->loaded 1-255
PARAM_VALUE 0 im->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 im->multiaddr 0-3758096384,3758096386-u32max
PARAM_VALUE 1 max_delay 1
BUF_SIZE 0 im (-1),272
BUF_SIZE 0 im (-1),272
DATA_SOURCE 0 im $0
FUZZY_MAX 0 im->loaded 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 im->multiaddr 0-3758096384,3758096386-u32max
LOCK2 bh
LOCK2 0 &im->lock
TYPE_LOCK (struct ip_mc_list)->lock

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

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->timer.entry.pprev 0
PARAM_VALUE 0 im->timer.flags 0-4194302
PARAM_VALUE 0 im->timer.function 0
PARAM_VALUE 0 im->unsolicit_count 0
PARAM_VALUE 1 max_delay s32min-(-1),1-s32max
CAPPED_DATA 1 max_delay 1
DATA_SOURCE 0 im $0
DATA_SOURCE 1 max_delay $1
FUZZY_MAX 1 max_delay 2500
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 max_delay unit_jiffy
LOCK2 bh
LOCK2 rcu_read
LOCK2 0 &im->lock
TYPE_LOCK (struct ip_mc_list)->lock

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

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->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 im->tm_running 0
PARAM_VALUE 0 im->unsolicit_count 1-255
PARAM_VALUE 1 max_delay 1-536870912
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &im->lock
TYPE_LOCK (struct ip_mc_list)->lock