Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/ata/libata-eh.c __ata_ehi_push_desc() -> __ata_ehi_pushv_desc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ehi | 4096-ptr_max |
| PARAM_VALUE | 0 | *ehi->desc | 0-255 |
| PARAM_VALUE | 1 | fmt | 715772326636589056,858279866551656448,1652123685588287488,2149145089533460480,4274302372899520512,6928556990030643200,8001738716527255552 |
| PARAM_VALUE | 2 | *args | 2149145089533460480,715772326636589056,6928556990030643200,4274302372899520512,8001738716527255552,858279866551656448,1652123685588287488 |
| BUF_SIZE | 0 | ehi | (-1),120 |
| BUF_SIZE | 0 | ehi | (-1),120 |
| BUF_SIZE | 1 | fmt | 2-3,9,15,21-22 |
| BUF_SIZE | 1 | fmt | 2-3,9,15,21-22 |
| BUF_SIZE | 2 | args | 8 |
| BUF_SIZE | 2 | args | 8 |
| DATA_SOURCE | 0 | ehi | $0 |
| DATA_SOURCE | 1 | fmt | $1 |
| STR_LEN | 0 | ehi | 1-2,6-17,19-21,23-24,31,42,48-50,59 |
| STR_LEN | 0 | ehi | 1-2,6-17,19-21,23-24,31,42,48-50,59 |
| STR_LEN | 1 | fmt | (-1),2 |
| STR_LEN | 1 | fmt | (-1),2 |
| STR_LEN | 2 | *args | (-1),2 |
| PARAM_COMPARE | 1 | &fmt | == $2 |
| TERMINATED | 1 | fmt | 1 |
| TERMINATED | 2 | *args | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | ehi->serror | 0-u32max |
| HALF_LOCKED2 | &host->lock |
drivers/ata/libata-eh.c ata_ehi_push_desc() -> __ata_ehi_pushv_desc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ehi | 4096-ptr_max |
| PARAM_VALUE | 1 | fmt | 4096-ptr_max |
| BUF_SIZE | 0 | ehi | (-1),120 |
| BUF_SIZE | 0 | ehi | (-1),120 |
| BUF_SIZE | 1 | fmt | 3,7-22,24-25,29,32,34,37,43,49-51,60 |
| BUF_SIZE | 1 | fmt | 3,7-22,24-25,29,32,34,37,43,49-51,60 |
| BUF_SIZE | 2 | args | 8 |
| BUF_SIZE | 2 | args | 8 |
| DATA_SOURCE | 0 | ehi | $0 |
| DATA_SOURCE | 1 | fmt | $1 |
| STR_LEN | 0 | ehi | 2,6-21,23-24,28,31,33,36,42,48-50,59 |
| STR_LEN | 0 | ehi | 2,6-21,23-24,28,31,33,36,42,48-50,59 |
| STR_LEN | 1 | fmt | (-1),4,7,12,15-16,25 |
| STR_LEN | 1 | fmt | (-1),4,7,12,15-16,25 |
| STR_LEN | 2 | *args | (-1),4,7,12,15-16,25 |
| PARAM_COMPARE | 1 | &fmt | == $2 |
| TERMINATED | 1 | fmt | 1 |
| TERMINATED | 2 | *args | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | ehi->serror | 0-u32max |
| HALF_LOCKED2 | &acdev->host->lock | ||
| HALF_LOCKED2 | &host->lock | ||
| HALF_LOCKED2 | ap->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | global &acpi_scan_lock |
drivers/ata/libata-eh.c ata_port_desc() -> __ata_ehi_pushv_desc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ehi | 4096-ptr_max |
| PARAM_VALUE | 1 | fmt | 4096-ptr_max |
| BUF_SIZE | 1 | fmt | 4,7-13,17-18,20,22,25-27,35 |
| BUF_SIZE | 1 | fmt | 4,7-13,17-18,20,22,25-27,35 |
| BUF_SIZE | 2 | args | 8 |
| BUF_SIZE | 2 | args | 8 |
| DATA_SOURCE | 1 | fmt | $1 |
| STR_LEN | 0 | ehi | (-1),4,6,9,16 |
| STR_LEN | 1 | fmt | (-1),4,6,9,16 |
| STR_LEN | 2 | *args | (-1),4,6,9,16 |
| PARAM_COMPARE | 1 | &fmt | == $2 |
| TERMINATED | 1 | fmt | 1 |
| TERMINATED | 2 | *args | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &pi_mutex |