Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/a100u2w.c orc_nv_read() -> wait_hdi_set()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->escb_virt 1-ptr_max
PARAM_VALUE 0 host->pdev 4096-ptr_max
PARAM_VALUE 0 host->pdev->dev.dma_mask 4096-ptr_max
PARAM_VALUE 0 host->pdev->dev.dma_ops 0,4096-ptr_max
PARAM_VALUE 0 host->pdev->driver 4096-ptr_max
PARAM_VALUE 0 host->pdev->error_state 0-2,4-u32max
PARAM_VALUE 0 host->pdev->is_busmaster 1
PARAM_VALUE 0 host->pdev->pcie_cap 0-1
PARAM_VALUE 0 host->scb_virt 4096-ptr_max
PARAM_VALUE 0 host->scb_virt->escb 1-ptr_max
PARAM_VALUE 0 host->scb_virt->scbidx 0-244
PARAM_VALUE 1 data 1149669226818314240
BUF_SIZE 0 host->escb_virt 64680
BUF_SIZE 0 host->pdev (-1),1-s32max
BUF_SIZE 0 host->scb_virt 15680
DATA_SOURCE 0 host $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 host->BIOScfg 0-255
HOST_DATA 0 host->pdev->current_state 0-3[c]
HALF_LOCKED2 &pool->lock

drivers/scsi/a100u2w.c orc_read_fwrev() -> wait_hdi_set()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->escb_virt 1-ptr_max
PARAM_VALUE 0 host->pdev 4096-ptr_max
PARAM_VALUE 0 host->pdev->dev.dma_mask 4096-ptr_max
PARAM_VALUE 0 host->pdev->driver 4096-ptr_max
PARAM_VALUE 0 host->pdev->error_state 0-2,4-u32max
PARAM_VALUE 0 host->pdev->is_busmaster 1
PARAM_VALUE 0 host->pdev->pcie_cap 0-1
PARAM_VALUE 0 host->scb_virt 1-ptr_max
PARAM_VALUE 1 data 949183228684021760
BUF_SIZE 0 host->escb_virt 64680
BUF_SIZE 0 host->pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE 0 host->scb_virt 15680
DATA_SOURCE 0 host $0
MEM_ZERO 0 host->escb_virt
MEM_ZERO 0 host->scb_virt
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 host->BIOScfg 0-255
HOST_DATA 0 host->pdev->current_state 0-3[c]
HALF_LOCKED2 &pool->lock

drivers/scsi/a100u2w.c orc_read_fwrev() -> wait_hdi_set()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->escb_virt 1-ptr_max
PARAM_VALUE 0 host->pdev 4096-ptr_max
PARAM_VALUE 0 host->pdev->dev.dma_mask 4096-ptr_max
PARAM_VALUE 0 host->pdev->driver 4096-ptr_max
PARAM_VALUE 0 host->pdev->error_state 0-2,4-u32max
PARAM_VALUE 0 host->pdev->is_busmaster 1
PARAM_VALUE 0 host->pdev->pcie_cap 0-1
PARAM_VALUE 0 host->scb_virt 1-ptr_max
PARAM_VALUE 1 data 949183228684021760
BUF_SIZE 0 host->escb_virt 64680
BUF_SIZE 0 host->pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE 0 host->scb_virt 15680
DATA_SOURCE 0 host $0
MEM_ZERO 0 host->escb_virt
MEM_ZERO 0 host->scb_virt
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 host->BIOScfg 0-255
HOST_DATA 0 host->pdev->current_state 0-3[c]
HOST_DATA 1 *data 0-255
HALF_LOCKED2 &pool->lock

drivers/scsi/a100u2w.c orchid_abort_scb() -> wait_hdi_set()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->scb_virt->status 0-1
PARAM_VALUE 1 data 3770970909068148736
DATA_SOURCE 0 host $0
PREEMPT_ADD
LOCK2 flags
LOCK2 0 &host->allocation_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct orc_host)->allocation_lock