Documented in 1 files:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/ubifs/compress.c ubifs_compress_common() -> acomp_request_set_src_dma()

Type Parameter Key Value
PARAM_VALUE 0 req 255322972757065728
PARAM_VALUE 0 req->base.flags 0,2-1054,2048,2050-3102
PARAM_VALUE 2 slen 128-4095
BUF_SIZE 0 req 176
BUF_SIZE 1 src 2-4096
CAPPED_DATA 2 slen 1
DATA_SOURCE 0 req r acomp_request_on_stack_init
DATA_SOURCE 2 slen $3
NOSPEC 2 slen
NOSPEC 2 slen
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 slen 128-4095[c]
LOCK2 &ui->ui_mutex
HALF_LOCKED2 &dentry->d_inode->i_rwsem
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct ubifs_inode)->ui_mutex

fs/ubifs/compress.c ubifs_decompress_common() -> acomp_request_set_src_dma()

Type Parameter Key Value
PARAM_VALUE 0 req 7922442154943987712
PARAM_VALUE 0 req->base.flags 0,2-1054,2048,2050-3102
PARAM_VALUE 1 src 4096-ptr_max
BUF_SIZE 0 req 176
BUF_SIZE 1 src (-1),4096
DATA_SOURCE 0 req r acomp_request_on_stack_init
DATA_SOURCE 1 src $1
DATA_SOURCE 2 slen $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 slen unit_byte
HALF_LOCKED2 &ui->ui_mutex

crypto/acompress.c acomp_reqchain_virt() -> acomp_request_set_src_dma()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
BUF_SIZE 0 req (-1),1-s32max
BUF_SIZE 0 req (-1),1-s32max
BUF_SIZE 1 src 2-s32max
DATA_SOURCE 0 req $0
NOSPEC 0 req->src->length
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 req->dlen 0-2147483646[c]
HOST_DATA 0 req->src->length 0-2147483646[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->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
UNITS 0 req unit_byte
UNITS 1 src unit_byte
UNITS 2 slen unit_byte