Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/crypto/intel/iaa/iaa_crypto_main.c iaa_comp_acompress() -> iaa_compress_verify()

Type Parameter Key Value
PARAM_VALUE 0 tfm->__crt_ctx 4096-ptr_max
PARAM_VALUE 0 tfm->__crt_ctx->async_mode 0
PARAM_VALUE 0 tfm->__crt_ctx->verify_compress 1
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 1 *req->__ctx 0-4294967295
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 2 wq->idxd->pdev->dev.flags 4096-ptr_max
PARAM_VALUE 2 wq->idxd->state 1
PARAM_VALUE 2 wq->idxd_dev.conf_dev.driver_data 4096-ptr_max
PARAM_VALUE 2 wq->idxd_dev.conf_dev.driver_data->iaa_device 4096-ptr_max
PARAM_VALUE 2 wq->idxd_dev.conf_dev.driver_data->iaa_device->idxd 4096-ptr_max
PARAM_VALUE 2 wq->portal_offset 0-4095
PARAM_VALUE 2 wq->sbq.sb->alloc_hint 0-4294967294
PARAM_VALUE 2 wq->sbq.wake_index.counter 0-7
PARAM_VALUE 2 wq->sbq.wakeup_cnt.counter 0-s32max
PARAM_VALUE 2 wq->wq_active.data 0,4096-ptr_max
PARAM_VALUE 2 wq->wq_resurrect.done 0-4294967293,u32max
PARAM_VALUE 2 wq->wq_resurrect.wait.lock.dep_map->name 0-255
PARAM_VALUE 2 wq->wq_resurrect.wait.lock.owner (-1)
PARAM_VALUE 2 wq->wq_resurrect.wait.lock.owner_cpu u32max
PARAM_VALUE 2 wq->wq_resurrect.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 2 wq->wq_resurrect.wait.task_list.prev->next->next 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

drivers/crypto/intel/iaa/iaa_crypto_main.c iaa_desc_complete() -> iaa_compress_verify()

Type Parameter Key Value
PARAM_VALUE 0 tfm->__crt_ctx->verify_compress 1
PARAM_VALUE 1 req 4096-ptr_max
PARAM_VALUE 2 wq->idxd_dev.conf_dev.driver_data 4096-ptr_max
PARAM_VALUE 2 wq->idxd_dev.conf_dev.driver_data->iaa_device 4096-ptr_max
PARAM_VALUE 6 dlen 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 tfm unit_byte
UNITS 4 slen unit_byte