Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/scsi/elx/efct/efct_unsol.c efct_dispatch_fcp_cmd() -> efct_sframe_send_task_set_full_or_busy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | node | 4096-ptr_max |
| PARAM_VALUE | 0 | node->efct | 4096-ptr_max |
| PARAM_VALUE | 0 | node->efct->xport | 4096-ptr_max |
| PARAM_VALUE | 0 | node->efct->xport->io_pool | 4096-ptr_max |
| PARAM_VALUE | 0 | node->efct->xport->io_pool->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | seq | 4096-ptr_max |
| PARAM_VALUE | 1 | seq->fcfi | 0-63,255 |
| PARAM_VALUE | 1 | seq->header | 4096-ptr_max |
| PARAM_VALUE | 1 | seq->header->dma.len | 0-63 |
| PARAM_VALUE | 1 | seq->header->dma.virt | 4096-ptr_max |
| PARAM_VALUE | 1 | seq->hw | 4096-ptr_max |
| PARAM_VALUE | 1 | seq->payload | 4096-ptr_max |
| PARAM_VALUE | 1 | seq->payload->dma.len | 32-u16max |
| PARAM_VALUE | 1 | seq->payload->dma.virt | 4096-ptr_max |
| DATA_SOURCE | 0 | node | $0 |
| DATA_SOURCE | 1 | seq | $1 |
| PARAM_COMPARE | 0 | &node->efct->xport->io_pool->freelist | == $0->efct->xport->io_pool->freelist.next |
| RX_PATH | |||
| TASK_NOT_RUNNING |