Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/scsi/leapraid/leapraid_func.c leapraid_async_evt_cb_enqueue() -> leapraid_fw_evt_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fw_work | 4096-ptr_max |
| PARAM_VALUE | 0 | fw_work->evt_data | 0 |
| BUF_SIZE | 0 | fw_work | 128 |
| BUF_SIZE | 0 | fw_work->evt_data | s32min-s32max |
| DATA_SOURCE | 0 | fw_work | r leapraid_alloc_fw_evt_work |
| NOCHECK_CALL |
drivers/scsi/leapraid/leapraid_func.c leapraid_async_evt_cb_enqueue() -> leapraid_fw_evt_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fw_work | 4096-ptr_max |
| PARAM_VALUE | 0 | fw_work->adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | fw_work->evt_data | 1-u64max |
| PARAM_VALUE | 0 | fw_work->evt_type | 15,28-29,32 |
| BUF_SIZE | 0 | fw_work | 128 |
| BUF_SIZE | 0 | fw_work->evt_data | s32min-s32max |
| DATA_SOURCE | 0 | fw_work | r leapraid_alloc_fw_evt_work |
| NOCHECK_CALL |
drivers/scsi/leapraid/leapraid_func.c leapraid_async_turn_on_led() -> leapraid_fw_evt_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fw_work | 4096-ptr_max |
| PARAM_VALUE | 0 | fw_work->adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | fw_work->evt_type | 65532 |
| BUF_SIZE | 0 | fw_work | 128 |
| CAPPED_DATA | 0 | fw_work->dev_handle | 1 |
| DATA_SOURCE | 0 | fw_work | r leapraid_alloc_fw_evt_work |
| NOCHECK_CALL |
drivers/scsi/leapraid/leapraid_func.c leapraid_clean_active_fw_evt() -> leapraid_fw_evt_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fw_work | 4096-ptr_max |
| PARAM_VALUE | 0 | fw_work->list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | fw_work->list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | fw_work->list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | fw_work->list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | fw_work->list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | fw_work->list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | fw_work->work.lockdep_map->name | 0-255 |
| CAPPED_DATA | 0 | &fw_work->work | 1 |
| DATA_SOURCE | 0 | fw_work | r leapraid_next_fw_evt |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->mutex |
drivers/scsi/leapraid/leapraid_func.c leapraid_clean_active_fw_evt() -> leapraid_fw_evt_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fw_work | 4096-ptr_max |
| PARAM_VALUE | 0 | fw_work->list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | fw_work->list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | fw_work->list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | fw_work->list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | fw_work->list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | fw_work->list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | fw_work->work.lockdep_map->name | 0-255 |
| CAPPED_DATA | 0 | &fw_work->work | 1 |
| DATA_SOURCE | 0 | fw_work | r leapraid_next_fw_evt |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->mutex |
drivers/scsi/leapraid/leapraid_func.c leapraid_clean_active_fw_evt() -> leapraid_fw_evt_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fw_work | 1-u64max |
| PARAM_VALUE | 0 | fw_work->list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | fw_work->list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | fw_work->list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | fw_work->list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | fw_work->refcnt.refcount.refs.counter | (-1073741824) |
| PARAM_VALUE | 0 | fw_work->work.lockdep_map->name | 0-255 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->mutex |
drivers/scsi/leapraid/leapraid_func.c leapraid_del_fw_evt_from_list() -> leapraid_fw_evt_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fw_work | 4096-ptr_max |
| PARAM_VALUE | 0 | fw_work->list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | fw_work->list.prev->next | 4096-ptr_max |
| CAPPED_DATA | 0 | &fw_work->list | 1 |
| DATA_SOURCE | 0 | fw_work | $1 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &adapter->fw_evt_s.fw_evt_lock | ||
| LOCK2 | flags | ||
| TYPE_LOCK | (struct leapraid_fw_evt_struct)->fw_evt_lock |
drivers/scsi/leapraid/leapraid_func.c leapraid_fw_work() -> leapraid_fw_evt_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fw_work | 4096-ptr_max |
| PARAM_VALUE | 0 | fw_work->list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | fw_work->list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | fw_work->list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | fw_work->list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | fw_work->list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | fw_work->list.prev->prev | 4096-ptr_max |
| DATA_SOURCE | 0 | fw_work | $1 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &adapter->fw_evt_s.fw_evt_lock | ||
| LOCK2 | flags | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct leapraid_fw_evt_struct)->fw_evt_lock |
drivers/scsi/leapraid/leapraid_func.c leapraid_fw_work() -> leapraid_fw_evt_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fw_work | 4096-ptr_max |
| PARAM_VALUE | 0 | fw_work->list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | fw_work->list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | fw_work->list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | fw_work->list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | fw_work->list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | fw_work->list.prev->prev | 4096-ptr_max |
| DATA_SOURCE | 0 | fw_work | $1 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &adapter->fw_evt_s.fw_evt_lock | ||
| LOCK2 | flags | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct leapraid_fw_evt_struct)->fw_evt_lock |
drivers/scsi/leapraid/leapraid_func.c leapraid_hardreset_barrier() -> leapraid_fw_evt_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fw_work | 4096-ptr_max |
| PARAM_VALUE | 0 | fw_work->adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | fw_work->adapter->access_ctrl.shost_recover_async | 1 |
| PARAM_VALUE | 0 | fw_work->adapter->access_ctrl.shost_recovering | 1 |
| PARAM_VALUE | 0 | fw_work->adapter->driver_cmds.cfg_op_cmd.done.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | fw_work->adapter->driver_cmds.cfg_op_cmd.done.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | fw_work->adapter->driver_cmds.ctl_cmd.done.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | fw_work->adapter->driver_cmds.ctl_cmd.done.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | fw_work->adapter->driver_cmds.enc_cmd.done.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | fw_work->adapter->driver_cmds.enc_cmd.done.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | fw_work->adapter->driver_cmds.notify_event_cmd.done.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | fw_work->adapter->driver_cmds.notify_event_cmd.done.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | fw_work->adapter->driver_cmds.scan_dev_cmd.done.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | fw_work->adapter->driver_cmds.scan_dev_cmd.done.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | fw_work->adapter->driver_cmds.tm_cmd.done.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | fw_work->adapter->driver_cmds.tm_cmd.done.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | fw_work->adapter->driver_cmds.transport_cmd.done.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | fw_work->adapter->driver_cmds.transport_cmd.done.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | fw_work->adapter->iomem_base | 4096-ptr_max |
| PARAM_VALUE | 0 | fw_work->adapter->mask_int | 0 |
| PARAM_VALUE | 0 | fw_work->adapter->reset_desc.adapter_reset_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | fw_work->adapter->reset_desc.adapter_reset_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | fw_work->adapter->reset_desc.adapter_reset_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | fw_work->adapter->reset_desc.pending_io_cnt | 0-s32max |
| PARAM_VALUE | 0 | fw_work->adapter->scan_dev_desc.scan_dev_failed | 1 |
| PARAM_VALUE | 0 | fw_work->adapter->scan_dev_desc.scan_start_failed | 4 |
| PARAM_VALUE | 0 | fw_work->adapter->shost | 4096-ptr_max |
| PARAM_VALUE | 0 | fw_work->evt_type | u16max |
| BUF_SIZE | 0 | fw_work | 128 |
| CAPPED_DATA | 0 | fw_work->adapter->adapter_attr.rep_msg_qd | 1 |
| CAPPED_DATA | 0 | fw_work->adapter->notification_desc.iopoll_qcnt | 1 |
| CAPPED_DATA | 0 | fw_work->adapter->notification_desc.iopoll_qdex | 1 |
| DATA_SOURCE | 0 | fw_work | r leapraid_alloc_fw_evt_work |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | fw_work->adapter->dev_topo.card.phys_num | |
| LOCK2 | &adapter->reset_desc.adapter_reset_mutex | ||
| HALF_LOCKED2 | &adapter->driver_cmds.enc_cmd.mutex | ||
| HALF_LOCKED2 | &adapter->driver_cmds.transport_cmd.mutex | ||
| TYPE_LOCK | (struct leapraid_reset_desc)->adapter_reset_mutex |
drivers/scsi/leapraid/leapraid_func.c leapraid_scan_dev_complete() -> leapraid_fw_evt_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fw_work | 4096-ptr_max |
| PARAM_VALUE | 0 | fw_work->adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | fw_work->evt_type | 65533 |
| BUF_SIZE | 0 | fw_work | 128 |
| DATA_SOURCE | 0 | fw_work | r leapraid_alloc_fw_evt_work |
| NOCHECK_CALL |