Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/igmp.c igmp_ifc_event() -> igmp_ifc_start_timer()

Type Parameter Key Value
PARAM_VALUE 0 in_dev 4096-ptr_max
PARAM_VALUE 0 in_dev->dev 4096-ptr_max
PARAM_VALUE 1 delay 1
BUF_SIZE 0 in_dev->arp_parms (-1),160
BUF_SIZE 0 in_dev->arp_parms->tbl (-1),1136
CAPPED_DATA 0 in_dev->dev->nd_net.net 1
DATA_SOURCE 0 in_dev $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 in_dev->dev->flags 0-527362[c]
HALF_LOCKED2 &pmc->lock
HALF_LOCKED2 bh

net/ipv4/igmp.c igmp_ifc_timer_expire() -> igmp_ifc_start_timer()

Type Parameter Key Value
PARAM_VALUE 0 in_dev 4096-ptr_max
PARAM_VALUE 0 in_dev->dev 4096-ptr_max
PARAM_VALUE 0 in_dev->mc_list->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 in_dev->mc_tomb->interface->dev->refcnt_tracker.quarantine.prev 4096-ptr_max
PARAM_VALUE 0 in_dev->mc_tomb->interface->dev->refcnt_tracker.quarantine.prev->next 4096-ptr_max
PARAM_VALUE 0 in_dev->mc_tomb->interface->dev->refcnt_tracker.quarantine.prev->next->next 4096-ptr_max
PARAM_VALUE 0 in_dev->mc_tomb->interface->dev_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 in_dev->mc_tomb->interface->dev_tracker->dead 0-1
PARAM_VALUE 0 in_dev->mc_tomb->interface->dev_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 in_dev->mc_tomb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 delay 1-536870912
CAPPED_DATA 0 in_dev->dev->nd_net.net 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL