Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/mvsas/mv_sas.c mvs_int_port() -> mvs_do_release_task()

Type Parameter Key Value
PARAM_VALUE 0 mvi 4096-ptr_max
PARAM_VALUE 0 mvi->chip 4096-ptr_max
PARAM_VALUE 0 mvi->chip->dispatch 4096-ptr_max
PARAM_VALUE 0 mvi->chip->n_phy 1-s32max
PARAM_VALUE 0 mvi->phy 4096-ptr_max
PARAM_VALUE 0 mvi->rx 4096-ptr_max
PARAM_VALUE 1 phy_no 0-2147483646
PARAM_VALUE 2 dev 0
CAPPED_DATA 1 phy_no 1
DATA_SOURCE 0 mvi $0
DATA_SOURCE 1 phy_no $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &mvi->lock

drivers/scsi/mvsas/mv_sas.c mvs_port_notify_deformed() -> mvs_do_release_task()

Type Parameter Key Value
PARAM_VALUE 0 mvi->phy 4096-ptr_max
PARAM_VALUE 1 phy_no 0-7
PARAM_VALUE 2 dev 4096-ptr_max
CAPPED_DATA 2 &dev->dev_list_node 1
FUZZY_MAX 1 phy_no 0
HARD_MAX 1 phy_no 7
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/scsi/mvsas/mv_sas.c mvs_release_task() -> mvs_do_release_task()

Type Parameter Key Value
PARAM_VALUE 0 mvi->chip->dispatch 4096-ptr_max
PARAM_VALUE 0 mvi->chip->n_phy 1-s32max
PARAM_VALUE 2 dev 4096-ptr_max
PARAM_VALUE 2 dev->lldd_dev 4096-ptr_max
PARAM_VALUE 2 dev->parent->sata_dev.ap->link.tdev.power.wakeirq->status 0-4294967295
PARAM_VALUE 2 dev->parent->sata_dev.ap->tdev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 2 dev->parent->sata_dev.ap->tdev.power.wakeirq->status 0-4294967295
PARAM_VALUE 2 dev->port 4096-ptr_max
PARAM_VALUE 2 dev->port->ha 4096-ptr_max
PARAM_VALUE 2 dev->port->ha->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 2 dev->port->ha->sas_port 4096-ptr_max
PARAM_VALUE 2 dev->rphy->dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 2 dev->rphy->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 2 dev->rphy->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 2 dev->sata_dev.ap->link.tdev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 2 dev->sata_dev.ap->link.tdev.power.wakeirq->status 0-4294967295
PARAM_VALUE 2 dev->sata_dev.ap->tdev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 2 dev->sata_dev.ap->tdev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 2 dev->sata_dev.ap->tdev.power.wakeirq->status 0-4294967295
BUF_SIZE 2 dev (-1),1,8,16,20,24,32,40,48,56,64,72,112,208,552,576,2080,2576,8064
BUF_SIZE 2 dev (-1),1,8,16,20,24,32,40,48,56,64,72,112,208,552,576,2080,2576,8064
BUF_SIZE 2 dev->rphy (-1),1680
CAPPED_DATA 2 dev 1
CAPPED_DATA 2 dev->port 1
DATA_SOURCE 0 mvi $0
DATA_SOURCE 2 dev $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 2 dev->rphy->q->async_depth
NO_OVERFLOW_SIMPLE 2 dev->rphy->q->limits.max_discard_sectors
NO_OVERFLOW_SIMPLE 2 dev->rphy->q->nr_requests
HALF_LOCKED2 flags
HALF_LOCKED2 0 &mvi->lock