Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/scsi/wd719x.c wd719x_board_found() -> wd719x_detect_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wd | 4096-ptr_max |
| PARAM_VALUE | 0 | wd->active_scbs.next | 4096-ptr_max |
| PARAM_VALUE | 0 | wd->active_scbs.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | wd->active_scbs.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | wd->active_scbs.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | wd->active_scbs.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | wd->pdev | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING |