Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/ubifs/compress.c acomp_request_set_src_folio() -> acomp_request_set_src_sg()

Type Parameter Key Value
PARAM_VALUE 0 req 255322972757065728
PARAM_VALUE 0 req->base.flags 0,2-1054,2048,2050-3102
PARAM_VALUE 1 src 255322972757065816
PARAM_VALUE 2 slen 128-4096
BUF_SIZE 0 req 176
CAPPED_DATA 2 slen 1
DATA_SOURCE 0 req $0
DATA_SOURCE 2 slen $3
NOSPEC 0 req->chain.ssg.length
NOSPEC 1 src->length
NOSPEC 2 slen
NOSPEC 2 slen
MEM_ZERO 0 &req->chain.ssg
MEM_ZERO 1 src
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 req->chain.ssg.length 128-4095[c]
USER_DATA 0 req->chain.ssg.offset 2-4095[c][u]
USER_DATA 1 src->length 128-4095[c]
USER_DATA 1 src->offset 2-4095[c][u]
USER_DATA 2 slen 128-4095[c]
HALF_LOCKED2 &c->write_reserve_mutex

crypto/acompress.c acomp_virt_to_sg() -> acomp_request_set_src_sg()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->base.flags 2-u32max
PARAM_VALUE 1 src 4096-ptr_max
BUF_SIZE 0 req (-1),176
BUF_SIZE 0 req (-1),176
DATA_SOURCE 0 req $0
NOSPEC 0 req->slen
NOSPEC 0 req->src->length
NOSPEC 2 slen
NOSPEC 2 slen
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 req->dlen 0-2147483646[c]
HOST_DATA 0 req->slen 0-u32max[c]
HOST_DATA 2 slen 0-u32max[c]
USER_DATA 0 req->chain.ssg.length 128-4095[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]
USER_DATA 2 slen 128-4095[c]
NO_OVERFLOW_SIMPLE 0 req->chain.dsg.length
NO_OVERFLOW_SIMPLE 0 req->dst->length
UNITS 2 slen unit_byte
HALF_LOCKED2 &acomp_ctx->mutex