Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/devinet.c inetdev_event() -> inetdev_send_gratuitous_arp()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->ip_ptr->dev 4096-ptr_max
PARAM_VALUE 0 dev->ip_ptr->dev->nd_net.net 4096-ptr_max
PARAM_VALUE 0 dev->ip_ptr->mc_list 4096-ptr_max
PARAM_VALUE 0 dev->ip_ptr->mc_list->interface->dev->addr_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->ip_ptr->mc_list->interface->dev->mc.list.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->ip_ptr->mc_list->interface->dev->work_node.next 4096-ptr_max
PARAM_VALUE 0 dev->ip_ptr->mc_list->interface->mr_ifc_timer.entry->pprev 4096-ptr_max
PARAM_VALUE 0 dev->ip_ptr->mc_list->interface->refcnt.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 dev->ip_ptr->mc_list->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->ip_ptr->mc_list->timer.entry->pprev 4096-ptr_max
PARAM_VALUE 0 dev->ip_ptr->mc_tomb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->ip_ptr->mr_ifc_timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 dev->ip_ptr->mr_ifc_timer.entry.pprev 0,4096-ptr_max
PARAM_VALUE 0 dev->mtu 68-u32max
PARAM_VALUE 0 *dev->ip_ptr->mc_list->interface->dev->name 0-255
PARAM_VALUE 1 in_dev 1-u64max
PARAM_VALUE 1 in_dev->dev 4096-ptr_max
PARAM_VALUE 1 in_dev->dev->nd_net.net 4096-ptr_max
PARAM_VALUE 1 in_dev->mc_list 4096-ptr_max
PARAM_VALUE 1 in_dev->mc_list->interface->dev->addr_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 in_dev->mc_list->interface->dev->mc.list.prev->next 4096-ptr_max
PARAM_VALUE 1 in_dev->mc_list->interface->dev->work_node.next 4096-ptr_max
PARAM_VALUE 1 in_dev->mc_list->interface->mr_ifc_timer.entry->pprev 4096-ptr_max
PARAM_VALUE 1 in_dev->mc_list->interface->refcnt.refs.counter (-1073741824),0-s32max
PARAM_VALUE 1 in_dev->mc_list->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 in_dev->mc_list->timer.entry->pprev 4096-ptr_max
PARAM_VALUE 1 in_dev->mc_tomb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 in_dev->mr_ifc_timer->entry.pprev 4096-ptr_max
PARAM_VALUE 1 in_dev->mr_ifc_timer.entry.pprev 0,4096-ptr_max
PARAM_VALUE 1 *in_dev->mc_list->interface->dev->name 0-255
CAPPED_DATA 0 dev->ip_ptr 1
CAPPED_DATA 1 in_dev->dev->nd_net.net 1
DATA_SOURCE 0 dev r netdev_notifier_info_to_dev
NOCHECK_CALL