Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/wireless/ti/wlcore/spi.c wl12xx_spi_raw_write() -> __wl12xx_spi_raw_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | child->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | addr | 131068 |
| PARAM_VALUE | 3 | len | 0-9223372036854772180,9223372036854776278-u64max |
| BUF_SIZE | 2 | buf | (-1),4,8,12,16,20,24,28,32,36,44,60,68,88,96,112,224,280,288,340,532,540,552,576,612,672,740,16384,53248 |
| BUF_SIZE | 2 | buf | (-1),4,8,12,16,20,24,28,32,36,44,60,68,88,96,112,224,280,288,340,532,540,552,576,612,672,740,16384,53248 |
| CAPPED_DATA | 3 | len | 1 |
| CAPPED_DATA | 3 | len | 1 |
| DATA_SOURCE | 0 | child | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | buf | $2 |
| DATA_SOURCE | 3 | len | $3 |
| DATA_SOURCE | 4 | fixed | $4 |
| FUZZY_MAX | 3 | len | 4 |
| NOSPEC | 3 | len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 2 | *buf | s64min-s64max |
| NO_OVERFLOW_SIMPLE | 2 | buf->auto_ps_timeout | |
| NO_OVERFLOW_SIMPLE | 2 | buf->channel | |
| NO_OVERFLOW_SIMPLE | 2 | buf->enable | |
| NO_OVERFLOW_SIMPLE | 2 | buf->output | |
| BYTE_COUNT | 2 | ==buf3 | 8050 |
| USER_PTR | 2 | buf | |
| HALF_LOCKED2 | &wl->mutex |
drivers/net/wireless/ti/wlcore/spi.c wl12xx_spi_raw_write() -> __wl12xx_spi_raw_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | child->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 3 | len | 0-9223372036854772180,9223372036854776278-u64max |
| BUF_SIZE | 2 | buf | (-1),1-16384,53248 |
| BUF_SIZE | 2 | buf | (-1),1-16384,53248 |
| CAPPED_DATA | 3 | len | 1 |
| CAPPED_DATA | 3 | len | 1 |
| DATA_SOURCE | 0 | child | $0 |
| DATA_SOURCE | 1 | addr | $1 |
| DATA_SOURCE | 2 | buf | $2 |
| DATA_SOURCE | 3 | len | $3 |
| DATA_SOURCE | 4 | fixed | $4 |
| FUZZY_MAX | 3 | len | 4 |
| NOSPEC | 3 | len | |
| NOSPEC | 3 | len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | *buf | s64min-s64max |
| USER_DATA | 3 | len | 1-16383[c] |
| NO_OVERFLOW_SIMPLE | 2 | buf->auto_ps_timeout | |
| NO_OVERFLOW_SIMPLE | 2 | buf->channel | |
| NO_OVERFLOW_SIMPLE | 2 | buf->enable | |
| NO_OVERFLOW_SIMPLE | 2 | buf->output | |
| BYTE_COUNT | 2 | ==buf3 | 8050 |
| USER_PTR | 2 | buf | |
| HALF_LOCKED2 | &wl->mutex |