Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/nfc/pn544/i2c.c pn544_hci_i2c_fw_secure_write_frame() -> pn544_hci_i2c_fw_secure_write_frame_cmd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | phy | 4096-ptr_max |
| PARAM_VALUE | 0 | phy->fw_blob_size | 33-u64max |
| PARAM_VALUE | 0 | phy->fw_work_state | 2,5 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| DATA_SOURCE | 0 | phy | $0 |
| HARD_MAX | 0 | phy->fw_work_state | 5 |
| HALF_LOCKED2 | &pool->lock |