Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/ata/libata-eh.c ata_dev_disable() -> ata_eh_dev_disable()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->class 1,3,5,7,9
PARAM_VALUE 0 dev->link 4096-ptr_max
PARAM_VALUE 0 dev->link->ap 4096-ptr_max
PARAM_VALUE 0 dev->link->ap->ops->dev_config 0,4096-ptr_max,(-2)
PARAM_VALUE 0 dev->tdev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 *dev->gp_log_dir 0-255
PARAM_VALUE 0 *dev->gscr 0-4294967295
PARAM_VALUE 0 *dev->id 0-u16max
BUF_SIZE 0 dev (-1),4032,8064
BUF_SIZE 0 dev (-1),4032,8064
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dev->link->ap->last_ctl 0-255
HOST_DATA 0 dev->link->ap->link.eh_info.serror 0-u32max
HOST_DATA 0 dev->link->ap->link.pmp 0-255
HOST_DATA 0 dev->n_native_sectors 1-281474976710656[c]
HALF_LOCKED2 &ap->host->eh_mutex

drivers/ata/libata-eh.c ata_eh_detach_dev() -> ata_eh_dev_disable()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->class 1,3,5,7,9
PARAM_VALUE 0 dev->link 4096-ptr_max
PARAM_VALUE 0 dev->link->ap 4096-ptr_max
PARAM_VALUE 0 dev->link->ap->host->eh_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->link->ap->host->eh_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dev->link->ap->host->eh_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 dev->link->ap->host->eh_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 dev->link->ap->host->eh_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 dev->link->ap->ops->lost_interrupt 0,4096-ptr_max,(-2)
PARAM_VALUE 0 dev->link->ap->ops->sff_irq_clear 0,4096-ptr_max,(-2)
PARAM_VALUE 0 dev->link->ap->scsi_host->ehandler->__state 0,512
PARAM_VALUE 0 dev->link->ap->scsi_host->ehandler->core_node.rb_left 4096-ptr_max
PARAM_VALUE 0 dev->link->ap->scsi_host->ehandler->core_node.rb_right 4096-ptr_max
PARAM_VALUE 0 dev->link->ap->scsi_host->ehandler->delays->blkio_count 0-4294967295
PARAM_VALUE 0 dev->link->ap->scsi_host->ehandler->dl.pi_se->pi_se 4096-ptr_max
PARAM_VALUE 0 dev->link->ap->scsi_host->ehandler->dl.rq->nr_running 0-4294967295
PARAM_VALUE 0 dev->link->ap->scsi_host->ehandler->mm->mm_cid.max_cids 0-s32max
PARAM_VALUE 0 dev->link->ap->scsi_host->ehandler->on_rq 0-1,3-255
PARAM_VALUE 0 dev->link->ap->scsi_host->ehandler->pushable_tasks.node_list.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->link->ap->scsi_host->ehandler->pushable_tasks.prio_list.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->link->ap->scsi_host->ehandler->rseq.event.ids_changed 1
PARAM_VALUE 0 dev->link->ap->scsi_host->ehandler->sched_migrated 1
PARAM_VALUE 0 dev->link->ap->scsi_host->ehandler->sched_task_group->idle s32min-s32max
PARAM_VALUE 0 dev->link->ap->scsi_host->ehandler->se.cfs_rq->propagate 1
PARAM_VALUE 0 dev->link->ap->scsi_host->ehandler->se.cfs_rq->rq->donor->__state 0,512
PARAM_VALUE 0 dev->link->ap->scsi_host->ehandler->se.cfs_rq->rq->donor->dl.dl_timer.base->index 0-7
PARAM_VALUE 0 dev->link->ap->scsi_host->ehandler->se.cfs_rq->rq->donor->rseq.event.ids_changed 1
PARAM_VALUE 0 dev->link->ap->scsi_host->ehandler->se.cfs_rq->rq->donor->sched_migrated 1
PARAM_VALUE 0 dev->link->ap->scsi_host->ehandler->se.group_node.next->next 4096-ptr_max
PARAM_VALUE 0 dev->link->ap->scsi_host->ehandler->se.group_node.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->link->ap->scsi_host->ehandler->se.group_node.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->link->ap->scsi_host->ehandler->throttle_node.next->next 4096-ptr_max
PARAM_VALUE 0 dev->link->ap->scsi_host->ehandler->throttle_node.next->prev 4096-ptr_max
PARAM_VALUE 0 dev->link->ap->scsi_host->ehandler->throttle_node.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->link->ap->scsi_host->ehandler->throttle_node.prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->link->ap->scsi_host->ehandler->wake_cpu 0-s32max
PARAM_VALUE 0 *dev->gscr 0-4294967295
BUF_SIZE 0 dev (-1),8064
BUF_SIZE 0 dev (-1),8064
CAPPED_DATA 0 dev->link->ap 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dev->link->eh_context.i.serror 0-u32max
HOST_DATA 0 dev->link->eh_info.serror 0-u32max
HOST_DATA 0 dev->link->pmp 15
HOST_DATA 0 dev->n_native_sectors 1-281474976710656[c]
HALF_LOCKED2 &ap->host->eh_mutex

drivers/ata/libata-eh.c ata_eh_unload() -> ata_eh_dev_disable()

Type Parameter Key Value
PARAM_VALUE 0 dev 1-u64max
PARAM_VALUE 0 dev->link->ap->ops->lost_interrupt 0,4096-ptr_max,(-2)
PARAM_VALUE 0 dev->link->ap->ops->sff_irq_clear 0,4096-ptr_max,(-2)
BUF_SIZE 0 dev (-1),8064
BUF_SIZE 0 dev (-1),8064
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ap->host->eh_mutex
TYPE_LOCK (struct ata_host)->eh_mutex