Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/memory/brcmstb_dpfe.c brcmstb_dpfe_download_firmware() -> __verify_firmware()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | init | 240437829467521024 |
| PARAM_VALUE | 1 | fw | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING |