Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/ata/sata_sil24.c __ata_qc_from_tag() -> ata_tag_valid()

Type Parameter Key Value
DATA_SOURCE 0 tag $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &host->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct ata_host)->lock

drivers/ata/libata-sff.c __ata_qc_from_tag() -> ata_tag_valid()

Type Parameter Key Value
DATA_SOURCE 0 tag $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ap->host->eh_mutex

drivers/ata/libata-core.c __ata_qc_from_tag() -> ata_tag_valid()

Type Parameter Key Value
PARAM_VALUE 0 tag 32
DATA_SOURCE 0 tag $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 ap->lock
LOCK2 flags
HALF_LOCKED2 &ap->host->eh_mutex

drivers/ata/libata-core.c ata_qc_free() -> ata_tag_valid()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 ap->lock
HALF_LOCKED2 flags

drivers/ata/libata-core.c ata_qc_issue() -> ata_tag_valid()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 ap->lock
HALF_LOCKED2 flags

drivers/ata/libata-core.c ata_qc_issue() -> ata_tag_valid()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 ap->lock
HALF_LOCKED2 flags

drivers/ata/libata-core.c ata_std_qc_defer() -> ata_tag_valid()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 ap->lock
HALF_LOCKED2 flags

drivers/ata/libata-core.c ata_std_qc_defer() -> ata_tag_valid()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 ap->lock
HALF_LOCKED2 flags

drivers/ata/sata_promise.c __ata_qc_from_tag() -> ata_tag_valid()

Type Parameter Key Value
DATA_SOURCE 0 tag $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &host->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct ata_host)->lock

drivers/ata/sata_inic162x.c __ata_qc_from_tag() -> ata_tag_valid()

Type Parameter Key Value
DATA_SOURCE 0 tag $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &host->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct ata_host)->lock

drivers/ata/libata-eh.c __ata_eh_qc_complete() -> ata_tag_valid()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &ap->host->eh_mutex
LOCK2 ap->lock
LOCK2 flags
TYPE_LOCK (struct ata_host)->eh_mutex

drivers/ata/libata-eh.c __ata_qc_from_tag() -> ata_tag_valid()

Type Parameter Key Value
DATA_SOURCE 0 tag $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ap->host->eh_mutex
HALF_LOCKED2 ap->lock
HALF_LOCKED2 flags

drivers/ata/libata-eh.c ata_eh_maybe_retry_flush() -> ata_tag_valid()

Type Parameter Key Value

drivers/ata/sata_mv.c __ata_qc_from_tag() -> ata_tag_valid()

Type Parameter Key Value
DATA_SOURCE 0 tag $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &host->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct ata_host)->lock

drivers/ata/sata_dwc_460ex.c __ata_qc_from_tag() -> ata_tag_valid()

Type Parameter Key Value
DATA_SOURCE 0 tag $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 tag 0-255
LOCK2 &host->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct ata_host)->lock

drivers/ata/sata_fsl.c __ata_qc_from_tag() -> ata_tag_valid()

Type Parameter Key Value
DATA_SOURCE 0 tag $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &host->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct ata_host)->lock

drivers/ata/sata_sil.c __ata_qc_from_tag() -> ata_tag_valid()

Type Parameter Key Value
DATA_SOURCE 0 tag $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &host->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct ata_host)->lock

drivers/ata/sata_sx4.c __ata_qc_from_tag() -> ata_tag_valid()

Type Parameter Key Value
DATA_SOURCE 0 tag $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &host->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct ata_host)->lock

drivers/ata/libata-scsi.c __ata_qc_from_tag() -> ata_tag_valid()

Type Parameter Key Value
DATA_SOURCE 0 tag $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 ap->lock
HALF_LOCKED2 &sdev->state_mutex
HALF_LOCKED2 irq
HALF_LOCKED2 irq_flags

drivers/ata/pdc_adma.c __ata_qc_from_tag() -> ata_tag_valid()

Type Parameter Key Value
DATA_SOURCE 0 tag $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &host->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct ata_host)->lock

drivers/ata/sata_nv.c __ata_qc_from_tag() -> ata_tag_valid()

Type Parameter Key Value
DATA_SOURCE 0 tag $1
PREEMPT_ADD
HOST_DATA 0 tag 0-31
UNITS 0 tag unit_bit
LOCK2 &host->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct ata_host)->lock

drivers/ata/sata_nv.c nv_adma_error_handler() -> ata_tag_valid()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 &ap->host->eh_mutex
TYPE_LOCK (struct ata_host)->eh_mutex

drivers/ata/sata_nv.c nv_adma_error_handler() -> ata_tag_valid()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 &ap->host->eh_mutex
TYPE_LOCK (struct ata_host)->eh_mutex

drivers/ata/sata_nv.c nv_adma_interrupt() -> ata_tag_valid()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
LOCK2 &host->lock
TYPE_LOCK (struct ata_host)->lock

drivers/ata/sata_nv.c nv_adma_interrupt() -> ata_tag_valid()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
LOCK2 &host->lock
TYPE_LOCK (struct ata_host)->lock

drivers/ata/sata_rcar.c __ata_qc_from_tag() -> ata_tag_valid()

Type Parameter Key Value
DATA_SOURCE 0 tag $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &host->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct ata_host)->lock

drivers/ata/sata_vsc.c __ata_qc_from_tag() -> ata_tag_valid()

Type Parameter Key Value
DATA_SOURCE 0 tag $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &host->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct ata_host)->lock

drivers/ata/libahci.c __ata_qc_from_tag() -> ata_tag_valid()

Type Parameter Key Value
DATA_SOURCE 0 tag $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 tag 1-u32max
HALF_LOCKED2 &host->lock
HALF_LOCKED2 ap->lock

drivers/ata/libahci.c ata_link_active() -> ata_tag_valid()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 &host->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 ap->lock
HALF_LOCKED2 flags

drivers/ata/sata_qstor.c __ata_qc_from_tag() -> ata_tag_valid()

Type Parameter Key Value
DATA_SOURCE 0 tag $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &host->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct ata_host)->lock

drivers/ata/libata-pmp.c ata_link_active() -> ata_tag_valid()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 ap->lock
HALF_LOCKED2 flags

drivers/ata/libata-sata.c __ata_qc_from_tag() -> ata_tag_valid()

Type Parameter Key Value
DATA_SOURCE 0 tag $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 tag 1-u32max
HALF_LOCKED2 &ap->host->eh_mutex