Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

lib/crypto/tests/blake2s_kunit.c blake2s() -> __blake2s_init()

Type Parameter Key Value
PARAM_VALUE 0 ctx 7301594520509616128
PARAM_VALUE 1 outlen 1-32
PARAM_VALUE 2 key 0,16,4096-ptr_max
PARAM_VALUE 3 keylen 0-32
BUF_SIZE 2 key (-1),32
CAPPED_DATA 3 keylen 1
CAPPED_DATA 3 keylen 1
DATA_SOURCE 1 outlen $5
DATA_SOURCE 2 key $0
DATA_SOURCE 3 keylen $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/crypto/tests/blake2s_kunit.c blake2s_init() -> __blake2s_init()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 *ctx->h 0-4294967295
PARAM_VALUE 1 outlen 32
PARAM_VALUE 2 key 0
PARAM_VALUE 3 keylen 0
DATA_SOURCE 0 ctx $0
DATA_SOURCE 1 outlen $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 ctx unit_byte

lib/crypto/tests/blake2s_kunit.c blake2s_init_key() -> __blake2s_init()

Type Parameter Key Value
PARAM_VALUE 0 ctx 528195479015100416
PARAM_VALUE 1 outlen 32
PARAM_VALUE 2 key 4096-ptr_max
PARAM_VALUE 3 keylen 0-32
CAPPED_DATA 3 keylen 1
CAPPED_DATA 3 keylen 1
DATA_SOURCE 0 ctx $0
DATA_SOURCE 1 outlen $1
DATA_SOURCE 2 key $2
DATA_SOURCE 3 keylen $3
NOCHECK_CALL

drivers/net/wireguard/cookie.c blake2s() -> __blake2s_init()

Type Parameter Key Value
PARAM_VALUE 0 ctx 1872332742985482240
PARAM_VALUE 1 outlen 16
PARAM_VALUE 3 keylen 16,32
BUF_SIZE 2 key 16,32
DATA_SOURCE 1 outlen $5
DATA_SOURCE 2 key $0
DATA_SOURCE 3 keylen $1
HARD_MAX 3 keylen 32
NOCHECK_CALL
HALF_LOCKED2 &peer->latest_cookie.lock

drivers/net/wireguard/cookie.c blake2s_init() -> __blake2s_init()

Type Parameter Key Value
PARAM_VALUE 0 ctx 1020313182744854528
PARAM_VALUE 1 outlen 32
PARAM_VALUE 2 key 0
PARAM_VALUE 3 keylen 0
DATA_SOURCE 0 ctx $0
DATA_SOURCE 1 outlen $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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 &wg->static_identity.lock
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

drivers/net/wireguard/cookie.c blake2s_init_key() -> __blake2s_init()

Type Parameter Key Value
PARAM_VALUE 0 ctx 8797744137469308928
PARAM_VALUE 1 outlen 16
PARAM_VALUE 3 keylen 32
BUF_SIZE 2 key 32
BUF_SIZE 2 key 32
DATA_SOURCE 0 ctx $0
DATA_SOURCE 1 outlen $1
DATA_SOURCE 2 key $2
DATA_SOURCE 3 keylen $3
NOCHECK_CALL
LOCK2 &checker->secret_lock
TYPE_LOCK (struct cookie_checker)->secret_lock

drivers/net/wireguard/noise.c blake2s() -> __blake2s_init()

Type Parameter Key Value
PARAM_VALUE 0 ctx 3631306810769510400
PARAM_VALUE 1 outlen 32
PARAM_VALUE 2 key 0
PARAM_VALUE 3 keylen 0
DATA_SOURCE 1 outlen $5
DATA_SOURCE 2 key $0
DATA_SOURCE 3 keylen $1
NOCHECK_CALL

drivers/net/wireguard/noise.c blake2s_init() -> __blake2s_init()

Type Parameter Key Value
PARAM_VALUE 0 ctx 884125291854774272,7778070378595889152,8330415686614687744
PARAM_VALUE 1 outlen 32
PARAM_VALUE 2 key 0
PARAM_VALUE 3 keylen 0
DATA_SOURCE 0 ctx $0
DATA_SOURCE 1 outlen $1
NOCHECK_CALL

drivers/char/random.c blake2s() -> __blake2s_init()

Type Parameter Key Value
PARAM_VALUE 0 ctx 8187922871300554752
PARAM_VALUE 1 outlen 32
PARAM_VALUE 2 key 4968262462958612480
PARAM_VALUE 3 keylen 32
BUF_SIZE 2 key 32
DATA_SOURCE 1 outlen $5
DATA_SOURCE 2 key $0
DATA_SOURCE 3 keylen $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 outlen unit_byte
UNITS 3 keylen unit_byte
HALF_LOCKED2 flags
HALF_LOCKED2 global &base_crng.lock
HALF_LOCKED2 global &input_pool.lock

drivers/char/random.c blake2s_init_key() -> __blake2s_init()

Type Parameter Key Value
PARAM_VALUE 0 ctx 2541834793616519168
PARAM_VALUE 1 outlen 32
PARAM_VALUE 2 key 7544015690690097152
PARAM_VALUE 3 keylen 32
BUF_SIZE 2 key 32
BUF_SIZE 2 key 32
DATA_SOURCE 0 ctx $0
DATA_SOURCE 1 outlen $1
DATA_SOURCE 2 key $2
DATA_SOURCE 3 keylen $3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 keylen unit_byte
LOCK2 global &input_pool.lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &base_crng.lock

lib/crypto/tests/aes_gcm_kunit.c blake2s_init() -> __blake2s_init()

Type Parameter Key Value
PARAM_VALUE 0 ctx 9035449822987276288
PARAM_VALUE 1 outlen 32
PARAM_VALUE 2 key 0
PARAM_VALUE 3 keylen 0
DATA_SOURCE 0 ctx $0
DATA_SOURCE 1 outlen $1
NOCHECK_CALL

lib/crypto/tests/aes_ccm_kunit.c blake2s_init() -> __blake2s_init()

Type Parameter Key Value
PARAM_VALUE 0 ctx 960130356504125440
PARAM_VALUE 1 outlen 32
PARAM_VALUE 2 key 0
PARAM_VALUE 3 keylen 0
DATA_SOURCE 0 ctx $0
DATA_SOURCE 1 outlen $1
NOCHECK_CALL