Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireguard/allowedips.c root_free_rcu() -> push_rcu()

Type Parameter Key Value
PARAM_VALUE 0 stack 4096-ptr_max
PARAM_VALUE 2 len 4094640569174880256
PARAM_VALUE 2 *len 0-1
BUF_SIZE 0 stack 1032
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu

drivers/net/wireguard/allowedips.c root_free_rcu() -> push_rcu()

Type Parameter Key Value
PARAM_VALUE 0 stack 4096-ptr_max
PARAM_VALUE 2 len 4094640569174880256
PARAM_VALUE 2 *len 0-2
BUF_SIZE 0 stack 1032
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu

drivers/net/wireguard/allowedips.c root_remove_peer_lists() -> push_rcu()

Type Parameter Key Value
PARAM_VALUE 0 stack 4096-ptr_max
PARAM_VALUE 2 len 5884548683602829312
PARAM_VALUE 2 *len 0-1
BUF_SIZE 0 stack 1032
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mutex
HALF_LOCKED2 &wg->device_update_lock

drivers/net/wireguard/allowedips.c root_remove_peer_lists() -> push_rcu()

Type Parameter Key Value
PARAM_VALUE 0 stack 4096-ptr_max
PARAM_VALUE 2 len 5884548683602829312
PARAM_VALUE 2 *len 0-2
BUF_SIZE 0 stack 1032
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mutex
HALF_LOCKED2 &wg->device_update_lock