Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/ata/libata-sff.c __ata_sff_port_intr() -> ata_sff_hsm_move()

Type Parameter Key Value
PARAM_VALUE 0 ap 4096-ptr_max
PARAM_VALUE 0 ap->host->private_data->pardev->port->timer.flags 0-4294967295
PARAM_VALUE 0 ap->hsm_task_state 1-u32max
PARAM_VALUE 0 ap->link.active_tag 0-32
PARAM_VALUE 0 ap->ops 4096-ptr_max
PARAM_VALUE 0 ap->ops->sff_check_altstatus 0,2635785217616359424,2902118176426315776,8321205409061859328
PARAM_VALUE 0 ap->ops->sff_irq_clear 0,4096-ptr_max,(-2)
PARAM_VALUE 1 qc 4096-ptr_max
PARAM_VALUE 3 in_wq 0
DATA_SOURCE 0 ap $0
DATA_SOURCE 1 qc $1
DATA_SOURCE 2 status r ata_sff_irq_status
FUZZY_MAX 0 ap->hsm_task_state 4
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 status 0-255
HALF_LOCKED2 &host->lock
HALF_LOCKED2 flags
HALF_LOCKED2 0 ap->lock

drivers/ata/libata-sff.c ata_sff_pio_task() -> ata_sff_hsm_move()

Type Parameter Key Value
PARAM_VALUE 0 ap 4096-ptr_max
PARAM_VALUE 0 ap->lock 4096-ptr_max
PARAM_VALUE 0 ap->lock->rlock.dep_map->name 0-255
PARAM_VALUE 0 ap->ops 4096-ptr_max
PARAM_VALUE 0 ap->ops->sff_check_status 4096-ptr_max
PARAM_VALUE 0 ap->sff_pio_task_link 0
PARAM_VALUE 1 qc 4096-ptr_max
PARAM_VALUE 3 in_wq 1
DATA_SOURCE 1 qc r ata_qc_from_tag
PREEMPT_ADD <- disables preempt
HOST_DATA 1 qc->ap->last_ctl 0-255
HOST_DATA 1 qc->result_tf s64min-s64max
HOST_DATA 1 qc->result_tf.auxiliary 0-u32max
HOST_DATA 1 qc->result_tf.command 0-255
HOST_DATA 1 qc->result_tf.ctl 0-255
HOST_DATA 1 qc->result_tf.device 0-255
HOST_DATA 1 qc->result_tf.error 0-255
HOST_DATA 1 qc->result_tf.feature 0-255
HOST_DATA 1 qc->result_tf.flags 0-u64max
HOST_DATA 1 qc->result_tf.hob_feature 0-255
HOST_DATA 1 qc->result_tf.hob_lbah 0-255
HOST_DATA 1 qc->result_tf.hob_lbal 0-255
HOST_DATA 1 qc->result_tf.hob_lbam 0-255
HOST_DATA 1 qc->result_tf.hob_nsect 0-255
HOST_DATA 1 qc->result_tf.lbah 0-255
HOST_DATA 1 qc->result_tf.lbal 0-255
HOST_DATA 1 qc->result_tf.lbam 0-255
HOST_DATA 1 qc->result_tf.nsect 0-255
HOST_DATA 1 qc->result_tf.protocol 0-255
HOST_DATA 1 qc->result_tf.status 0-255
HOST_DATA 1 *qc->cdb 0-255
LOCK2 irq
LOCK2 0 ap->lock
HALF_LOCKED2 &pool->lock

drivers/ata/sata_dwc_460ex.c sata_dwc_isr() -> ata_sff_hsm_move()

Type Parameter Key Value
PARAM_VALUE 0 ap 4096-ptr_max
PARAM_VALUE 0 ap->link.ap 4096-ptr_max
PARAM_VALUE 0 ap->ops 4096-ptr_max
PARAM_VALUE 0 ap->private_data 4096-ptr_max
PARAM_VALUE 1 qc 4096-ptr_max
PARAM_VALUE 1 qc->ap 4096-ptr_max
PARAM_VALUE 1 qc->ap->link.active_tag 0-32
PARAM_VALUE 1 qc->tf.protocol 1-255
PARAM_VALUE 3 in_wq 0
DATA_SOURCE 1 qc r ata_qc_from_tag
BIT_INFO 1 qc->tf.flags 0x0,0xffffffffffffffbf
BIT_INFO 2 status 0x0,0xfe
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 status 0-255
LOCK2 &host->lock
LOCK2 flags
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags
TYPE_LOCK (struct ata_host)->lock

drivers/ata/sata_sil.c sil_host_intr() -> ata_sff_hsm_move()

Type Parameter Key Value
PARAM_VALUE 0 ap 4096-ptr_max
PARAM_VALUE 0 ap->hsm_task_state 1-4
PARAM_VALUE 0 ap->link.active_tag 0-32
PARAM_VALUE 0 ap->ops 4096-ptr_max
PARAM_VALUE 1 qc 4096-ptr_max
PARAM_VALUE 3 in_wq 0
DATA_SOURCE 0 ap $0
DATA_SOURCE 1 qc r ata_qc_from_tag
FUZZY_MAX 0 ap->hsm_task_state 4
BIT_INFO 1 qc->tf.flags 0x0,0xffffffffffffffbf
BIT_INFO 2 status 0x0,0x7f
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 status 0-255
LOCK2 &host->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct ata_host)->lock