Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/infiniband/hw/irdma/cm.c neigh_event_send_probe() -> __neigh_event_send()

Type Parameter Key Value
PARAM_VALUE 0 neigh 4096-ptr_max
PARAM_VALUE 1 skb 0
PARAM_VALUE 2 immediate_ok 1
DATA_SOURCE 0 neigh $0
DATA_SOURCE 1 skb $1
DATA_SOURCE 2 immediate_ok $2
BIT_INFO 0 neigh->nud_state 0x0,0x21
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->puda_cq_lock
HALF_LOCKED2 irq

drivers/net/ethernet/mellanox/mlx5/core/en/tc_tun_encap.c neigh_event_send_probe() -> __neigh_event_send()

Type Parameter Key Value
PARAM_VALUE 0 neigh 4096-ptr_max
PARAM_VALUE 0 neigh->refcnt.refs.counter (-1073741824),0-s32max
PARAM_VALUE 1 skb 0
PARAM_VALUE 2 immediate_ok 1
CAPPED_DATA 0 neigh->dev 1
DATA_SOURCE 0 neigh $0
DATA_SOURCE 1 skb $1
DATA_SOURCE 2 immediate_ok $2
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &pool->lock

drivers/infiniband/core/addr.c neigh_event_send_probe() -> __neigh_event_send()

Type Parameter Key Value
PARAM_VALUE 0 neigh 4096-ptr_max
PARAM_VALUE 0 neigh->lock.dep_map->name 0-255
PARAM_VALUE 1 skb 0
PARAM_VALUE 2 immediate_ok 1
DATA_SOURCE 0 neigh $0
DATA_SOURCE 1 skb $1
DATA_SOURCE 2 immediate_ok $2
BIT_INFO 0 neigh->nud_state 0x0,0x21
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

drivers/net/ethernet/mellanox/mlxsw/spectrum_span.c neigh_event_send_probe() -> __neigh_event_send()

Type Parameter Key Value
PARAM_VALUE 0 neigh 0-ptr_max
PARAM_VALUE 1 skb 0
PARAM_VALUE 2 immediate_ok 1
BUF_SIZE 0 neigh (-1)-s32max
BUF_SIZE 0 neigh (-1)-s32max
DATA_SOURCE 0 neigh $0
DATA_SOURCE 1 skb $1
DATA_SOURCE 2 immediate_ok $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/chelsio/cxgb3/l2t.c neigh_event_send_probe() -> __neigh_event_send()

Type Parameter Key Value
PARAM_VALUE 1 skb 0
PARAM_VALUE 2 immediate_ok 1
DATA_SOURCE 0 neigh $0
DATA_SOURCE 1 skb $1
DATA_SOURCE 2 immediate_ok $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 neigh->arp_queue.prev->data_len
NO_OVERFLOW_SIMPLE 0 neigh->arp_queue.prev->next->data_len
NO_OVERFLOW_SIMPLE 0 neigh->arp_queue_len_bytes
HALF_LOCKED2 &csk->lock

drivers/scsi/cxgbi/cxgb4i/cxgb4i.c neigh_event_send_probe() -> __neigh_event_send()

Type Parameter Key Value
PARAM_VALUE 0 neigh 4096-ptr_max
PARAM_VALUE 1 skb 0
PARAM_VALUE 2 immediate_ok 1
DATA_SOURCE 0 neigh $0
DATA_SOURCE 1 skb $1
DATA_SOURCE 2 immediate_ok $2
BIT_INFO 0 neigh->nud_state 0x0,0x21
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &rx_queue_mutex
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 rcu_read

drivers/infiniband/hw/qedr/qedr_iw_cm.c neigh_event_send_probe() -> __neigh_event_send()

Type Parameter Key Value
PARAM_VALUE 0 neigh 4096-ptr_max
PARAM_VALUE 1 skb 0
PARAM_VALUE 2 immediate_ok 1
DATA_SOURCE 0 neigh $0
DATA_SOURCE 1 skb $1
DATA_SOURCE 2 immediate_ok $2
BIT_INFO 0 neigh->nud_state 0x0,0x21
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 &id_priv->handler_mutex
HALF_LOCKED2 &iser_conn->state_mutex

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

Type Parameter Key Value
BUF_SIZE 0 neigh (-1)-s32max
BUF_SIZE 0 neigh (-1)-s32max
DATA_SOURCE 0 neigh $0
DATA_SOURCE 1 skb $1
DATA_SOURCE 2 immediate_ok $2
NOSPEC 0 neigh->nud_state
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 neigh->flags 0,16-1424[c]
USER_DATA 0 neigh->nud_state 0-255
USER_PTR 0 neigh->primary_key
HALF_LOCKED2 &tbl->lock
HALF_LOCKED2 bh

drivers/net/ethernet/rocker/rocker_ofdpa.c neigh_event_send_probe() -> __neigh_event_send()

Type Parameter Key Value
PARAM_VALUE 0 neigh 4096-ptr_max
PARAM_VALUE 1 skb 0
PARAM_VALUE 2 immediate_ok 1
BUF_SIZE 0 neigh (-1)-s32max
BUF_SIZE 0 neigh (-1)-s32max
DATA_SOURCE 0 neigh $0
DATA_SOURCE 1 skb $1
DATA_SOURCE 2 immediate_ok $2
BIT_INFO 0 neigh->nud_state 0x0,0x21
LOCK2 &pool->lock
LOCK2 global &rtnl_mutex

net/sched/sch_teql.c neigh_event_send_probe() -> __neigh_event_send()

Type Parameter Key Value
PARAM_VALUE 0 neigh 0-ptr_max
PARAM_VALUE 0 neigh->dev_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 neigh->dev_tracker->dead 0-1
PARAM_VALUE 0 neigh->dev_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 1 skb 0,4096-ptr_max
PARAM_VALUE 1 skb->data 4096-ptr_max
PARAM_VALUE 1 skb->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 1 skb->sk->ns_tracker->dead 0-1
PARAM_VALUE 1 skb->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 1 skb->sk->sk_reuseport_cb 0
PARAM_VALUE 2 immediate_ok 1
BUF_SIZE 1 skb (-1)-s32max
BUF_SIZE 1 skb (-1)-s32max
DATA_SOURCE 0 neigh $0
DATA_SOURCE 1 skb $1
DATA_SOURCE 2 immediate_ok $2
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 skb->csum_offset 0-u16max
HOST_DATA 1 skb->data_len 0-2147483648[c]
HOST_DATA 1 skb->tstamp 500000002-4294967299794967295[c]
HOST_DATA 1 skb->users.refs.counter s32min-0,2-s32max
NO_OVERFLOW_SIMPLE 1 skb->data_len
NO_OVERFLOW_SIMPLE 1 skb->end
NO_OVERFLOW_SIMPLE 1 skb->len
NO_OVERFLOW_SIMPLE 1 skb->prev->truesize
NO_OVERFLOW_SIMPLE 1 skb->tail
NO_OVERFLOW_SIMPLE 1 skb->truesize
LOCK2 rcu_read
HALF_LOCKED2 &dev->tx_global_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags

drivers/net/ethernet/mellanox/mlxsw/spectrum_router.c neigh_event_send_probe() -> __neigh_event_send()

Type Parameter Key Value
PARAM_VALUE 1 skb 0
PARAM_VALUE 2 immediate_ok 1
BUF_SIZE 0 neigh (-1)-s32max
BUF_SIZE 0 neigh (-1)-s32max
DATA_SOURCE 0 neigh $0
DATA_SOURCE 1 skb $1
DATA_SOURCE 2 immediate_ok $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mlxsw_sp->router->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &router->lock

drivers/net/ethernet/sfc/tc_encap_actions.c neigh_event_send_probe() -> __neigh_event_send()

Type Parameter Key Value
PARAM_VALUE 0 neigh 4096-ptr_max
PARAM_VALUE 0 neigh->ha 4096-ptr_max
PARAM_VALUE 0 neigh->lock.dep_map->name 0-255
PARAM_VALUE 1 skb 0
PARAM_VALUE 2 immediate_ok 1
DATA_SOURCE 0 neigh $0
DATA_SOURCE 1 skb $1
DATA_SOURCE 2 immediate_ok $2

drivers/net/ethernet/mellanox/mlx5/core/en/tc_tun.c neigh_event_send_probe() -> __neigh_event_send()

Type Parameter Key Value
PARAM_VALUE 0 neigh 4096-ptr_max
PARAM_VALUE 0 neigh->ha 4096-ptr_max
PARAM_VALUE 0 neigh->lock.dep_map->name 0-255
PARAM_VALUE 0 neigh->ops->family 2,10
PARAM_VALUE 1 skb 0
PARAM_VALUE 2 immediate_ok 1
DATA_SOURCE 0 neigh $0
DATA_SOURCE 1 skb $1
DATA_SOURCE 2 immediate_ok $2
RX_PATH
TASK_NOT_RUNNING
LOCK2 &esw->offloads.encap_tbl_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &rtnl_mutex
TYPE_LOCK (struct mlx5_esw_offload)->encap_tbl_lock

drivers/net/ethernet/sfc/tc_counters.c neigh_event_send_probe() -> __neigh_event_send()

Type Parameter Key Value
PARAM_VALUE 0 neigh 4096-ptr_max
PARAM_VALUE 0 neigh->dev_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 neigh->dev_tracker->dead 0-1
PARAM_VALUE 0 neigh->dev_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 neigh->ops->solicit 0,4096-ptr_max
PARAM_VALUE 0 neigh->refcnt.refs.counter (-1073741824),0-s32max
PARAM_VALUE 1 skb 0
PARAM_VALUE 2 immediate_ok 1
CAPPED_DATA 0 neigh->dev 1
DATA_SOURCE 0 neigh $0
DATA_SOURCE 1 skb $1
DATA_SOURCE 2 immediate_ok $2
PREEMPT_ADD
LOCK2 &cnt->lock
LOCK2 bh
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct efx_tc_counter)->lock

drivers/net/ethernet/chelsio/cxgb4/l2t.c neigh_event_send_probe() -> __neigh_event_send()

Type Parameter Key Value
PARAM_VALUE 0 neigh->dev->rtnl_link_ops->maxtype 0-6,8-10,15,18,20,22,24,34,50
PARAM_VALUE 0 neigh->dev_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 neigh->dev_tracker->dead 0-1
PARAM_VALUE 0 neigh->dev_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 1 skb 0
PARAM_VALUE 2 immediate_ok 1
DATA_SOURCE 0 neigh $0
DATA_SOURCE 1 skb $1
DATA_SOURCE 2 immediate_ok $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
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
HALF_LOCKED2 &csk->lock
HALF_LOCKED2 global &uld_mutex

drivers/net/ethernet/netronome/nfp/flower/tunnel_conf.c neigh_event_send_probe() -> __neigh_event_send()

Type Parameter Key Value
PARAM_VALUE 0 neigh 4096-ptr_max
PARAM_VALUE 0 neigh->ops->solicit 0,4096-ptr_max
PARAM_VALUE 1 skb 0
PARAM_VALUE 2 immediate_ok 1
DATA_SOURCE 0 neigh $0
DATA_SOURCE 1 skb $1
DATA_SOURCE 2 immediate_ok $2
PREEMPT_ADD
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &priv->predt_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/mellanox/mlx5/core/en_accel/ipsec.c neigh_event_send_probe() -> __neigh_event_send()

Type Parameter Key Value
PARAM_VALUE 0 neigh 0-ptr_max
PARAM_VALUE 1 skb 0
PARAM_VALUE 2 immediate_ok 1
BUF_SIZE 0 neigh (-1)-s32max
BUF_SIZE 0 neigh (-1)-s32max
DATA_SOURCE 0 neigh $0
DATA_SOURCE 1 skb $1
DATA_SOURCE 2 immediate_ok $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &sa_entry->x->lock
HALF_LOCKED2 bh

drivers/net/ethernet/marvell/prestera/prestera_router.c neigh_event_send_probe() -> __neigh_event_send()

Type Parameter Key Value
PARAM_VALUE 0 neigh 1-ptr_max
PARAM_VALUE 1 skb 0
PARAM_VALUE 2 immediate_ok 1
BUF_SIZE 0 neigh (-1)-s32max
BUF_SIZE 0 neigh (-1)-s32max
DATA_SOURCE 0 neigh $0
DATA_SOURCE 1 skb $1
DATA_SOURCE 2 immediate_ok $2
LOCK2 &pool->lock
LOCK2 global &rtnl_mutex

drivers/target/iscsi/cxgbit/cxgbit_cm.c neigh_event_send_probe() -> __neigh_event_send()

Type Parameter Key Value
PARAM_VALUE 0 neigh 4096-ptr_max
PARAM_VALUE 1 skb 0
PARAM_VALUE 2 immediate_ok 1
DATA_SOURCE 0 neigh $0
DATA_SOURCE 1 skb $1
DATA_SOURCE 2 immediate_ok $2
BIT_INFO 0 neigh->nud_state 0x0,0x21
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 bh

net/ipv4/route.c neigh_event_send_probe() -> __neigh_event_send()

Type Parameter Key Value
PARAM_VALUE 0 neigh 0-ptr_max
PARAM_VALUE 1 skb 0
PARAM_VALUE 2 immediate_ok 1
BUF_SIZE 0 neigh (-1)-s32max
BUF_SIZE 0 neigh (-1)-s32max
DATA_SOURCE 0 neigh $0
DATA_SOURCE 1 skb $1
DATA_SOURCE 2 immediate_ok $2
RX_PATH
TASK_NOT_RUNNING