Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/scsi/stex.c stex_mu_intr() -> stex_controller_info()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hba | 4096-ptr_max |
| PARAM_VALUE | 0 | hba->ccb | 4096-ptr_max |
| PARAM_VALUE | 0 | hba->host | 4096-ptr_max |
| PARAM_VALUE | 0 | hba->host->can_queue | 1-s32max |
| PARAM_VALUE | 0 | hba->status_head | 0-u16max |
| PARAM_VALUE | 0 | hba->status_tail | 0-u16max |
| PARAM_VALUE | 1 | ccb | 4096-ptr_max |
| PARAM_VALUE | 1 | ccb->cmd | 4096-ptr_max |
| PARAM_VALUE | 1 | ccb->cmd->cmnd | 4096-ptr_max |
| PARAM_VALUE | 1 | ccb->req | 0 |
| CAPPED_DATA | 0 | hba->status_head | 1 |
| DATA_SOURCE | 0 | hba | $0 |
| PARAM_COMPARE | 0 | hba->status_head | <= $0->sts_count |
| PARAM_COMPARE | 1 | ccb | > $0->wait_ccb |
| PARAM_COMPARE | 1 | ccb | > $0->wait_ccb |
| PREEMPT_ADD | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | hba->cardtype | 0-1,3-u32max |
| HOST_DATA | 0 | hba->dma_handle | 0-u64max |
| HOST_DATA | 0 | hba->dma_size | 0-u64max |
| HOST_DATA | 0 | hba->extra_offset | 0-u32max |
| HOST_DATA | 0 | hba->msi_enabled | s32min-s32max |
| HOST_DATA | 0 | hba->msi_lock | s32min-s32max |
| HOST_DATA | 0 | hba->mu_status | 0-2,4-u32max |
| HOST_DATA | 0 | hba->out_req_cnt | 1-s32max |
| HOST_DATA | 0 | hba->req_head | 0-u32max |
| HOST_DATA | 0 | hba->req_tail | 0-u32max |
| HOST_DATA | 0 | hba->reset_work.data.counter | s64min-s64max |
| HOST_DATA | 0 | hba->rq_count | 0-u16max |
| HOST_DATA | 0 | hba->rq_size | 0-u16max |
| HOST_DATA | 0 | hba->status_head | 0-u16max[c] |
| HOST_DATA | 0 | hba->status_tail | 0-u16max[c] |
| HOST_DATA | 0 | hba->sts_count | 0-u16max |
| HOST_DATA | 0 | hba->supports_pm | 0-255 |
| HOST_DATA | 0 | *hba | 0-u64max |
| LOCK2 | flags | ||
| HALF_LOCKED2 | host->host_lock | ||
| HALF_LOCKED2 | 0 | hba->host->host_lock |