Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/net/wireguard/allowedips.c randomized_test() -> wg_allowedips_remove_by_peer()

Type Parameter Key Value
PARAM_VALUE 0 table 4410119487424978944
PARAM_VALUE 0 table->root4 4096-ptr_max
PARAM_VALUE 0 table->root6 4096-ptr_max
PARAM_VALUE 0 table->seq 5-7
PARAM_VALUE 2 lock 918328763819896832
PARAM_VALUE 2 lock->dep_map.name 8240292577482100736
PARAM_VALUE 2 lock->dep_map.wait_type_inner 4
PARAM_VALUE 2 lock->magic 4096-ptr_max
PARAM_VALUE 2 lock->osq.tail.counter 0-s32max
PARAM_VALUE 2 lock->wait_lock.owner (-1)
PARAM_VALUE 2 lock->wait_lock.owner_cpu u32max
TERMINATED 2 lock->dep_map.name 1
NOCHECK_CALL
LOCK2 &mutex

drivers/net/wireguard/allowedips.c wg_allowedips_selftest() -> wg_allowedips_remove_by_peer()

Type Parameter Key Value
PARAM_VALUE 0 table 4084224434410139648
PARAM_VALUE 0 table->root4 0,4096-ptr_max
PARAM_VALUE 0 table->root6 0,4096-ptr_max
PARAM_VALUE 0 table->seq 29
PARAM_VALUE 1 peer 4096-ptr_max
PARAM_VALUE 1 peer->refcount.refcount.refs.counter 1
PARAM_VALUE 2 lock 4158625824547553280
PARAM_VALUE 2 lock->dep_map.name 8240292577482100736
PARAM_VALUE 2 lock->dep_map.wait_type_inner 4
PARAM_VALUE 2 lock->magic 4096-ptr_max
PARAM_VALUE 2 lock->osq.tail.counter 0-s32max
PARAM_VALUE 2 lock->wait_lock.owner (-1)
PARAM_VALUE 2 lock->wait_lock.owner_cpu u32max
BUF_SIZE 1 peer 2536
CAPPED_DATA 1 peer 1
DATA_SOURCE 1 peer r init_peer
TERMINATED 2 lock->dep_map.name 1
NOCHECK_CALL
LOCK2 &mutex

drivers/net/wireguard/allowedips.c wg_allowedips_selftest() -> wg_allowedips_remove_by_peer()

Type Parameter Key Value
PARAM_VALUE 0 table 4084224434410139648
PARAM_VALUE 0 table->root4 0,4096-ptr_max
PARAM_VALUE 0 table->root6 0
PARAM_VALUE 0 table->seq 3
PARAM_VALUE 1 peer 4096-ptr_max
PARAM_VALUE 1 peer->refcount.refcount.refs.counter 1
PARAM_VALUE 2 lock 4158625824547553280
PARAM_VALUE 2 lock->dep_map.name 8240292577482100736
PARAM_VALUE 2 lock->dep_map.wait_type_inner 4
PARAM_VALUE 2 lock->magic 4096-ptr_max
PARAM_VALUE 2 lock->osq.tail.counter 0-s32max
PARAM_VALUE 2 lock->wait_lock.owner (-1)
PARAM_VALUE 2 lock->wait_lock.owner_cpu u32max
BUF_SIZE 1 peer 2536
CAPPED_DATA 1 peer 1
DATA_SOURCE 1 peer r init_peer
TERMINATED 2 lock->dep_map.name 1
NOCHECK_CALL
LOCK2 &mutex

drivers/net/wireguard/peer.c peer_make_dead() -> wg_allowedips_remove_by_peer()

Type Parameter Key Value
PARAM_VALUE 0 table 4096-ptr_max
PARAM_VALUE 1 peer 4096-ptr_max
PARAM_VALUE 1 peer->handshake.lock.first_waiter->handoff_set 0-1
PARAM_VALUE 1 peer->handshake.lock.first_waiter->type 0-1
PARAM_VALUE 1 peer->peer_list.next->prev 4096-ptr_max
PARAM_VALUE 1 peer->peer_list.prev->next 4096-ptr_max
PARAM_VALUE 2 lock 4096-ptr_max
DATA_SOURCE 1 peer $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 peer->handshake->preshared_key 0-255
USER_DATA 1 peer->handshake->remote_static 0-255
LOCK2 &wg->device_update_lock
HALF_LOCKED2 global &rtnl_mutex
TYPE_LOCK (struct wg_device)->device_update_lock

drivers/net/wireguard/netlink.c set_peer() -> wg_allowedips_remove_by_peer()

Type Parameter Key Value
PARAM_VALUE 0 table 4096-ptr_max
PARAM_VALUE 1 peer 4096-ptr_max
PARAM_VALUE 1 peer->handshake.lock.first_waiter->handoff_set 0-1
PARAM_VALUE 1 peer->handshake.lock.first_waiter->type 0-1
PARAM_VALUE 2 lock 4096-ptr_max
PARAM_VALUE 2 lock->osq.tail.counter 0-s32max
PARAM_VALUE 2 lock->wait_lock.owner (-1)
PARAM_VALUE 2 lock->wait_lock.owner_cpu u32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 peer->handshake->preshared_key 0-255
USER_DATA 1 peer->handshake->remote_static 0-255
LOCK2 &wg->device_update_lock
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &devlink->lock
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &dpll_lock
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &net_dm_mutex
HALF_LOCKED2 global &rx_queue_mutex
TYPE_LOCK (struct wg_device)->device_update_lock