Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/core/neighbour.c __neigh_event_send() -> neigh_del_timer()

Type Parameter Key Value
PARAM_VALUE 0 n 4096-ptr_max
PARAM_VALUE 0 n->dead 0
PARAM_VALUE 0 n->dev->rtnl_link_ops->maxtype 0-6,8-10,15,18,20,22,24,34,50
PARAM_VALUE 0 n->lock.dep_map->name 0-255
PARAM_VALUE 0 n->lock.owner_cpu 0
PARAM_VALUE 0 n->lock.raw_lock.cnts.counter 0-s32max
PARAM_VALUE 0 n->ops->family 2,10
PARAM_VALUE 0 n->ops->solicit 0,4096-ptr_max
PARAM_VALUE 0 n->parms 4096-ptr_max
BUF_SIZE 0 n (-1)-s32max
BUF_SIZE 0 n (-1)-s32max
DATA_SOURCE 0 n $0
BIT_INFO 0 n->nud_state 0x0,0x20
NOSPEC 0 n->nud_state
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 n->flags 0,16-1424[c]
USER_DATA 0 n->nud_state 0-255
NO_OVERFLOW_SIMPLE 0 n->arp_queue.prev->data_len
NO_OVERFLOW_SIMPLE 0 n->arp_queue.prev->next->data_len
NO_OVERFLOW_SIMPLE 0 n->arp_queue.prev->next->tail
NO_OVERFLOW_SIMPLE 0 n->arp_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE 0 n->arp_queue.prev->tail
NO_OVERFLOW_SIMPLE 0 n->arp_queue.prev->truesize
NO_OVERFLOW_SIMPLE 0 n->arp_queue_len_bytes
USER_PTR 0 n->primary_key
LOCK2 bh
LOCK2 0 &n->lock
HALF_LOCKED2 &cnt->lock
HALF_LOCKED2 &esw->offloads.encap_tbl_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct neighbour)->lock

net/core/neighbour.c __neigh_event_send() -> neigh_del_timer()

Type Parameter Key Value
PARAM_VALUE 0 n 4096-ptr_max
PARAM_VALUE 0 n->dead 0
PARAM_VALUE 0 n->dev->rtnl_link_ops->maxtype 0-6,8-10,15,18,20,22,24,34,50
PARAM_VALUE 0 n->lock.dep_map->name 0-255
PARAM_VALUE 0 n->lock.owner_cpu 0
PARAM_VALUE 0 n->lock.raw_lock.cnts.counter 0-s32max
PARAM_VALUE 0 n->nud_state 4-255
PARAM_VALUE 0 n->ops->family 2,10
PARAM_VALUE 0 n->ops->solicit 0,4096-ptr_max
BUF_SIZE 0 n (-1)-s32max
BUF_SIZE 0 n (-1)-s32max
DATA_SOURCE 0 n $0
BIT_INFO 0 n->nud_state 0x4,0x25
NOSPEC 0 n->nud_state
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 n->flags 0,16-1424[c]
USER_DATA 0 n->nud_state 4-255
NO_OVERFLOW_SIMPLE 0 n->arp_queue.prev->data_len
NO_OVERFLOW_SIMPLE 0 n->arp_queue.prev->next->data_len
NO_OVERFLOW_SIMPLE 0 n->arp_queue.prev->next->tail
NO_OVERFLOW_SIMPLE 0 n->arp_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE 0 n->arp_queue.prev->tail
NO_OVERFLOW_SIMPLE 0 n->arp_queue.prev->truesize
NO_OVERFLOW_SIMPLE 0 n->arp_queue_len_bytes
USER_PTR 0 n->primary_key
LOCK2 bh
LOCK2 0 &n->lock
HALF_LOCKED2 &cnt->lock
HALF_LOCKED2 &esw->offloads.encap_tbl_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct neighbour)->lock

net/core/neighbour.c __neigh_update() -> neigh_del_timer()

Type Parameter Key Value
PARAM_VALUE 0 n 4096-ptr_max
PARAM_VALUE 0 n->dead 0
PARAM_VALUE 0 n->lock.dep_map->name 0-255
PARAM_VALUE 0 n->lock.owner_cpu 0
PARAM_VALUE 0 n->lock.raw_lock.cnts.counter 0-s32max
BUF_SIZE 0 n (-1)-s32max
BUF_SIZE 0 n (-1)-s32max
DATA_SOURCE 0 n $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 n->flags 0,16-1296[c]
USER_PTR 0 n->primary_key
LOCK2 bh
LOCK2 0 &n->lock
HALF_LOCKED2 global &rtnl_mutex
TYPE_LOCK (struct neighbour)->lock

net/core/neighbour.c __neigh_update() -> neigh_del_timer()

Type Parameter Key Value
PARAM_VALUE 0 n 4096-ptr_max
PARAM_VALUE 0 n->dead 0
PARAM_VALUE 0 n->dev 4096-ptr_max
PARAM_VALUE 0 n->lock.dep_map->name 0-255
PARAM_VALUE 0 n->lock.owner_cpu 0
PARAM_VALUE 0 n->lock.raw_lock.cnts.counter 0-s32max
BUF_SIZE 0 n (-1)-s32max
BUF_SIZE 0 n (-1)-s32max
DATA_SOURCE 0 n $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 n->flags 0,16-1296[c]
USER_PTR 0 n->primary_key
LOCK2 bh
LOCK2 0 &n->lock
HALF_LOCKED2 global &rtnl_mutex
TYPE_LOCK (struct neighbour)->lock

net/core/neighbour.c neigh_destroy() -> neigh_del_timer()

Type Parameter Key Value
PARAM_VALUE 0 n 4096-ptr_max
PARAM_VALUE 0 n->dead 1-255
PARAM_VALUE 0 n->dev->ndisc_ops->fill_addr_option 4096-ptr_max
PARAM_VALUE 0 n->dev->ndisc_ops->opt_addr_space 1-u64max
PARAM_VALUE 0 n->dev->rtnl_link_ops->maxtype 0-6,8-10,15,18,20,22,24,34,50
PARAM_VALUE 0 n->ops->connected_output 4096-ptr_max
PARAM_VALUE 0 n->ops->error_report 0,2747699272420642816,3242911211780694016
PARAM_VALUE 0 n->ops->family 2,10
PARAM_VALUE 0 n->ops->output 4096-ptr_max
PARAM_VALUE 0 n->ops->solicit 0,4096-ptr_max
PARAM_VALUE 0 n->tbl 4096-ptr_max
PARAM_VALUE 0 *n->primary_key 0-4294967295
PARAM_VALUE 0 *n->tbl->nht->hash_rnd 0-4294967295
BUF_SIZE 0 n (-1)-s32max
BUF_SIZE 0 n (-1)-s32max
BUF_SIZE 0 n->tbl (-1),1136
CAPPED_DATA 0 n 1
DATA_SOURCE 0 n $0
NOSPEC 0 n->nud_state
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 n->arp_queue.prev->csum_offset 0-u16max
HOST_DATA 0 n->arp_queue.prev->data_len 0-u32max[c]
HOST_DATA 0 n->arp_queue.prev->len 0-u32max[c]
HOST_DATA 0 n->arp_queue.prev->next->csum_offset 0-u16max
HOST_DATA 0 n->arp_queue.prev->next->data_len 0-u32max[c]
HOST_DATA 0 n->arp_queue.prev->next->len 0-u32max[c]
HOST_DATA 0 n->arp_queue.prev->next->truesize 0-u32max
HOST_DATA 0 n->arp_queue.prev->next->tstamp 500000002-4294967299794967295[c]
HOST_DATA 0 n->arp_queue.prev->next->users.refs.counter s32min-0,2-s32max
HOST_DATA 0 n->arp_queue.prev->truesize 0-u32max
HOST_DATA 0 n->arp_queue.prev->tstamp 500000002-4294967299794967295[c]
HOST_DATA 0 n->arp_queue.prev->users.refs.counter s32min-0,2-s32max
USER_DATA 0 n->flags 0-1424[c]
USER_DATA 0 n->nud_state 0-255
NO_OVERFLOW_SIMPLE 0 n->arp_queue.prev->data_len
NO_OVERFLOW_SIMPLE 0 n->arp_queue.prev->end
NO_OVERFLOW_SIMPLE 0 n->arp_queue.prev->len
NO_OVERFLOW_SIMPLE 0 n->arp_queue.prev->next->data_len
NO_OVERFLOW_SIMPLE 0 n->arp_queue.prev->next->end
NO_OVERFLOW_SIMPLE 0 n->arp_queue.prev->next->len
NO_OVERFLOW_SIMPLE 0 n->arp_queue.prev->next->tail
NO_OVERFLOW_SIMPLE 0 n->arp_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE 0 n->arp_queue.prev->tail
NO_OVERFLOW_SIMPLE 0 n->arp_queue.prev->truesize
NO_OVERFLOW_SIMPLE 0 n->arp_queue_len_bytes
NO_OVERFLOW_SIMPLE 0 n->dev->group
NO_OVERFLOW_SIMPLE 0 n->dev->num_tc
NO_OVERFLOW_SIMPLE 0 n->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE 0 n->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE 0 n->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE 0 n->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE 0 n->dev->tx_queue_len
USER_PTR 0 n->primary_key
HALF_LOCKED2 &cnt->lock
HALF_LOCKED2 &e->lock
HALF_LOCKED2 &esw->offloads.encap_tbl_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &tc_info->lock
HALF_LOCKED2 bh
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read
HALF_LOCKED2 0 &n->lock

net/core/neighbour.c neigh_flush_one() -> neigh_del_timer()

Type Parameter Key Value
PARAM_VALUE 0 n 4096-ptr_max
PARAM_VALUE 0 n->dev_list->next->pprev 1-u64max
PARAM_VALUE 0 n->hash->next->pprev 1-u64max
PARAM_VALUE 0 n->lock.dep_map->name 0-255
PARAM_VALUE 0 n->lock.owner_cpu 0
PARAM_VALUE 0 n->lock.raw_lock.cnts.counter 0-s32max
PARAM_VALUE 0 n->ops->solicit 0,4096-ptr_max
DATA_SOURCE 0 n $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &tbl->lock
LOCK2 bh
LOCK2 0 &n->lock
TYPE_LOCK (struct neigh_table)->lock
TYPE_LOCK (struct neighbour)->lock