Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/tegra/falcon.c falcon_load_firmware() -> falcon_copy_firmware_image()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | falcon | 4096-ptr_max |
| PARAM_VALUE | 0 | falcon->firmware.virt | 1-ptr_max |
| PARAM_VALUE | 1 | firmware | 4096-ptr_max |
| DATA_SOURCE | 0 | falcon | $0 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &lock |