Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/scsi/hisi_sas/hisi_sas_main.c hisi_sas_dev_found() -> hisi_sas_dev_gone()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 4096-ptr_max |
| PARAM_VALUE | 0 | device->lldd_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | device->parent | 4096-ptr_max |
| PARAM_VALUE | 0 | device->parent->dev_type | 2-3 |
| PARAM_VALUE | 0 | device->parent->port->ha->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | device->parent->sas_addr | 4096-ptr_max |
| PARAM_VALUE | 0 | device->parent->sata_dev.ap->link.tdev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | device->parent->sata_dev.ap->tdev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | device->parent->sata_dev.ap->tdev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | device->port | 4096-ptr_max |
| PARAM_VALUE | 0 | device->port->ha | 4096-ptr_max |
| PARAM_VALUE | 0 | device->port->ha->lldd_ha | 4096-ptr_max |
| PARAM_VALUE | 0 | device->rphy->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | device->sas_addr | 4096-ptr_max |
| PARAM_VALUE | 0 | device->sata_dev.ap->link.tdev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | device->sata_dev.ap->link.tdev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | device->sata_dev.ap->tdev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | device->sata_dev.ap->tdev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | device->sata_dev.ap->tdev.power.wakeirq->status | 0-4294967295 |
| BUF_SIZE | 0 | device->rphy | (-1),1680 |
| DATA_SOURCE | 0 | device | $0 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | device->rphy->q->nr_hw_queues |
drivers/scsi/libsas/sas_discover.c sas_notify_lldd_dev_gone() -> (struct sas_domain_function_template)->lldd_dev_gone()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 4096-ptr_max |
| PARAM_VALUE | 0 | device->parent->sata_dev.ap->link.tdev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | device->parent->sata_dev.ap->tdev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | device->parent->sata_dev.ap->tdev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | device->port | 4096-ptr_max |
| PARAM_VALUE | 0 | device->port->ha | 4096-ptr_max |
| PARAM_VALUE | 0 | device->port->ha->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | device->port->ha->shost | 4096-ptr_max |
| PARAM_VALUE | 0 | device->rphy->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | device->rphy->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | device->sata_dev.ap->link.tdev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | device->sata_dev.ap->link.tdev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | device->sata_dev.ap->tdev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | device->sata_dev.ap->tdev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | device->sata_dev.ap->tdev.power.wakeirq->status | 0-4294967295 |
| BUF_SIZE | 0 | device | (-1),576 |
| BUF_SIZE | 0 | device | (-1),576 |
| BUF_SIZE | 0 | device->rphy | (-1),1680 |
| DATA_SOURCE | 0 | device | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | device->rphy->q->limits.max_open_zones |