Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/wireguard/allowedips.c wg_allowedips_selftest() -> wg_allowedips_remove_v6()
| 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 | 37-40 |
| PARAM_VALUE | 1 | ip | 6118750793395245056 |
| PARAM_VALUE | 2 | cidr | 96 |
| PARAM_VALUE | 3 | peer | 4096-ptr_max |
| PARAM_VALUE | 3 | peer->refcount.refcount.refs.counter | 1 |
| PARAM_VALUE | 4 | lock | 4158625824547553280 |
| PARAM_VALUE | 4 | lock->dep_map.name | 8240292577482100736 |
| PARAM_VALUE | 4 | lock->dep_map.wait_type_inner | 4 |
| PARAM_VALUE | 4 | lock->magic | 4096-ptr_max |
| PARAM_VALUE | 4 | lock->osq.tail.counter | 0-s32max |
| PARAM_VALUE | 4 | lock->wait_lock.owner | (-1) |
| PARAM_VALUE | 4 | lock->wait_lock.owner_cpu | u32max |
| BUF_SIZE | 3 | peer | 2536 |
| CAPPED_DATA | 3 | peer | 1 |
| DATA_SOURCE | 3 | peer | r init_peer |
| TERMINATED | 4 | lock->dep_map.name | 1 |
| NOCHECK_CALL | |||
| LOCK2 | &mutex |
drivers/net/wireguard/allowedips.c wg_allowedips_selftest() -> wg_allowedips_remove_v6()
| 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 | 38-41 |
| PARAM_VALUE | 1 | ip | 6118750793395245056 |
| PARAM_VALUE | 2 | cidr | 128 |
| PARAM_VALUE | 3 | peer | 0 |
| PARAM_VALUE | 4 | lock | 4158625824547553280 |
| PARAM_VALUE | 4 | lock->dep_map.name | 8240292577482100736 |
| PARAM_VALUE | 4 | lock->dep_map.wait_type_inner | 4 |
| PARAM_VALUE | 4 | lock->magic | 4096-ptr_max |
| PARAM_VALUE | 4 | lock->osq.tail.counter | 0-s32max |
| PARAM_VALUE | 4 | lock->wait_lock.owner | (-1) |
| PARAM_VALUE | 4 | lock->wait_lock.owner_cpu | u32max |
| TERMINATED | 4 | lock->dep_map.name | 1 |
| LOCK2 | &mutex |
drivers/net/wireguard/allowedips.c wg_allowedips_selftest() -> wg_allowedips_remove_v6()
| 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 | 39-42 |
| PARAM_VALUE | 1 | ip | 6118750793395245056 |
| PARAM_VALUE | 2 | cidr | 128 |
| PARAM_VALUE | 3 | peer | 4096-ptr_max |
| PARAM_VALUE | 3 | peer->allowedips_list.prev | 4096-ptr_max |
| PARAM_VALUE | 3 | peer->allowedips_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 3 | peer->allowedips_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 3 | peer->refcount.refcount.refs.counter | 1 |
| PARAM_VALUE | 4 | lock | 4158625824547553280 |
| PARAM_VALUE | 4 | lock->dep_map.name | 8240292577482100736 |
| PARAM_VALUE | 4 | lock->dep_map.wait_type_inner | 4 |
| PARAM_VALUE | 4 | lock->magic | 4096-ptr_max |
| PARAM_VALUE | 4 | lock->osq.tail.counter | 0-s32max |
| PARAM_VALUE | 4 | lock->wait_lock.owner | (-1) |
| PARAM_VALUE | 4 | lock->wait_lock.owner_cpu | u32max |
| BUF_SIZE | 3 | peer | 2536 |
| CAPPED_DATA | 3 | peer | 1 |
| DATA_SOURCE | 3 | peer | r init_peer |
| TERMINATED | 4 | lock->dep_map.name | 1 |
| LOCK2 | &mutex |
drivers/net/wireguard/allowedips.c wg_allowedips_selftest() -> wg_allowedips_remove_v6()
| 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 | 40-43 |
| PARAM_VALUE | 1 | ip | 6118750793395245056 |
| PARAM_VALUE | 2 | cidr | 129 |
| PARAM_VALUE | 3 | peer | 4096-ptr_max |
| PARAM_VALUE | 3 | peer->refcount.refcount.refs.counter | 1 |
| PARAM_VALUE | 4 | lock | 4158625824547553280 |
| PARAM_VALUE | 4 | lock->dep_map.name | 8240292577482100736 |
| PARAM_VALUE | 4 | lock->dep_map.wait_type_inner | 4 |
| PARAM_VALUE | 4 | lock->magic | 4096-ptr_max |
| PARAM_VALUE | 4 | lock->osq.tail.counter | 0-s32max |
| PARAM_VALUE | 4 | lock->wait_lock.owner | (-1) |
| PARAM_VALUE | 4 | lock->wait_lock.owner_cpu | u32max |
| BUF_SIZE | 3 | peer | 2536 |
| CAPPED_DATA | 3 | peer | 1 |
| DATA_SOURCE | 3 | peer | r init_peer |
| TERMINATED | 4 | lock->dep_map.name | 1 |
| LOCK2 | &mutex |
drivers/net/wireguard/allowedips.c wg_allowedips_selftest() -> wg_allowedips_remove_v6()
| 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 | 40-44 |
| PARAM_VALUE | 1 | ip | 6118750793395245056 |
| PARAM_VALUE | 2 | cidr | 128 |
| PARAM_VALUE | 3 | peer | 4096-ptr_max |
| PARAM_VALUE | 3 | peer->refcount.refcount.refs.counter | 1 |
| PARAM_VALUE | 4 | lock | 4158625824547553280 |
| PARAM_VALUE | 4 | lock->dep_map.name | 8240292577482100736 |
| PARAM_VALUE | 4 | lock->dep_map.wait_type_inner | 4 |
| PARAM_VALUE | 4 | lock->magic | 4096-ptr_max |
| PARAM_VALUE | 4 | lock->osq.tail.counter | 0-s32max |
| PARAM_VALUE | 4 | lock->wait_lock.owner | (-1) |
| PARAM_VALUE | 4 | lock->wait_lock.owner_cpu | u32max |
| BUF_SIZE | 3 | peer | 2536 |
| CAPPED_DATA | 3 | peer | 1 |
| DATA_SOURCE | 3 | peer | r init_peer |
| TERMINATED | 4 | lock->dep_map.name | 1 |
| NOCHECK_CALL | |||
| LOCK2 | &mutex |
drivers/net/wireguard/allowedips.c wg_allowedips_selftest() -> wg_allowedips_remove_v6()
| 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 | 41-45 |
| PARAM_VALUE | 1 | ip | 6118750793395245056 |
| PARAM_VALUE | 2 | cidr | 98 |
| PARAM_VALUE | 3 | peer | 4096-ptr_max |
| PARAM_VALUE | 3 | peer->allowedips_list.prev | 4096-ptr_max |
| PARAM_VALUE | 3 | peer->allowedips_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 3 | peer->allowedips_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 3 | peer->refcount.refcount.refs.counter | 1 |
| PARAM_VALUE | 4 | lock | 4158625824547553280 |
| PARAM_VALUE | 4 | lock->dep_map.name | 8240292577482100736 |
| PARAM_VALUE | 4 | lock->dep_map.wait_type_inner | 4 |
| PARAM_VALUE | 4 | lock->magic | 4096-ptr_max |
| PARAM_VALUE | 4 | lock->osq.tail.counter | 0-s32max |
| PARAM_VALUE | 4 | lock->wait_lock.owner | (-1) |
| PARAM_VALUE | 4 | lock->wait_lock.owner_cpu | u32max |
| BUF_SIZE | 3 | peer | 2536 |
| CAPPED_DATA | 3 | peer | 1 |
| DATA_SOURCE | 3 | peer | r init_peer |
| TERMINATED | 4 | lock->dep_map.name | 1 |
| NOCHECK_CALL | |||
| LOCK2 | &mutex |
drivers/net/wireguard/allowedips.c wg_allowedips_selftest() -> wg_allowedips_remove_v6()
| 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 | 42-46 |
| PARAM_VALUE | 1 | ip | 6118750793395245056 |
| PARAM_VALUE | 2 | cidr | 98 |
| PARAM_VALUE | 3 | peer | 4096-ptr_max |
| PARAM_VALUE | 3 | peer->refcount.refcount.refs.counter | 1 |
| PARAM_VALUE | 4 | lock | 4158625824547553280 |
| PARAM_VALUE | 4 | lock->dep_map.name | 8240292577482100736 |
| PARAM_VALUE | 4 | lock->dep_map.wait_type_inner | 4 |
| PARAM_VALUE | 4 | lock->magic | 4096-ptr_max |
| PARAM_VALUE | 4 | lock->osq.tail.counter | 0-s32max |
| PARAM_VALUE | 4 | lock->wait_lock.owner | (-1) |
| PARAM_VALUE | 4 | lock->wait_lock.owner_cpu | u32max |
| BUF_SIZE | 3 | peer | 2536 |
| CAPPED_DATA | 3 | peer | 1 |
| DATA_SOURCE | 3 | peer | r init_peer |
| TERMINATED | 4 | lock->dep_map.name | 1 |
| NOCHECK_CALL | |||
| LOCK2 | &mutex |
drivers/net/wireguard/netlink.c set_allowedip() -> wg_allowedips_remove_v6()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | table | 4096-ptr_max |
| PARAM_VALUE | 2 | cidr | 0-128 |
| PARAM_VALUE | 3 | peer | 4096-ptr_max |
| PARAM_VALUE | 3 | peer->handshake.lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 3 | peer->handshake.lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 4 | lock | 4096-ptr_max |
| CAPPED_DATA | 3 | peer | 1 |
| DATA_SOURCE | 2 | cidr | r nla_get_u8 |
| DATA_SOURCE | 3 | peer | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 3 | peer->handshake->preshared_key | 0-255 |
| USER_DATA | 3 | peer->handshake->remote_static | 0-255 |
| USER_PTR | 1 | ip | |
| 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 |