Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpio/gpio-virtuser.c gpio_virtuser_value_array_do_write() -> gpio_virtuser_set_array_value()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | descs | 4096-ptr_max |
| PARAM_VALUE | 0 | descs->ndescs | 0-999999999,2147479551 |
| PARAM_VALUE | 1 | values | 16,4096-ptr_max |
| CAPPED_DATA | 0 | descs->ndescs | 1 |
| DATA_SOURCE | 1 | values | r bitmap_zalloc |
| DATA_SOURCE | 2 | atomic | $4 |
| MEM_ZERO | 1 | values |