Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/target/iscsi/cxgbit/cxgbit_ddp.c cxgbit_ddp_reserve() -> cxgbi_ppm_ppod_release()

Type Parameter Key Value
PARAM_VALUE 0 ppm 4096-ptr_max
PARAM_VALUE 0 ppm->map_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ppm->next 0-2147500031
PARAM_VALUE 0 ppm->pdev 4096-ptr_max
PARAM_VALUE 0 ppm->pdev->dev.dma_mask 0,4096-ptr_max
PARAM_VALUE 1 idx 0-s32max
CAPPED_DATA 0 &ppm->pdev->dev 1
DATA_SOURCE 0 ppm r cdev2ppm
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/target/iscsi/cxgbit/cxgbit_ddp.c cxgbit_unmap_cmd() -> cxgbi_ppm_ppod_release()

Type Parameter Key Value
DATA_SOURCE 0 ppm r cdev2ppm
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/scsi/cxgbi/libcxgbi.c cxgbi_ddp_reserve() -> cxgbi_ppm_ppod_release()

Type Parameter Key Value
PARAM_VALUE 0 ppm 4096-ptr_max
PARAM_VALUE 0 ppm->map_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ppm->next 0-2147500031
PARAM_VALUE 0 ppm->pdev 4096-ptr_max
PARAM_VALUE 0 ppm->pdev->dev.dma_mask 0,4096-ptr_max
PARAM_VALUE 0 ppm->tformat.pgsz_idx_dflt 0-3
PARAM_VALUE 1 idx 0-s32max
CAPPED_DATA 0 &ppm->pdev->dev 1
HARD_MAX 0 ppm->tformat.pgsz_idx_dflt 3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &session->frwd_lock
HALF_LOCKED2 bh

drivers/scsi/cxgbi/libcxgbi.c task_release_itt() -> cxgbi_ppm_ppod_release()

Type Parameter Key Value
PARAM_VALUE 0 ppm 4096-ptr_max
PARAM_VALUE 1 idx 0-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &conn->session->frwd_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &session->back_lock
HALF_LOCKED2 &session->eh_mutex
HALF_LOCKED2 &session->frwd_lock
HALF_LOCKED2 bh
TYPE_LOCK (struct iscsi_session)->back_lock