Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->base.complete 215335712940810240
PARAM_VALUE 0 req->base.data 4096-ptr_max
PARAM_VALUE 0 req->chain.dsg.dma_address 0
PARAM_VALUE 0 req->chain.dsg.dma_flags 0
PARAM_VALUE 0 req->chain.dsg.dma_length 0
PARAM_VALUE 0 req->chain.dsg.offset 0-4095
PARAM_VALUE 0 req->chain.flags 0,2-10
PARAM_VALUE 0 req->chain.ssg.dma_address 0
PARAM_VALUE 0 req->chain.ssg.dma_flags 0
PARAM_VALUE 0 req->chain.ssg.dma_length 0
PARAM_VALUE 0 req->chain.ssg.offset 0-4095
PARAM_VALUE 0 req->dst 4096-ptr_max
PARAM_VALUE 0 req->dvirt 4096-ptr_max
PARAM_VALUE 0 req->src 4096-ptr_max
PARAM_VALUE 0 req->svirt 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 crypto_acomp_decompress() -> (struct crypto_acomp)->decompress()

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