Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 neigh 4096-ptr_max
PARAM_VALUE 0 neigh->dev 4096-ptr_max
PARAM_VALUE 0 neigh->dev->header_ops 0,4096-ptr_max
PARAM_VALUE 0 neigh->ha_lock.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 neigh->ha_lock.seqcount.seqcount.dep_map->name 0-255
PARAM_VALUE 0 neigh->hh.hh_lock.seqcount.seqcount.dep_map->name 0-255
PARAM_VALUE 0 neigh->lock.dep_map->name 0-255
PARAM_VALUE 0 neigh->nud_state 2-255
PARAM_VALUE 0 neigh->ops 4096-ptr_max
PARAM_VALUE 0 neigh->ops->output 4096-ptr_max
PARAM_VALUE 0 neigh->output 4074726351606333440,6266845184400711680,7023118665150713856
BUF_SIZE 0 neigh (-1)-s32max
BUF_SIZE 0 neigh (-1)-s32max
CAPPED_DATA 0 neigh->nud_state 1
DATA_SOURCE 0 neigh $0
NOSPEC 0 neigh->nud_state
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 neigh->flags 0,16-1424[c]
USER_DATA 0 neigh->nud_state 2-255[c]
USER_PTR 0 neigh->primary_key
LOCK2 bh
LOCK2 0 &neigh->lock
HALF_LOCKED2 global &rtnl_mutex
TYPE_LOCK (struct neighbour)->lock