Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 1 their_counter 0
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 1-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 *counter->backtrack 0
PARAM_VALUE 1 their_counter 1
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 1-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 1
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 1-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 9
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 1-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 8
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 1-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 7
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 1-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 7
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 1-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 8129
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 1-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 8128
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 1-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 8128
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 1-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 8127
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 1-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 2
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 1-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 2
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 1-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 8145
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 1-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 3
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 1-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 8145
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 1-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 32516
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 1-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 24388
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 1-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 10
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 1-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 24387
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 1-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 24386
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 1-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 24389
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 1-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 24388
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 1-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 0
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 1-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 18446744073709543486
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 1-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 18446744073709543485
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 1-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 18446744073709543486
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 1-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 18446744073709543485
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 1-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 18446744073709543484
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 1-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 18446744073709543487
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 1-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 18446744073709543488
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 1-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 18446744073709543484
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 1-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 18446744073709543483
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 1-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 0
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 0-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 1-8128
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
FUZZY_MAX 0 counter->counter 0
FUZZY_MAX 1 their_counter 8128
HARD_MAX 1 their_counter 8128
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 0-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 0
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 0-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 0
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 0-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 2-8129
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
FUZZY_MAX 0 counter->counter 0
FUZZY_MAX 1 their_counter 8129
HARD_MAX 1 their_counter 8129
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 0-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 1
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 0-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 0
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 0-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 0-8128
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
FUZZY_MAX 0 counter->counter 0
HARD_MAX 1 their_counter 8128
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 0-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 1-8129
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
FUZZY_MAX 0 counter->counter 0
HARD_MAX 1 their_counter 8129
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 0-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 0
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 0-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 1-8128
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
FUZZY_MAX 0 counter->counter 0
HARD_MAX 1 their_counter 8128
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 0-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 8129
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 0-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 0
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 0-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 1-8128
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
FUZZY_MAX 0 counter->counter 0
HARD_MAX 1 their_counter 8128
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 0-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 0
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_counter_selftest() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
PARAM_VALUE 0 counter->counter 0-18446744073709543486
PARAM_VALUE 0 counter->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 their_counter 8129
BUF_SIZE 0 counter 1104
DATA_SOURCE 0 counter r _kmalloc_noprof
MEM_ZERO 0 counter

drivers/net/wireguard/receive.c wg_packet_rx_poll() -> counter_validate()

Type Parameter Key Value
PARAM_VALUE 0 counter 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read