Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpio/gpio-mpsse.c gpio_mpsse_get_bank() -> mpsse_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | intf | 4096-ptr_max |
| PARAM_VALUE | 0 | intf->dev.driver_data | 4096-ptr_max |
| PARAM_VALUE | 0 | intf->dev.driver_data->udev->bus->sysdev->iommu->attach_deferred | 0-1 |
| PARAM_VALUE | 0 | intf->dev.driver_data->udev->state | 4-4294967295 |
| PARAM_VALUE | 1 | buf | 425120197151625216 |
| PARAM_VALUE | 1 | *buf | 129,131-145 |
| PARAM_VALUE | 2 | len | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | _T->lock |