Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
- drivers/scsi/libsas/sas_discover.c
- drivers/scsi/libsas/sas_expander.c
- drivers/scsi/libsas/sas_internal.h, line 149
- drivers/scsi/libsas/sas_port.c, line 52
Smatch caller information:
drivers/scsi/libsas/sas_expander.c sas_unregister_devs_sas_addr() -> sas_unregister_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port->ha->dev->power.request | 0-4 |
| PARAM_VALUE | 0 | port->ha->dev->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | port->ha->dev->power.runtime_status | 0,2 |
| PARAM_VALUE | 0 | port->ha->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->dev_type | 0-1,4-u32max |
| CAPPED_DATA | 1 | &dev->siblings | 1 |
| NOCHECK_CALL | |||
| LOCK2 | &ha->disco_mutex | ||
| TYPE_LOCK | (struct sas_ha_struct)->disco_mutex |
drivers/scsi/libsas/sas_expander.c sas_unregister_ex_tree() -> sas_unregister_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port->ha->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->dev_type | 0-1,4-u32max |
| PARAM_VALUE | 1 | dev->parent->sata_dev.ap->link.tdev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | dev->parent->sata_dev.ap->tdev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 1 | dev->parent->sata_dev.ap->tdev.power.wakeirq->status | 0-4294967295 |
| CAPPED_DATA | 1 | &dev->siblings | 1 |
| DATA_SOURCE | 0 | port | $0 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &ha->disco_mutex |
drivers/scsi/libsas/sas_expander.c sas_unregister_ex_tree() -> sas_unregister_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port->ha->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->dev_type | 2-3 |
| PARAM_VALUE | 1 | dev->parent->sata_dev.ap->link.tdev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | dev->parent->sata_dev.ap->tdev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 1 | dev->parent->sata_dev.ap->tdev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | dev->sata_dev.ap->link.tdev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 1 | dev->sata_dev.ap->link.tdev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | dev->sata_dev.ap->tdev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 1 | dev->sata_dev.ap->tdev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 1 | dev->sata_dev.ap->tdev.power.wakeirq->status | 0-4294967295 |
| DATA_SOURCE | 0 | port | $0 |
| DATA_SOURCE | 1 | dev | $1 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &ha->disco_mutex |
drivers/scsi/libsas/sas_ata.c sas_fail_probe() -> sas_unregister_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->dev_type | 5,7-9 |
| PARAM_VALUE | 1 | dev->parent->sata_dev.ap->link.tdev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | dev->parent->sata_dev.ap->tdev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 1 | dev->parent->sata_dev.ap->tdev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | dev->sas_addr | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->sata_dev.ap | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->sata_dev.ap->host->eh_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | dev->sata_dev.ap->host->eh_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 1 | dev->sata_dev.ap->host->eh_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 1 | dev->sata_dev.ap->host->eh_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | dev->sata_dev.ap->lock | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->sata_dev.ap->lock->rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | dev->sata_dev.ap->scsi_host | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->sata_dev.ap->scsi_host->shost_state | 0-4,8-u32max |
| DATA_SOURCE | 1 | dev | $0 |
| NOCHECK_CALL |
drivers/scsi/libsas/sas_discover.c sas_fail_probe() -> sas_unregister_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->parent->sata_dev.ap->link.tdev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | dev->parent->sata_dev.ap->tdev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 1 | dev->parent->sata_dev.ap->tdev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | dev->rphy | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->sas_addr | 4096-ptr_max |
| DATA_SOURCE | 1 | dev | $0 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | dev->rphy->q->async_depth | |
| NO_OVERFLOW_SIMPLE | 1 | dev->rphy->q->limits.max_open_zones | |
| NO_OVERFLOW_SIMPLE | 1 | dev->rphy->q->nr_requests |
drivers/scsi/libsas/sas_discover.c sas_unregister_domain_devices() -> sas_unregister_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port | 4096-ptr_max |
| PARAM_VALUE | 0 | port->num_phys | 1 |
| PARAM_VALUE | 0 | port->port_dev | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->parent->sata_dev.ap->link.tdev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | dev->parent->sata_dev.ap->tdev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 1 | dev->parent->sata_dev.ap->tdev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | dev->sata_dev.ap->link.tdev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 1 | dev->sata_dev.ap->link.tdev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | dev->sata_dev.ap->tdev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 1 | dev->sata_dev.ap->tdev.power.wakeirq->status | 0-4294967295 |
| CAPPED_DATA | 0 | &port->dev_list | 1 |
| CAPPED_DATA | 1 | &dev->dev_list_node | 1 |
| DATA_SOURCE | 0 | port | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/scsi/libsas/sas_discover.c sas_unregister_domain_devices() -> sas_unregister_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port | 4096-ptr_max |
| PARAM_VALUE | 0 | port->num_phys | 1 |
| PARAM_VALUE | 0 | port->port_dev | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->parent->sata_dev.ap->link.tdev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | dev->parent->sata_dev.ap->tdev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 1 | dev->parent->sata_dev.ap->tdev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | dev->sata_dev.ap->link.tdev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 1 | dev->sata_dev.ap->link.tdev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | dev->sata_dev.ap->tdev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 1 | dev->sata_dev.ap->tdev.power.wakeirq->status | 0-4294967295 |
| CAPPED_DATA | 0 | &port->dev_list | 1 |
| CAPPED_DATA | 0 | &port->disco_list | 1 |
| CAPPED_DATA | 1 | &dev->disco_list_node | 1 |
| DATA_SOURCE | 0 | port | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/scsi/libsas/sas_port.c sas_resume_port() -> sas_unregister_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port | 4096-ptr_max |
| PARAM_VALUE | 0 | port->suspended | 0 |
| PARAM_VALUE | 1 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->port | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->port->ha | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->port->ha->shost | 4096-ptr_max |
| CAPPED_DATA | 0 | &port->dev_list | 1 |
| CAPPED_DATA | 1 | dev->port | 1 |
| CAPPED_DATA | 1 | &dev->dev_list_node | 1 |
| NOCHECK_CALL |