Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/block/zram/zcomp.c zcomp_decompress() -> (struct zcomp_ops)->decompress()

Type Parameter Key Value
PARAM_VALUE 1 ctx 4096-ptr_max
PARAM_VALUE 2 req 7632008035510145024
PARAM_VALUE 2 req->dst_len 4096
PARAM_VALUE 2 req->src_len 0-8191
CONTAINER 0 *(-8-8+16) $(-1)

crypto/acompress.c acomp_do_one_req() -> (struct crypto_acomp)->decompress()

Type Parameter Key Value
PARAM_VALUE 0 params 4096-ptr_max
PARAM_VALUE 0 params->base.complete 215335712940810240
PARAM_VALUE 0 params->base.data 4096-ptr_max
PARAM_VALUE 0 params->chain.dsg.dma_address 0
PARAM_VALUE 0 params->chain.dsg.dma_flags 0
PARAM_VALUE 0 params->chain.dsg.dma_length 0
PARAM_VALUE 0 params->chain.dsg.offset 0-4095
PARAM_VALUE 0 params->chain.flags 0,2-10
PARAM_VALUE 0 params->chain.ssg.dma_address 0
PARAM_VALUE 0 params->chain.ssg.dma_flags 0
PARAM_VALUE 0 params->chain.ssg.dma_length 0
PARAM_VALUE 0 params->chain.ssg.offset 0-4095
PARAM_VALUE 0 params->dst 4096-ptr_max
PARAM_VALUE 0 params->dvirt 4096-ptr_max
PARAM_VALUE 0 params->src 4096-ptr_max
PARAM_VALUE 0 params->svirt 4096-ptr_max
BUF_SIZE 0 params (-1),176
BUF_SIZE 0 params (-1),176
DATA_SOURCE 0 params $0
NOSPEC 0 params->slen
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 params->dlen 0-2147483646[c]
HOST_DATA 0 params->slen 0-u32max[c]
USER_DATA 0 params->chain.ssg.offset 2-4095[c][u]
USER_DATA 0 params->dlen 64-4031[c]
USER_DATA 0 params->slen 128-4095[c]
USER_DATA 0 params->src->length 128-4095[c]
USER_DATA 0 params->src->offset 2-4095[c][u]
NO_OVERFLOW_SIMPLE 0 params->chain.dsg.length
NO_OVERFLOW_SIMPLE 0 params->dst->length
HALF_LOCKED2 &acomp_ctx->mutex

crypto/acompress.c crypto_acomp_decompress() -> (struct crypto_acomp)->decompress()

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