Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/scsi/leapraid/leapraid_func.c leapraid_clean_active_fw_evt() -> leapraid_next_fw_evt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->fw_evt_s.fw_evt_cleanup | 1 |
| PARAM_VALUE | 0 | adapter->fw_evt_s.fw_evt_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->fw_evt_s.fw_evt_thread | 1-u64max |
| CAPPED_DATA | 0 | &adapter->fw_evt_s.fw_evt_list | 1 |
| DATA_SOURCE | 0 | adapter | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dev->mutex | ||
| HALF_LOCKED2 | 0 | &adapter->reset_desc.adapter_reset_mutex |
drivers/scsi/leapraid/leapraid_func.c leapraid_clean_active_fw_evt() -> leapraid_next_fw_evt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->fw_evt_s.fw_evt_cleanup | 1 |
| PARAM_VALUE | 0 | adapter->fw_evt_s.fw_evt_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->fw_evt_s.fw_evt_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | adapter->fw_evt_s.fw_evt_thread | 1-u64max |
| CAPPED_DATA | 0 | &adapter->fw_evt_s.fw_evt_list | 1 |
| DATA_SOURCE | 0 | adapter | $0 |
| PARAM_COMPARE | 0 | &adapter->fw_evt_s.fw_evt_list | != $0->fw_evt_s.fw_evt_list.next |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dev->mutex | ||
| HALF_LOCKED2 | 0 | &adapter->reset_desc.adapter_reset_mutex |