Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/media/usb/dvb-usb/cxusb.c bluebird_patch_dvico_firmware_download() -> usb_cypress_load_firmware()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | udev | 4096-ptr_max |
| PARAM_VALUE | 0 | udev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | udev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | udev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | *udev->toggle | 0-4294967295 |
| PARAM_VALUE | 1 | fw | 7696617859406225408 |
| PARAM_VALUE | 1 | fw->data | 4096-ptr_max |
| PARAM_VALUE | 1 | fw->size | 3208-u64max |
| PARAM_VALUE | 2 | type | 3 |
| DATA_SOURCE | 0 | udev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/media/usb/dvb-usb/dvb-usb-firmware.c dvb_usb_download_firmware() -> usb_cypress_load_firmware()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | udev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | udev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | udev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | *udev->toggle | 0-4294967295 |
| PARAM_VALUE | 1 | fw | 4096-ptr_max |
| PARAM_VALUE | 2 | type | 1-3 |
| DATA_SOURCE | 0 | udev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |