Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/ata/sata_nv.c nv_swncq_host_interrupt() -> (struct ata_port_operations)->scr_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | link | 4096-ptr_max |
| PARAM_VALUE | 0 | link->sactive | 1-u32max |
| PARAM_VALUE | 1 | sc_reg | 1 |
| CONTAINER | 0 | -232-8+8384 | $(-1) |
| NOCHECK_CALL | |||
| HOST_DATA | 2 | val | 0-u32max |
| LOCK2 | &host->lock | ||
| LOCK2 | flags | ||
| TYPE_LOCK | (struct ata_host)->lock |
drivers/ata/libata-sata.c sata_scr_write() -> (struct ata_port_operations)->scr_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | link | 4096-ptr_max |
| PARAM_VALUE | 0 | link->ap | 4096-ptr_max |
| PARAM_VALUE | 0 | link->ap->flags | 2-u64max |
| PARAM_VALUE | 0 | link->ap->link.device->link->active_tag | 0-4294967295 |
| PARAM_VALUE | 0 | link->ap->link.device->link->sactive | 0-4294967295 |
| PARAM_VALUE | 0 | link->ap->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | link->device->class | 0-4294967295 |
| PARAM_VALUE | 0 | *link->device->gscr | 0-4294967295 |
| PARAM_VALUE | 1 | sc_reg | 1-2,4 |
| BUF_SIZE | 0 | link | (-1),10240 |
| BUF_SIZE | 0 | link | (-1),10240 |
| CAPPED_DATA | 0 | link | 1 |
| DATA_SOURCE | 0 | link | $0 |
| DATA_SOURCE | 1 | sc_reg | $1 |
| DATA_SOURCE | 2 | val | $2 |
| CONTAINER | 0 | -232-8-0+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | link->ap->last_ctl | 0-255 |
| HOST_DATA | 0 | link->ap->link.eh_info.serror | 0-u32max |
| HOST_DATA | 0 | link->ap->link.pmp | 0-255 |
| HOST_DATA | 0 | link->ap->slave_link->pmp | 0-255 |
| HOST_DATA | 0 | link->eh_context.i.serror | 0-u32max |
| HOST_DATA | 0 | link->eh_info.serror | 0-u32max |
| HOST_DATA | 0 | link->hw_sata_spd_limit | 0-u32max[c] |
| HOST_DATA | 0 | link->pmp | 0-255 |
| HOST_DATA | 0 | link->sata_spd | 0-15 |
| HOST_DATA | 0 | link->sata_spd_limit | 0-u32max[c] |
| HOST_DATA | 0 | link->saved_scontrol | 0-u32max |
| HOST_DATA | 2 | val | 0-u32max |
| HALF_LOCKED2 | &ap->host->eh_mutex | ||
| HALF_LOCKED2 | &host->lock | ||
| HALF_LOCKED2 | flags |
drivers/ata/libata-sata.c sata_scr_write_flush() -> (struct ata_port_operations)->scr_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | link | 4096-ptr_max |
| PARAM_VALUE | 0 | link->ap | 4096-ptr_max |
| PARAM_VALUE | 0 | link->ap->flags | 2-u64max |
| PARAM_VALUE | 0 | link->ap->link.device->link->active_tag | 0-4294967295 |
| PARAM_VALUE | 0 | link->ap->link.device->link->sactive | 0-4294967295 |
| PARAM_VALUE | 0 | link->ap->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | link->device->class | 0-4294967295 |
| PARAM_VALUE | 1 | sc_reg | 1-2 |
| BUF_SIZE | 0 | link | (-1),10240 |
| BUF_SIZE | 0 | link | (-1),10240 |
| CAPPED_DATA | 0 | link | 1 |
| DATA_SOURCE | 0 | link | $0 |
| DATA_SOURCE | 1 | sc_reg | $1 |
| DATA_SOURCE | 2 | val | $2 |
| CONTAINER | 0 | -232-8-0+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | link->ap->last_ctl | 0-255 |
| HOST_DATA | 0 | link->ap->link.eh_info.serror | 0-u32max |
| HOST_DATA | 0 | link->ap->link.pmp | 0-255 |
| HOST_DATA | 0 | link->eh_context.i.serror | 0-u32max |
| HOST_DATA | 0 | link->eh_info.serror | 0-u32max |
| HOST_DATA | 0 | link->hw_sata_spd_limit | 0-u32max[c] |
| HOST_DATA | 0 | link->pmp | 0-255 |
| HOST_DATA | 0 | link->sata_spd_limit | 0-u32max[c] |
| HOST_DATA | 0 | link->saved_scontrol | 0-u32max |
| HOST_DATA | 2 | val | 0-u32max |
| HALF_LOCKED2 | &host->lock |