Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/ata/libahci.c ahci_do_softreset() -> ahci_exec_polled_cmd()

Type Parameter Key Value
PARAM_VALUE 0 ap 4096-ptr_max
PARAM_VALUE 0 ap->dev 4096-ptr_max
PARAM_VALUE 0 ap->flags 524288-u64max
PARAM_VALUE 0 ap->host 4096-ptr_max
PARAM_VALUE 0 ap->host->private_data 4096-ptr_max
PARAM_VALUE 0 ap->host->private_data->cap 16777216-4294967295
PARAM_VALUE 0 ap->host->private_data->start_engine 4096-ptr_max
PARAM_VALUE 0 ap->host->private_data->stop_engine 4096-ptr_max
PARAM_VALUE 0 ap->link.ap->host->eh_mutex.first_waiter->task->blocked_on 0
PARAM_VALUE 0 ap->link.ap->host->eh_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 ap->link.ap->link.device->link->active_tag 0-4294967295
PARAM_VALUE 0 ap->link.ap->link.device->link->sactive 0-4294967295
PARAM_VALUE 0 ap->link.ap->private_data->intr_mask 0-4294967295
PARAM_VALUE 2 tf 1793718324024754176
PARAM_VALUE 2 tf->auxiliary 0
PARAM_VALUE 2 tf->command 0
PARAM_VALUE 2 tf->ctl 4
PARAM_VALUE 2 tf->device 160,176
PARAM_VALUE 2 tf->error 0
PARAM_VALUE 2 tf->feature 0
PARAM_VALUE 2 tf->flags 0
PARAM_VALUE 2 tf->hob_feature 0
PARAM_VALUE 2 tf->hob_lbah 0
PARAM_VALUE 2 tf->hob_lbal 0
PARAM_VALUE 2 tf->hob_lbam 0
PARAM_VALUE 2 tf->hob_nsect 0
PARAM_VALUE 2 tf->lbah 0
PARAM_VALUE 2 tf->lbal 0
PARAM_VALUE 2 tf->lbam 0
PARAM_VALUE 2 tf->nsect 0
PARAM_VALUE 2 tf->protocol 0
PARAM_VALUE 2 tf->status 0
PARAM_VALUE 3 is_cmd 0
PARAM_VALUE 4 flags 1280
DATA_SOURCE 1 pmp $2
MEM_ZERO 2 tf
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 ap->last_ctl 0-255
HOST_DATA 0 ap->link.eh_info.serror 0-u32max
HOST_DATA 0 ap->link.pmp 0-255
HALF_LOCKED2 &ap->host->eh_mutex

drivers/ata/libahci.c ahci_do_softreset() -> ahci_exec_polled_cmd()

Type Parameter Key Value
PARAM_VALUE 0 ap 4096-ptr_max
PARAM_VALUE 0 ap->dev 4096-ptr_max
PARAM_VALUE 0 ap->flags 524288-u64max
PARAM_VALUE 0 ap->host 4096-ptr_max
PARAM_VALUE 0 ap->host->eh_mutex.dep_map->name 0-255
PARAM_VALUE 0 ap->host->eh_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 ap->host->eh_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ap->host->eh_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 ap->host->eh_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 ap->host->eh_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 ap->host->eh_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 ap->host->eh_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 ap->host->eh_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 ap->host->eh_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 ap->host->private_data 4096-ptr_max
PARAM_VALUE 0 ap->host->private_data->cap 16777216-4294967295
PARAM_VALUE 0 ap->host->private_data->start_engine 4096-ptr_max
PARAM_VALUE 0 ap->host->private_data->stop_engine 4096-ptr_max
PARAM_VALUE 0 ap->link.ap->host->eh_mutex.first_waiter->task->blocked_on 0
PARAM_VALUE 0 ap->link.ap->host->eh_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 ap->link.ap->link.device->link->active_tag 0-4294967295
PARAM_VALUE 0 ap->link.ap->link.device->link->sactive 0-4294967295
PARAM_VALUE 0 ap->link.ap->private_data->intr_mask 0-4294967295
PARAM_VALUE 0 ap->private_data 4096-ptr_max
PARAM_VALUE 0 ap->private_data->cmd_slot 4096-ptr_max
PARAM_VALUE 0 ap->private_data->cmd_tbl 4096-ptr_max
PARAM_VALUE 0 ap->private_data->fbs_last_dev s32min-s32max
PARAM_VALUE 2 tf 1793718324024754176
PARAM_VALUE 2 tf->auxiliary 0
PARAM_VALUE 2 tf->command 0
PARAM_VALUE 2 tf->ctl 0
PARAM_VALUE 2 tf->device 160,176
PARAM_VALUE 2 tf->error 0
PARAM_VALUE 2 tf->feature 0
PARAM_VALUE 2 tf->flags 0
PARAM_VALUE 2 tf->hob_feature 0
PARAM_VALUE 2 tf->hob_lbah 0
PARAM_VALUE 2 tf->hob_lbal 0
PARAM_VALUE 2 tf->hob_lbam 0
PARAM_VALUE 2 tf->hob_nsect 0
PARAM_VALUE 2 tf->lbah 0
PARAM_VALUE 2 tf->lbal 0
PARAM_VALUE 2 tf->lbam 0
PARAM_VALUE 2 tf->nsect 0
PARAM_VALUE 2 tf->protocol 0
PARAM_VALUE 2 tf->status 0
PARAM_VALUE 3 is_cmd 0
PARAM_VALUE 4 flags 0
PARAM_VALUE 5 timeout_msec 0
DATA_SOURCE 1 pmp $2
MEM_ZERO 2 tf
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 ap->last_ctl 0-255
HOST_DATA 0 ap->link.eh_info.serror 0-u32max
HOST_DATA 0 ap->link.pmp 0-255
HALF_LOCKED2 &ap->host->eh_mutex