Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/libsas/sas_expander.c sas_check_level_subtractive_boundary() -> sas_ex_disable_port()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev_type 2-3
PARAM_VALUE 0 dev->ex_dev.num_phys 1-255
PARAM_VALUE 0 dev->port->ha->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->sas_addr 4096-ptr_max
PARAM_VALUE 1 sas_addr 6418314318998786048
BUF_SIZE 1 sas_addr 8
CAPPED_DATA 0 &dev->siblings 1
NOCHECK_CALL
HALF_LOCKED2 &ha->disco_mutex

drivers/scsi/libsas/sas_expander.c sas_ex_discover_dev() -> sas_ex_disable_port()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->ex_dev.ex_phy 4096-ptr_max
PARAM_VALUE 0 dev->ex_dev.parent_port->dev.dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 0 dev->ex_dev.parent_port->dev.dma_io_tlb_mem->debugfs 0-s64max
PARAM_VALUE 0 dev->ex_dev.parent_port->dev.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 dev->ex_dev.parent_port->dev.dma_io_tlb_mem->force_bounce 0-1
PARAM_VALUE 0 dev->ex_dev.parent_port->dev.dma_io_tlb_mem->nslabs 0-s64max
PARAM_VALUE 0 dev->ex_dev.parent_port->dev.dma_io_tlb_mem->phys_limit 0-s64max
PARAM_VALUE 0 dev->ex_dev.parent_port->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->parent 0,4096-ptr_max
PARAM_VALUE 0 dev->parent->port->ha->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->port 4096-ptr_max
PARAM_VALUE 0 dev->port->ha->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->sata_dev.ap->tdev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 1 sas_addr 4096-ptr_max
BUF_SIZE 1 sas_addr 8
DATA_SOURCE 0 dev $0
NOCHECK_CALL
HALF_LOCKED2 &ha->disco_mutex