Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/scsi/be2iscsi/be_main.c beiscsi_eh_abort() -> iscsi_put_task()

Type Parameter Key Value
PARAM_VALUE 0 task 4096-ptr_max
PARAM_VALUE 0 task->conn 4096-ptr_max
PARAM_VALUE 0 task->dd_data 4096-ptr_max
PARAM_VALUE 0 task->refcount.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 task->sc 1-u64max
NOCHECK_CALL

drivers/scsi/be2iscsi/be_main.c beiscsi_eh_device_reset() -> iscsi_put_task()

Type Parameter Key Value
NOCHECK_CALL

drivers/scsi/libiscsi.c __iscsi_conn_send_pdu() -> iscsi_put_task()

Type Parameter Key Value
PARAM_VALUE 0 task 4096-ptr_max
PARAM_VALUE 0 task->conn 4096-ptr_max
PARAM_VALUE 0 task->conn->c_stage s32min-(-1),1,3-s32max
PARAM_VALUE 0 task->conn->dd_data->ib_conn.device->ib_device->dma_device->dma_uses_io_tlb 1
PARAM_VALUE 0 task->conn->session 4096-ptr_max
PARAM_VALUE 0 task->conn->session->host->hostdata 4096-ptr_max
PARAM_VALUE 0 task->data_count 0-8192
PARAM_VALUE 0 task->dd_data->exp_datasn 0
PARAM_VALUE 0 task->hdr 4096-ptr_max
PARAM_VALUE 0 task->hdr_len 48
PARAM_VALUE 0 task->refcount.refs.counter 1
PARAM_VALUE 0 task->running.next 4096-ptr_max
PARAM_VALUE 0 task->running.next->next 4096-ptr_max
PARAM_VALUE 0 task->running.prev 4096-ptr_max
PARAM_VALUE 0 task->running.prev->next 4096-ptr_max
PARAM_VALUE 0 task->running.prev->prev 4096-ptr_max
PARAM_VALUE 0 task->sc 0
PARAM_VALUE 0 task->state 2-3
CAPPED_DATA 0 task->data_count 1
DATA_SOURCE 0 task r iscsi_alloc_mgmt_task
NOSPEC 0 task->data_count
PREEMPT_ADD
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 task->conn->dd_data->task->data_count 1-8192[c]
USER_DATA 0 task->data_count 1-8192[c]
USER_DATA 0 task->dd_data->pwrb_handle->pio_handle->data_count 1-8192[c]
USER_DATA 0 task->dd_data->req_len 49-8240[c]
USER_DATA 0 task->dd_data->task->data_count 1-8192[c]
USER_DATA 0 *task->data 0-255
USER_DATA 0 *task->hdr->dlength 0-255
USER_DATA 0 *task->hdr->other 0-255
USER_DATA 0 *task->hdr->rsvd2 0-255
USER_PTR 0 task->data
USER_PTR 0 task->hdr->dlength
USER_PTR 0 task->hdr->other
USER_PTR 0 task->hdr->rsvd2
LOCK2 &session->frwd_lock
LOCK2 bh
HALF_LOCKED2 &cls_conn->ep_mutex
HALF_LOCKED2 &session->eh_mutex
HALF_LOCKED2 global &rx_queue_mutex
TYPE_LOCK (struct iscsi_session)->frwd_lock

drivers/scsi/libiscsi.c iscsi_alloc_mgmt_task() -> iscsi_put_task()

Type Parameter Key Value
PARAM_VALUE 0 task 4096-ptr_max
PARAM_VALUE 0 task->conn 4096-ptr_max
PARAM_VALUE 0 task->conn->c_stage s32min-(-1),1,3-s32max
PARAM_VALUE 0 task->conn->session 4096-ptr_max
PARAM_VALUE 0 task->data_count 0-8192
PARAM_VALUE 0 task->refcount.refs.counter 1
PARAM_VALUE 0 task->running.next 4096-ptr_max
PARAM_VALUE 0 task->running.next->next 4096-ptr_max
PARAM_VALUE 0 task->running.prev 4096-ptr_max
PARAM_VALUE 0 task->running.prev->next 4096-ptr_max
PARAM_VALUE 0 task->running.prev->prev 4096-ptr_max
PARAM_VALUE 0 task->sc 0
PARAM_VALUE 0 task->state 2
CAPPED_DATA 0 task->data_count 1
FUZZY_MAX 0 task->data_count 0
NOSPEC 0 task->data_count
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 task->conn->dd_data->task->data_count 1-8192[c]
USER_DATA 0 task->data_count 1-8192[c]
USER_DATA 0 task->dd_data->req_len 49-8240[c]
USER_DATA 0 task->dd_data->task->data_count 1-8192[c]
USER_DATA 0 *task->data 0-255
UNITS 0 task unit_byte
USER_PTR 0 task->data
HALF_LOCKED2 &session->frwd_lock
HALF_LOCKED2 bh
TYPE_LOCK (struct iscsi_session)->frwd_lock

drivers/scsi/libiscsi.c iscsi_eh_abort() -> iscsi_put_task()

Type Parameter Key Value
PARAM_VALUE 0 task 4096-ptr_max
CAPPED_DATA 0 task 1
NOCHECK_CALL
LOCK2 &session->eh_mutex
TYPE_LOCK (struct iscsi_session)->eh_mutex

drivers/scsi/libiscsi.c iscsi_eh_abort() -> iscsi_put_task()

Type Parameter Key Value
PARAM_VALUE 0 task 4096-ptr_max
PARAM_VALUE 0 task->refcount.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 task->sc 1-u64max
PARAM_VALUE 0 task->state s32min-1,3-s32max
NOCHECK_CALL
LOCK2 &session->eh_mutex
TYPE_LOCK (struct iscsi_session)->eh_mutex

drivers/scsi/libiscsi.c iscsi_eh_cmd_timed_out() -> iscsi_put_task()

Type Parameter Key Value
PARAM_VALUE 0 task 4096-ptr_max
PARAM_VALUE 0 task->refcount.refs.counter (-1073741824),0-s32max
CAPPED_DATA 0 task 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &khd->lock

drivers/scsi/libiscsi.c iscsi_requeue_task() -> iscsi_put_task()

Type Parameter Key Value
PARAM_VALUE 0 task 4096-ptr_max
PARAM_VALUE 0 task->conn 4096-ptr_max
PARAM_VALUE 0 task->conn->session 4096-ptr_max
PARAM_VALUE 0 task->conn->session->frwd_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 task->dd_data 4096-ptr_max
PARAM_VALUE 0 task->refcount.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 task->sc 4096-ptr_max
PARAM_VALUE 0 task->sc->sc_data_direction 1
PARAM_VALUE 0 task->state 3
CAPPED_DATA 0 &task->running 1
DATA_SOURCE 0 task $0
PARAM_COMPARE 0 &task->running != $0->running.next
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &conn->session->frwd_lock
LOCK2 bh
TYPE_LOCK (struct iscsi_session)->frwd_lock

drivers/scsi/libiscsi.c iscsi_send_nopout() -> iscsi_put_task()

Type Parameter Key Value
PARAM_VALUE 0 task 4096-ptr_max
PARAM_VALUE 0 task->conn 4096-ptr_max
PARAM_VALUE 0 task->conn->c_stage s32min-(-1),1,3-s32max
PARAM_VALUE 0 task->conn->dd_data->ib_conn.device->ib_device->dma_device->dma_uses_io_tlb 1
PARAM_VALUE 0 task->conn->session 4096-ptr_max
PARAM_VALUE 0 task->conn->session->host->hostdata 4096-ptr_max
PARAM_VALUE 0 task->data_count 0-8192
PARAM_VALUE 0 task->dd_data->exp_datasn 0
PARAM_VALUE 0 task->hdr 4096-ptr_max
PARAM_VALUE 0 task->hdr_len 48
PARAM_VALUE 0 task->refcount.refs.counter 1
PARAM_VALUE 0 task->running.next 4096-ptr_max
PARAM_VALUE 0 task->running.next->next 4096-ptr_max
PARAM_VALUE 0 task->running.prev 4096-ptr_max
PARAM_VALUE 0 task->running.prev->next 4096-ptr_max
PARAM_VALUE 0 task->running.prev->prev 4096-ptr_max
PARAM_VALUE 0 task->sc 0
PARAM_VALUE 0 task->state 2-3
CAPPED_DATA 0 task->data_count 1
DATA_SOURCE 0 task r iscsi_alloc_mgmt_task
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &conn->session->frwd_lock
HALF_LOCKED2 &session->frwd_lock
HALF_LOCKED2 bh
TYPE_LOCK (struct iscsi_session)->frwd_lock

drivers/scsi/libiscsi.c iscsi_xmit_task() -> iscsi_put_task()

Type Parameter Key Value
PARAM_VALUE 0 task 4096-ptr_max
PARAM_VALUE 0 task->conn 4096-ptr_max
PARAM_VALUE 0 task->conn->session 4096-ptr_max
PARAM_VALUE 0 task->refcount.refs.counter (-1073741824),0-s32max
DATA_SOURCE 0 task $1
PREEMPT_ADD
NOCHECK_CALL
USER_DATA 0 task->hdr->exp_statsn 0-u32max[u]
USER_DATA 0 task->hdr->hlength 0-62[u]
USER_DATA 0 task->hdr->itt 0-u32max[u]
USER_DATA 0 task->hdr->max_statsn 0-u32max[u]
USER_DATA 0 task->hdr->opcode 1[u]
USER_DATA 0 task->hdr->statsn 0-u32max[u]
USER_DATA 0 task->hdr->ttt 0-u32max[u]
LOCK2 &conn->session->frwd_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 bh
TYPE_LOCK (struct iscsi_session)->frwd_lock

drivers/scsi/libiscsi.c iscsi_xmit_task() -> iscsi_put_task()

Type Parameter Key Value
PARAM_VALUE 0 task 4096-ptr_max
DATA_SOURCE 0 task $1
PREEMPT_ADD
NOCHECK_CALL
USER_DATA 0 task->hdr->exp_statsn 0-u32max[u]
USER_DATA 0 task->hdr->hlength 0-62[u]
USER_DATA 0 task->hdr->itt 0-u32max[u]
USER_DATA 0 task->hdr->max_statsn 0-u32max[u]
USER_DATA 0 task->hdr->opcode 1[u]
USER_DATA 0 task->hdr->statsn 0-u32max[u]
USER_DATA 0 task->hdr->ttt 0-u32max[u]
LOCK2 &conn->session->frwd_lock
LOCK2 bh
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct iscsi_session)->frwd_lock

drivers/infiniband/ulp/iser/iser_initiator.c iser_ctrl_comp() -> iscsi_put_task()

Type Parameter Key Value
PARAM_VALUE 0 task 4096-ptr_max
PARAM_VALUE 0 task->hdr 4096-ptr_max
PARAM_VALUE 0 task->hdr->itt u32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 task unit_byte

drivers/scsi/libiscsi_tcp.c iscsi_tcp_r2t_rsp() -> iscsi_put_task()

Type Parameter Key Value
PARAM_VALUE 0 task 4096-ptr_max
PARAM_VALUE 0 task->refcount.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 task->sc 4096-ptr_max
PARAM_VALUE 0 task->sc->sc_data_direction 1
PARAM_VALUE 0 task->state 3
DATA_SOURCE 0 task r iscsi_itt_to_ctask
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh

drivers/scsi/libiscsi_tcp.c iscsi_tcp_task_xmit() -> iscsi_put_task()

Type Parameter Key Value
PARAM_VALUE 0 task 4096-ptr_max
PARAM_VALUE 0 task->conn 4096-ptr_max
PARAM_VALUE 0 task->hdr 4096-ptr_max
PARAM_VALUE 0 task->hdr->itt u32max
PARAM_VALUE 0 task->sc 0
CAPPED_DATA 0 task 1
DATA_SOURCE 0 task $0
NOSPEC 0 task->data_count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 task->data_count 1-8192[c]
USER_DATA 0 task->hdr->exp_statsn 0-u32max[u]
USER_DATA 0 task->hdr->hlength 0-62[u]
USER_DATA 0 task->hdr->max_statsn 0-u32max[u]
USER_DATA 0 task->hdr->opcode 1[u]
USER_DATA 0 task->hdr->statsn 0-u32max[u]
USER_DATA 0 task->hdr->ttt 0-u32max[u]
USER_DATA 0 *task->data 0-255
USER_PTR 0 task->data
USER_PTR 0 task->hdr->dlength
USER_PTR 0 task->hdr->other
USER_PTR 0 task->hdr->rsvd2