Defined in 1 files as a prototype:

Defined in 3 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/block/zram/zcomp.c zcomp_compress() -> (struct zcomp_ops)->compress()

Type Parameter Key Value
PARAM_VALUE 1 ctx 4096-ptr_max
PARAM_VALUE 2 req 4336686365428285440
PARAM_VALUE 2 req->dst 1-u64max
PARAM_VALUE 2 req->dst_len 8192
PARAM_VALUE 2 req->src 18379471554275704832,18446612682070032384
PARAM_VALUE 2 req->src_len 4096
CONTAINER 0 *(-0-8+16) $(-1)
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock

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

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_compress() -> (struct crypto_acomp)->compress()

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->chain.ssg.length
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-4095[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 0,128-4095[c]
USER_DATA 0 params->src->offset 0,2-4095[c][u]
NO_OVERFLOW_SIMPLE 0 params->chain.dsg.length
HALF_LOCKED2 &acomp_ctx->mutex