Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/ata/libahci.c ahci_do_softreset() -> ahci_disable_fbs()
| 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 | 0 | ap->private_data | 4096-ptr_max |
| 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 |
drivers/ata/libahci.c ahci_pmp_detach() -> ahci_disable_fbs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ap | 4096-ptr_max |
| PARAM_VALUE | 0 | ap->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | ap->host | 4096-ptr_max |
| PARAM_VALUE | 0 | ap->host->dev->cma_area->available_count | 0-s64max |
| PARAM_VALUE | 0 | ap->host->private_data | 4096-ptr_max |
| 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->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ap->ops->pmp_detach | 0,255910536027021312,6731286366967066624,7579230439737245696 |
| PARAM_VALUE | 0 | ap->ops->port_resume | 0,1402274537204125696,3515943421690482688,6496454576333930496,8053306597111750656,8638223309761839104 |
| BUF_SIZE | 0 | ap->lock | (-1),72 |
| BUF_SIZE | 0 | ap->private_data | (-1),2080 |
| DATA_SOURCE | 0 | ap | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &ap->host->eh_mutex | ||
| HALF_LOCKED2 | 0 | &ap->host->eh_mutex |