Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

crypto/deflate.c deflate_compress_one() -> acomp_walk_virt()

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

crypto/deflate.c deflate_decompress_one() -> acomp_walk_virt()

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

crypto/zstd.c zstd_compress() -> acomp_walk_virt()

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

crypto/zstd.c zstd_decompress() -> acomp_walk_virt()

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