Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 1 peer 4096-ptr_max
PARAM_VALUE 1 peer->device 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
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