Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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

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

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

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

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