Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/crypto/intel/iaa/iaa_crypto_main.c iaa_comp_adecompress() -> iaa_decompress()

Type Parameter Key Value
PARAM_VALUE 1 req 4096-ptr_max
PARAM_VALUE 1 req->dst 4096-ptr_max
PARAM_VALUE 1 req->slen 1-u32max
PARAM_VALUE 1 req->src 4096-ptr_max
PARAM_VALUE 2 wq 4096-ptr_max
PARAM_VALUE 2 wq->idxd 4096-ptr_max
PARAM_VALUE 2 wq->idxd->dev_lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 wq->idxd->pdev->dev.dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 wq->idxd->pdev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 2 wq->idxd->pdev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 2 wq->idxd->pdev->dev.dma_mask 4096-ptr_max
PARAM_VALUE 4 slen 1-u32max
PARAM_VALUE 6 dlen 4096-ptr_max
BUF_SIZE 1 req (-1),176
BUF_SIZE 1 req (-1),176
CAPPED_DATA 1 req 1
DATA_SOURCE 1 req $0
DATA_SOURCE 2 wq r wq_table_next_wq
NOSPEC 1 req->slen
NOSPEC 4 slen
NOSPEC 4 slen
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 req->dlen 0-2147483646[c]
HOST_DATA 1 req->slen 1-u32max[c]
HOST_DATA 4 slen 1-u32max[c]
HOST_DATA 6 *dlen 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 4 slen 128-4095[c]
USER_DATA 6 *dlen 64-4031[c]
NO_OVERFLOW_SIMPLE 1 req->chain.dsg.length
NO_OVERFLOW_SIMPLE 1 req->dst->length
UNITS 0 tfm unit_byte
UNITS 3 src_addr unit_byte
UNITS 4 slen unit_byte
UNITS 5 dst_addr unit_byte
USER_PTR 6 dlen
HALF_LOCKED2 &acomp_ctx->mutex