Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

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