Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/scsi/initio.c initio_probe_one() -> initio_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | host | 4096-ptr_max |
| PARAM_VALUE | 0 | host->bios_addr | 0 |
| PARAM_VALUE | 0 | host->first_avail | 4096-ptr_max |
| PARAM_VALUE | 0 | host->last_avail | 4096-ptr_max |
| PARAM_VALUE | 0 | host->last_avail->next | 0 |
| PARAM_VALUE | 0 | host->last_avail->tagid | 0-31 |
| PARAM_VALUE | 0 | host->next_avail | 4096-ptr_max |
| PARAM_VALUE | 0 | host->next_pending | 4096-ptr_max |
| PARAM_VALUE | 0 | host->num_scbs | 19-32 |
| PARAM_VALUE | 0 | host->pci_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | host->pci_dev->dev.dma_mask | 4096-ptr_max |
| PARAM_VALUE | 0 | host->pci_dev->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | host->pci_dev->error_state | 0-2,4-u32max |
| PARAM_VALUE | 0 | host->scb | 4096-ptr_max |
| PARAM_VALUE | 0 | host->scb_end | 4097-u64max |
| PARAM_VALUE | 0 | host->scb_end->tagid | 0-31 |
| PARAM_VALUE | 0 | host->semaph | 1 |
| PARAM_VALUE | 1 | bios_addr | 18379471554275704832,18446612682070032384 |
| BUF_SIZE | 0 | host->first_avail | 6688-11264 |
| BUF_SIZE | 0 | host->last_avail | 6688-11264,u64max |
| BUF_SIZE | 0 | host->next_avail | 6688-11264 |
| BUF_SIZE | 0 | host->next_pending | 6688-11264 |
| BUF_SIZE | 0 | host->pci_dev | (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,8064 |
| BUF_SIZE | 0 | host->scb | 6688-11264 |
| CAPPED_DATA | 0 | host->last_avail->tagid | 1 |
| MEM_ZERO | 0 | host | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | host->bios_addr | 0[c] |
| HOST_DATA | 0 | host->pci_dev->current_state | 0-3[c] |