Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

crypto/scompress.c scomp_acomp_comp_decomp() -> crypto_acomp_reqtfm()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
BUF_SIZE 0 req (-1),176
BUF_SIZE 0 req (-1),176
DATA_SOURCE 0 req $0
NOSPEC 0 req->slen
NOSPEC 0 req->src->length
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 req->dlen 0-2147483646[c]
HOST_DATA 0 req->slen 0-u32max[c]
HOST_DATA 0 req->src->length 0-2147483646[c]
USER_DATA 0 req->chain.ssg.length 128-4095[c]
USER_DATA 0 req->chain.ssg.offset 2-4095[c][u]
USER_DATA 0 req->dlen 64-4031[c]
USER_DATA 0 req->slen 128-4095[c]
USER_DATA 0 req->src->length 128-4095[c]
USER_DATA 0 req->src->offset 2-4095[c][u]
NO_OVERFLOW_SIMPLE 0 req->chain.dsg.length
NO_OVERFLOW_SIMPLE 0 req->dst->length
HALF_LOCKED2 &acomp_ctx->mutex

crypto/acompress.c acomp_do_one_req() -> crypto_acomp_reqtfm()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
BUF_SIZE 0 req (-1),176
BUF_SIZE 0 req (-1),176
DATA_SOURCE 0 req $0
NOSPEC 0 req->slen
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 req->dlen 0-2147483646[c]
HOST_DATA 0 req->slen 0-u32max[c]
USER_DATA 0 req->chain.ssg.offset 2-4095[c][u]
USER_DATA 0 req->dlen 64-4031[c]
USER_DATA 0 req->slen 128-4095[c]
USER_DATA 0 req->src->length 128-4095[c]
USER_DATA 0 req->src->offset 2-4095[c][u]
NO_OVERFLOW_SIMPLE 0 req->chain.dsg.length
NO_OVERFLOW_SIMPLE 0 req->dst->length
HALF_LOCKED2 &acomp_ctx->mutex

crypto/acompress.c acomp_do_one_req() -> crypto_acomp_reqtfm()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
BUF_SIZE 0 req (-1),176
BUF_SIZE 0 req (-1),176
DATA_SOURCE 0 req $0
NOSPEC 0 req->slen
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 req->dlen 0-2147483646[c]
HOST_DATA 0 req->slen 0-u32max[c]
USER_DATA 0 req->chain.ssg.offset 2-4095[c][u]
USER_DATA 0 req->dlen 64-4031[c]
USER_DATA 0 req->slen 128-4095[c]
USER_DATA 0 req->src->length 128-4095[c]
USER_DATA 0 req->src->offset 2-4095[c][u]
NO_OVERFLOW_SIMPLE 0 req->chain.dsg.length
NO_OVERFLOW_SIMPLE 0 req->dst->length
HALF_LOCKED2 &acomp_ctx->mutex

crypto/acompress.c acomp_fbreq_on_stack_init() -> crypto_acomp_reqtfm()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
BUF_SIZE 0 req (-1),176
BUF_SIZE 0 req (-1),176
DATA_SOURCE 0 req $1
NOSPEC 0 req->slen
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 req->dlen 0-2147483646[c]
HOST_DATA 0 req->slen 0-u32max[c]
USER_DATA 0 req->chain.ssg.length 128-4095[c]
USER_DATA 0 req->chain.ssg.offset 2-4095[c][u]
USER_DATA 0 req->dlen 64-4031[c]
USER_DATA 0 req->slen 128-4095[c]
NO_OVERFLOW_SIMPLE 0 req->chain.dsg.length
HALF_LOCKED2 &acomp_ctx->mutex

crypto/acompress.c crypto_acomp_compress() -> crypto_acomp_reqtfm()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
BUF_SIZE 0 req (-1),176
BUF_SIZE 0 req (-1),176
CAPPED_DATA 0 req 1
DATA_SOURCE 0 req $0
NOSPEC 0 req->chain.ssg.length
NOSPEC 0 req->slen
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 req->dlen 0-2147483646[c]
HOST_DATA 0 req->slen 0-u32max[c]
USER_DATA 0 req->chain.ssg.length 128-4095[c]
USER_DATA 0 req->chain.ssg.offset 2-4095[c][u]
USER_DATA 0 req->dlen 64-4031[c]
USER_DATA 0 req->slen 128-4095[c]
USER_DATA 0 req->src->length 0,128-4095[c]
USER_DATA 0 req->src->offset 0,2-4095[c][u]
NO_OVERFLOW_SIMPLE 0 req->chain.dsg.length
HALF_LOCKED2 &acomp_ctx->mutex

crypto/acompress.c crypto_acomp_compress() -> crypto_acomp_reqtfm()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
BUF_SIZE 0 req (-1),176
BUF_SIZE 0 req (-1),176
CAPPED_DATA 0 req 1
DATA_SOURCE 0 req $0
NOSPEC 0 req->chain.ssg.length
NOSPEC 0 req->slen
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 req->dlen 0-2147483646[c]
HOST_DATA 0 req->slen 0-u32max[c]
USER_DATA 0 req->chain.ssg.length 128-4095[c]
USER_DATA 0 req->chain.ssg.offset 2-4095[c][u]
USER_DATA 0 req->dlen 64-4031[c]
USER_DATA 0 req->slen 128-4095[c]
USER_DATA 0 req->src->length 0,128-4095[c]
USER_DATA 0 req->src->offset 0,2-4095[c][u]
NO_OVERFLOW_SIMPLE 0 req->chain.dsg.length
HALF_LOCKED2 &acomp_ctx->mutex

crypto/acompress.c crypto_acomp_decompress() -> crypto_acomp_reqtfm()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
BUF_SIZE 0 req (-1),176
BUF_SIZE 0 req (-1),176
CAPPED_DATA 0 req 1
DATA_SOURCE 0 req $0
NOSPEC 0 req->slen
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 req->dlen 0-2147483646[c]
HOST_DATA 0 req->slen 0-u32max[c]
USER_DATA 0 req->chain.ssg.length 128-4094[c]
USER_DATA 0 req->chain.ssg.offset 2-4095[c][u]
USER_DATA 0 req->dlen 64-4031[c]
USER_DATA 0 req->slen 128-4095[c]
NO_OVERFLOW_SIMPLE 0 req->chain.dsg.length
HALF_LOCKED2 &acomp_ctx->mutex
HALF_LOCKED2 &pcl->lock
HALF_LOCKED2 global &z_erofs_crypto_rwsem

crypto/acompress.c crypto_acomp_decompress() -> crypto_acomp_reqtfm()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
BUF_SIZE 0 req (-1),176
BUF_SIZE 0 req (-1),176
CAPPED_DATA 0 req 1
DATA_SOURCE 0 req $0
NOSPEC 0 req->slen
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 req->dlen 0-2147483646[c]
HOST_DATA 0 req->slen 0-u32max[c]
USER_DATA 0 req->chain.ssg.length 128-4094[c]
USER_DATA 0 req->chain.ssg.offset 2-4095[c][u]
USER_DATA 0 req->dlen 64-4031[c]
USER_DATA 0 req->slen 128-4095[c]
NO_OVERFLOW_SIMPLE 0 req->chain.dsg.length
HALF_LOCKED2 &acomp_ctx->mutex
HALF_LOCKED2 &pcl->lock
HALF_LOCKED2 global &z_erofs_crypto_rwsem

drivers/crypto/intel/qat/qat_common/qat_comp_algs.c qat_comp_alg_compress_decompress() -> crypto_acomp_reqtfm()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
BUF_SIZE 0 req (-1),176
BUF_SIZE 0 req (-1),176
DATA_SOURCE 0 req $0
NOSPEC 0 req->slen
NOSPEC 0 req->src->length
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 req->dlen 0-2147483646[c]
HOST_DATA 0 req->slen 0-u32max[c]
HOST_DATA 0 req->src->length 0-2147483646[c]
USER_DATA 0 req->chain.ssg.length 128-4095[c]
USER_DATA 0 req->chain.ssg.offset 2-4095[c][u]
USER_DATA 0 req->dlen 64-4031[c]
USER_DATA 0 req->slen 128-4095[c]
USER_DATA 0 req->src->length 128-4095[c]
USER_DATA 0 req->src->offset 2-4095[c][u]
NO_OVERFLOW_SIMPLE 0 req->chain.dsg.length
NO_OVERFLOW_SIMPLE 0 req->dst->length
HALF_LOCKED2 &acomp_ctx->mutex

drivers/crypto/intel/qat/qat_common/qat_comp_algs.c qat_comp_alg_lz4s_zstd_compress() -> crypto_acomp_reqtfm()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
BUF_SIZE 0 req (-1),176
BUF_SIZE 0 req (-1),176
CAPPED_DATA 0 req 1
DATA_SOURCE 0 req $0
NOSPEC 0 req->slen
NOSPEC 0 req->src->length
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 req->dlen 0-2147483646[c]
HOST_DATA 0 req->slen 0-u32max[c]
USER_DATA 0 req->chain.ssg.length 128-4095[c]
USER_DATA 0 req->chain.ssg.offset 2-4095[c][u]
USER_DATA 0 req->dlen 64-4031[c]
USER_DATA 0 req->slen 128-4095[c]
USER_DATA 0 req->src->length 128-4095[c]
USER_DATA 0 req->src->offset 2-4095[c][u]
NO_OVERFLOW_SIMPLE 0 req->chain.dsg.length
NO_OVERFLOW_SIMPLE 0 req->dst->length
HALF_LOCKED2 &acomp_ctx->mutex

drivers/crypto/intel/qat/qat_common/qat_comp_algs.c qat_comp_alg_sw_decompress() -> crypto_acomp_reqtfm()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
BUF_SIZE 0 req (-1),176
BUF_SIZE 0 req (-1),176
CAPPED_DATA 0 req 1
DATA_SOURCE 0 req $0
NOSPEC 0 req->slen
NOSPEC 0 req->src->length
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 req->dlen 0-2147483646[c]
HOST_DATA 0 req->slen 0-u32max[c]
USER_DATA 0 req->chain.ssg.length 128-4095[c]
USER_DATA 0 req->chain.ssg.offset 2-4095[c][u]
USER_DATA 0 req->dlen 64-4031[c]
USER_DATA 0 req->slen 128-4095[c]
USER_DATA 0 req->src->length 128-4095[c]
USER_DATA 0 req->src->offset 2-4095[c][u]
NO_OVERFLOW_SIMPLE 0 req->chain.dsg.length
NO_OVERFLOW_SIMPLE 0 req->dst->length
HALF_LOCKED2 &acomp_ctx->mutex

drivers/crypto/intel/qat/qat_common/qat_comp_algs.c qat_comp_alg_zstd_decompress() -> crypto_acomp_reqtfm()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
BUF_SIZE 0 req (-1),176
BUF_SIZE 0 req (-1),176
CAPPED_DATA 0 req 1
DATA_SOURCE 0 req $0
NOSPEC 0 req->slen
NOSPEC 0 req->src->length
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 req->dlen 0-2147483646[c]
HOST_DATA 0 req->slen 0-u32max[c]
USER_DATA 0 req->chain.ssg.length 128-4095[c]
USER_DATA 0 req->chain.ssg.offset 2-4095[c][u]
USER_DATA 0 req->dlen 64-4031[c]
USER_DATA 0 req->slen 128-4095[c]
USER_DATA 0 req->src->length 128-4095[c]
USER_DATA 0 req->src->offset 2-4095[c][u]
NO_OVERFLOW_SIMPLE 0 req->chain.dsg.length
NO_OVERFLOW_SIMPLE 0 req->dst->length
HALF_LOCKED2 &acomp_ctx->mutex

drivers/crypto/intel/qat/qat_common/qat_comp_algs.c qat_comp_generic_callback() -> crypto_acomp_reqtfm()

Type Parameter Key Value

drivers/crypto/intel/iaa/iaa_crypto_main.c acomp_fbreq_on_stack_init() -> crypto_acomp_reqtfm()

Type Parameter Key Value
BUF_SIZE 0 req (-1),176
BUF_SIZE 0 req (-1),176
DATA_SOURCE 0 req $1
NOSPEC 0 req->slen
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 req->dlen 0-2147483646[c]
HOST_DATA 0 req->slen 1-u32max[c]
USER_DATA 0 req->chain.ssg.length 128-4094[c]
USER_DATA 0 req->chain.ssg.offset 2-4095[c][u]
USER_DATA 0 req->dlen 64-4031[c]
USER_DATA 0 req->slen 128-4095[c]
NO_OVERFLOW_SIMPLE 0 req->chain.dsg.length

net/xfrm/xfrm_ipcomp.c acomp_request_extra() -> crypto_acomp_reqtfm()

Type Parameter Key Value
DATA_SOURCE 0 req $0
RX_PATH
TASK_NOT_RUNNING

drivers/crypto/hisilicon/zip/zip_crypto.c acomp_fbreq_on_stack_init() -> crypto_acomp_reqtfm()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
BUF_SIZE 0 req (-1),176
BUF_SIZE 0 req (-1),176
DATA_SOURCE 0 req $1
NOSPEC 0 req->slen
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 req->dlen 0-2147483646[c]
HOST_DATA 0 req->slen 0-u32max[c]
USER_DATA 0 req->chain.ssg.length 128-4095[c]
USER_DATA 0 req->chain.ssg.offset 2-4095[c][u]
USER_DATA 0 req->dlen 64-4031[c]
USER_DATA 0 req->slen 128-4095[c]
NO_OVERFLOW_SIMPLE 0 req->chain.dsg.length
HALF_LOCKED2 &acomp_ctx->mutex