Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/scsi/leapraid/leapraid_func.c leapraid_complete_task() -> leapraid_free_taskid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->shost | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->shost->can_queue | 0-s32max |
| CAPPED_DATA | 0 | adapter->shost->can_queue | 1 |
| CAPPED_DATA | 1 | taskid | 1 |
| DATA_SOURCE | 0 | adapter | $0 |
| DATA_SOURCE | 1 | taskid | $1 |
| PARAM_COMPARE | 0 | adapter->shost->can_queue | >= $1 |
| PARAM_COMPARE | 1 | taskid | <= $0->shost->can_queue |
| CONSTRAINT | 1 | taskid | <=3826 |
| NOCHECK_CALL |
drivers/scsi/leapraid/leapraid_func.c leapraid_complete_task() -> leapraid_free_taskid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->shost | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->shost->can_queue | s32min-65534 |
| CAPPED_DATA | 0 | adapter->shost->can_queue | 1 |
| DATA_SOURCE | 0 | adapter | $0 |
| DATA_SOURCE | 1 | taskid | $1 |
| PARAM_COMPARE | 0 | adapter->shost->can_queue | < $1 |
| PARAM_COMPARE | 1 | taskid | > $0->shost->can_queue |
| NOCHECK_CALL |
drivers/scsi/leapraid/leapraid_os.c leapraid_error_handler() -> leapraid_free_taskid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->pdev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | adapter->pdev->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | adapter->pdev->dev.driver | 0,4096-ptr_max |
| PARAM_VALUE | 1 | taskid | 1-u16max |
| NOCHECK_CALL |
drivers/scsi/leapraid/leapraid_os.c leapraid_queuecommand() -> leapraid_free_taskid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->access_ctrl.host_removing | 0 |
| PARAM_VALUE | 0 | adapter->access_ctrl.pcie_recovering | 0 |
| PARAM_VALUE | 0 | adapter->access_ctrl.shost_recovering | 0 |
| PARAM_VALUE | 0 | adapter->mem_desc.taskid_to_uniq_tag | 4096-ptr_max |
| DATA_SOURCE | 1 | taskid | r leapraid_alloc_scsiio_taskid |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &sdev->state_mutex |
drivers/scsi/leapraid/leapraid_os.c leapraid_scsiio_done() -> leapraid_free_taskid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->shost | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->shost->can_queue | 1-s32max |
| PARAM_VALUE | 0 | adapter->shost->tag_set.nr_hw_queues | 1-u32max |
| PARAM_VALUE | 1 | taskid | 1-u16max |
| CAPPED_DATA | 0 | adapter->shost->can_queue | 1 |
| CAPPED_DATA | 0 | adapter->shost->tag_set.nr_hw_queues | 1 |
| CAPPED_DATA | 1 | taskid | 1 |
| DATA_SOURCE | 0 | adapter | $0 |
| DATA_SOURCE | 1 | taskid | $1 |
| PARAM_COMPARE | 0 | adapter->shost->can_queue | >= $1 |
| PARAM_COMPARE | 1 | taskid | <= $0->shost->can_queue |
| CONSTRAINT | 1 | taskid | <=3826 |
| NOCHECK_CALL |