Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/base/regmap/regmap.c _regmap_raw_write_impl() -> (struct regmap_bus)->gather_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 3 | val | (-1)-s32max |
| BUF_SIZE | 3 | val | (-1)-s32max |
| DATA_SOURCE | 3 | val | $2 [m] |
| DATA_SOURCE | 4 | val_len | $3 |
| CONTAINER | 0 | *(-16-288+296) | $(-1) |
| CONTAINER | 1 | *(-16-288+200) | $(-1) |
| NOSPEC | 4 | val_len | |
| NOSPEC | 4 | val_len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 4 | val_len | 4-16[c] |
| USER_DATA | 4 | val_len | 1-s32max[c] |
| NO_OVERFLOW_SIMPLE | 3 | *val | |
| HALF_LOCKED2 | map->lock_arg |