Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/core/neighbour.c neigh_probe() -> (struct neigh_ops)->solicit()

Type Parameter Key Value
PARAM_VALUE 0 neigh 4096-ptr_max
PARAM_VALUE 0 neigh->dev->rtnl_link_ops->maxtype 0-6,8-10,15,18,20,22,24,34,50
PARAM_VALUE 0 neigh->lock.dep_map->name 0-255
PARAM_VALUE 0 neigh->lock.owner (-1)
PARAM_VALUE 0 neigh->lock.owner_cpu u32max
PARAM_VALUE 0 neigh->lock.raw_lock.wlocked 0
PARAM_VALUE 0 neigh->nud_state 1-255
PARAM_VALUE 0 neigh->ops 4096-ptr_max
PARAM_VALUE 0 neigh->ops->family 2,10
PARAM_VALUE 0 neigh->ops->output 4096-ptr_max
PARAM_VALUE 0 neigh->ops->solicit 4096-ptr_max
PARAM_VALUE 0 neigh->parms 4096-ptr_max
PARAM_VALUE 1 skb 0,4096-ptr_max
PARAM_VALUE 1 skb->cloned 1
PARAM_VALUE 1 skb->data 4096-ptr_max
PARAM_VALUE 1 skb->hdr_len 0
PARAM_VALUE 1 skb->head 1-u64max
PARAM_VALUE 1 skb->head_frag 0
PARAM_VALUE 1 skb->nohdr 0
PARAM_VALUE 1 skb->pp_recycle 0
BUF_SIZE 0 neigh (-1)-s32max
BUF_SIZE 0 neigh (-1)-s32max
BUF_SIZE 1 skb (-1)-0,240
BUF_SIZE 1 skb (-1)-0,240
CAPPED_DATA 0 &neigh->arp_queue 1
DATA_SOURCE 0 neigh $0
CONTAINER 0 -8-800+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 neigh->flags 0,16-1424[c]
NO_OVERFLOW_SIMPLE 0 neigh->arp_queue.prev->data_len
NO_OVERFLOW_SIMPLE 0 neigh->arp_queue.prev->end
NO_OVERFLOW_SIMPLE 0 neigh->arp_queue.prev->len
NO_OVERFLOW_SIMPLE 0 neigh->arp_queue.prev->next->data_len
NO_OVERFLOW_SIMPLE 0 neigh->arp_queue.prev->next->end
NO_OVERFLOW_SIMPLE 0 neigh->arp_queue.prev->next->len
NO_OVERFLOW_SIMPLE 0 neigh->arp_queue.prev->next->tail
NO_OVERFLOW_SIMPLE 0 neigh->arp_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE 0 neigh->arp_queue.prev->tail
NO_OVERFLOW_SIMPLE 0 neigh->arp_queue.prev->truesize
NO_OVERFLOW_SIMPLE 0 neigh->arp_queue_len_bytes
USER_PTR 0 neigh->primary_key
HALF_LOCKED2 bh