Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/net/wireguard/allowedips.c randomized_test() -> wg_allowedips_insert_v4()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | table | 4410119487424978944 |
| PARAM_VALUE | 0 | table->root4 | 0,4096-ptr_max |
| PARAM_VALUE | 0 | table->root6 | 0 |
| PARAM_VALUE | 0 | table->seq | 1,3 |
| PARAM_VALUE | 1 | ip | 3973146222205120512 |
| PARAM_VALUE | 4 | lock | 918328763819896832 |
| 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 | 1 | ip | 16 |
| DATA_SOURCE | 2 | cidr | r get_random_u32_inclusive |
| TERMINATED | 4 | lock->dep_map.name | 1 |
| LOCK2 | &mutex |
drivers/net/wireguard/allowedips.c randomized_test() -> wg_allowedips_insert_v4()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | table | 4410119487424978944 |
| PARAM_VALUE | 0 | table->root4 | 4096-ptr_max |
| PARAM_VALUE | 0 | table->root6 | 0 |
| PARAM_VALUE | 0 | table->seq | 2-4 |
| PARAM_VALUE | 1 | ip | 1294290481390149632 |
| 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 | 4 | lock | 918328763819896832 |
| 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 | 1 | ip | 16 |
| DATA_SOURCE | 2 | cidr | r get_random_u32_inclusive |
| TERMINATED | 4 | lock->dep_map.name | 1 |
| LOCK2 | &mutex |
drivers/net/wireguard/allowedips.c wg_allowedips_selftest() -> wg_allowedips_insert_v4()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | table | 4084224434410139648 |
| PARAM_VALUE | 0 | table->root4 | 0 |
| PARAM_VALUE | 0 | table->root6 | 0 |
| PARAM_VALUE | 0 | table->seq | 1 |
| PARAM_VALUE | 1 | ip | 3866516222580383744 |
| PARAM_VALUE | 2 | cidr | 24 |
| 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 |
| 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_insert_v4()
| 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 | 2 |
| PARAM_VALUE | 1 | ip | 3866516222580383744 |
| PARAM_VALUE | 2 | cidr | 32 |
| 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 |
| 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_insert_v4()
| 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 | ip | 3866516222580383744 |
| PARAM_VALUE | 2 | cidr | 16 |
| 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 |
| 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_insert_v4()
| 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 | 4 |
| PARAM_VALUE | 1 | ip | 3866516222580383744 |
| PARAM_VALUE | 2 | cidr | 27 |
| 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 |
| 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_insert_v4()
| 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 | 5 |
| PARAM_VALUE | 1 | ip | 3866516222580383744 |
| PARAM_VALUE | 2 | cidr | 27 |
| 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 |
| 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_insert_v4()
| 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 | 8 |
| PARAM_VALUE | 1 | ip | 3866516222580383744 |
| PARAM_VALUE | 2 | cidr | 0 |
| 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 |
| 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_insert_v4()
| 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 | 16 |
| PARAM_VALUE | 1 | ip | 3866516222580383744 |
| PARAM_VALUE | 2 | cidr | 20 |
| 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 |
| 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_insert_v4()
| 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 | 17 |
| PARAM_VALUE | 1 | ip | 3866516222580383744 |
| PARAM_VALUE | 2 | cidr | 25 |
| 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 |
| 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_insert_v4()
| 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 | 18 |
| PARAM_VALUE | 1 | ip | 3866516222580383744 |
| PARAM_VALUE | 2 | cidr | 25 |
| 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 |
| 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_insert_v4()
| 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 | 19 |
| PARAM_VALUE | 1 | ip | 3866516222580383744 |
| PARAM_VALUE | 2 | cidr | 25 |
| 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 |
| 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_insert_v4()
| 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 | 20 |
| PARAM_VALUE | 1 | ip | 3866516222580383744 |
| PARAM_VALUE | 2 | cidr | 30 |
| 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 |
| 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_insert_v4()
| 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 | 21 |
| PARAM_VALUE | 1 | ip | 3866516222580383744 |
| PARAM_VALUE | 2 | cidr | 30 |
| 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 |
| 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_insert_v4()
| 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 | 22 |
| PARAM_VALUE | 1 | ip | 3866516222580383744 |
| PARAM_VALUE | 2 | cidr | 29 |
| 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 |
| 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_insert_v4()
| 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 | 23 |
| PARAM_VALUE | 1 | ip | 3866516222580383744 |
| PARAM_VALUE | 2 | cidr | 29 |
| 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 |
| 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_insert_v4()
| 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 | 24 |
| PARAM_VALUE | 1 | ip | 3866516222580383744 |
| PARAM_VALUE | 2 | cidr | 32 |
| 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_insert_v4()
| 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 | 25 |
| PARAM_VALUE | 1 | ip | 3866516222580383744 |
| PARAM_VALUE | 2 | cidr | 32 |
| 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_insert_v4()
| 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 | 26 |
| PARAM_VALUE | 1 | ip | 3866516222580383744 |
| PARAM_VALUE | 2 | cidr | 32 |
| 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_insert_v4()
| 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 | 27 |
| PARAM_VALUE | 1 | ip | 3866516222580383744 |
| PARAM_VALUE | 2 | cidr | 32 |
| 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_insert_v4()
| 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 | 28 |
| PARAM_VALUE | 1 | ip | 3866516222580383744 |
| PARAM_VALUE | 2 | cidr | 32 |
| 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_insert_v4()
| 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-30 |
| PARAM_VALUE | 1 | ip | 3866516222580383744 |
| PARAM_VALUE | 2 | cidr | 32 |
| 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_insert_v4()
| 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 | 30-31 |
| PARAM_VALUE | 1 | ip | 3866516222580383744 |
| PARAM_VALUE | 2 | cidr | 24 |
| 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_insert_v4()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | table | 4084224434410139648 |
| PARAM_VALUE | 0 | table->root4 | 0 |
| PARAM_VALUE | 0 | table->root6 | 0 |
| PARAM_VALUE | 0 | table->seq | 1 |
| PARAM_VALUE | 1 | ip | 3866516222580383744 |
| PARAM_VALUE | 2 | cidr | 16 |
| 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_insert_v4()
| 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 | 2 |
| PARAM_VALUE | 1 | ip | 3866516222580383744 |
| PARAM_VALUE | 2 | cidr | 24 |
| 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_insert_v4()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | table | 4084224434410139648 |
| PARAM_VALUE | 0 | table->root4 | 0 |
| PARAM_VALUE | 0 | table->root6 | 0 |
| PARAM_VALUE | 0 | table->seq | 1 |
| PARAM_VALUE | 1 | ip | 3866516222580383744 |
| PARAM_VALUE | 2 | cidr | 27 |
| 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_insert_v4()
| 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 | 3 |
| PARAM_VALUE | 1 | ip | 3866516222580383744 |
| PARAM_VALUE | 2 | cidr | 29 |
| 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_insert_v4()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | table | 4096-ptr_max |
| PARAM_VALUE | 2 | cidr | 0-32 |
| 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 |
| FUZZY_MAX | 2 | cidr | 32 |
| HARD_MAX | 2 | cidr | 32 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | ip->s_addr | 0-u32max |
| 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 |