Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/hpsa.c hpsa_update_scsi_devices() -> hpsa_skip_device()

Type Parameter Key Value
PARAM_VALUE 0 h 4096-ptr_max
PARAM_VALUE 0 h->cmd_pool_bits 4096-ptr_max
PARAM_VALUE 0 h->drv_req_rescan 0-1
PARAM_VALUE 0 h->hba_inquiry_data 0,4096-ptr_max
PARAM_VALUE 0 h->pdev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 h->pdev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 h->reset_in_progress 0
PARAM_VALUE 0 h->reset_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 h->scan_finished 0
PARAM_VALUE 0 h->scan_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 h->scan_waiting 0
PARAM_VALUE 2 rle 4096-ptr_max
BUF_SIZE 1 lunaddrbytes 8-9
BUF_SIZE 1 lunaddrbytes 8-9
DATA_SOURCE 0 h $0
DATA_SOURCE 1 lunaddrbytes r figure_lunaddrbytes
FUZZY_MAX 0 h->drv_req_rescan 1
HARD_MAX 0 h->drv_req_rescan 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex