Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

lib/crypto/sha256.c __sha256_final() -> sha256_blocks_generic()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 1 data 4096-ptr_max
PARAM_VALUE 2 nblocks 1
BUF_SIZE 1 data 64
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/crypto/sha256.c __sha256_final() -> sha256_blocks_generic()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 1 data 4096-ptr_max
PARAM_VALUE 2 nblocks 1
BUF_SIZE 1 data 64
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/crypto/sha256.c __sha256_update() -> sha256_blocks_generic()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 1 data 4096-ptr_max
PARAM_VALUE 2 nblocks 1
BUF_SIZE 1 data 64
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &chip->ops_sem
HALF_LOCKED2 &chip->tpm_mutex
HALF_LOCKED2 &con->mutex
HALF_LOCKED2 &ctx->rwsem
HALF_LOCKED2 &md->io_barrier
HALF_LOCKED2 &of->mutex

lib/crypto/sha256.c __sha256_update() -> sha256_blocks_generic()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 2 nblocks 1-u64max
BUF_SIZE 1 data s32min-s32max
DATA_SOURCE 1 data $1 [m]
STR_LEN 0 state (-1)-s32max
STR_LEN 1 data (-1)-s32max
NOSPEC 1 *data
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 data 4096-ptr_max[c]
HOST_DATA 2 nblocks 1-33554431,67108863,288230376151711743[c]
USER_DATA 1 data 4096-ptr_max[c][u]
USER_DATA 1 *data 0-255
USER_DATA 2 nblocks 1-67108863,288230376151711743
NO_OVERFLOW_SIMPLE 1 data->compr_size
UNITS 1 data unit_byte
USER_PTR 1 data
HALF_LOCKED2 &chip->ops_sem
HALF_LOCKED2 &chip->tpm_mutex
HALF_LOCKED2 &con->mutex
HALF_LOCKED2 &ctx->rwsem
HALF_LOCKED2 &md->io_barrier
HALF_LOCKED2 &of->mutex