Defined in 44 files as a member:

Defined in 3 files as a function:

Defined in 1 files as a enumerator:

Referenced in 959 files:

Smatch caller information:

drivers/net/wireguard/allowedips.c wg_allowedips_insert_v4() -> add()

Type Parameter Key Value
PARAM_VALUE 0 trie 4096-ptr_max
PARAM_VALUE 1 bits 32
PARAM_VALUE 2 key 9043421990695841792
PARAM_VALUE 4 peer->handshake.lock.first_waiter->handoff_set 0-1
PARAM_VALUE 4 peer->handshake.lock.first_waiter->type 0-1
PARAM_VALUE 5 lock 4096-ptr_max
BUF_SIZE 2 key 4
BUF_SIZE 4 peer (-1),2536
BUF_SIZE 4 peer (-1),2536
DATA_SOURCE 3 cidr $2
DATA_SOURCE 4 peer $3
DATA_SOURCE 5 lock $4
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 *key 0-255
USER_DATA 4 peer->handshake->preshared_key 0-255
USER_DATA 4 peer->handshake->remote_static 0-255
USER_PTR 2 key
HALF_LOCKED2 &mutex
HALF_LOCKED2 &wg->device_update_lock
HALF_LOCKED2 global &rtnl_mutex

drivers/net/wireguard/allowedips.c wg_allowedips_insert_v6() -> add()

Type Parameter Key Value
PARAM_VALUE 0 trie 4096-ptr_max
PARAM_VALUE 1 bits 128
PARAM_VALUE 2 key 3367473427944906752
PARAM_VALUE 4 peer->handshake.lock.first_waiter->handoff_set 0-1
PARAM_VALUE 4 peer->handshake.lock.first_waiter->type 0-1
PARAM_VALUE 5 lock 4096-ptr_max
BUF_SIZE 2 key 16
BUF_SIZE 4 peer (-1),2536
BUF_SIZE 4 peer (-1),2536
DATA_SOURCE 3 cidr $2
DATA_SOURCE 4 peer $3
DATA_SOURCE 5 lock $4
RX_PATH
TASK_NOT_RUNNING
USER_DATA 4 peer->handshake->preshared_key 0-255
USER_DATA 4 peer->handshake->remote_static 0-255
HALF_LOCKED2 &mutex
HALF_LOCKED2 &wg->device_update_lock
HALF_LOCKED2 global &rtnl_mutex

Smatch assignments to (struct virtqueue_ops)->add:

drivers/virtio/virtio_ring.c (null)() -> (struct virtqueue_ops)->add [0,2802482796457177088,3396159489054244864,3858988110730993664]