Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/nfc/pn544/i2c.c pn544_hci_i2c_fw_work() -> pn544_hci_i2c_fw_secure_write_frame()

Type Parameter Key Value
PARAM_VALUE 0 phy 4096-ptr_max
PARAM_VALUE 0 phy->fw 4096-ptr_max
PARAM_VALUE 0 phy->fw->data 4096-ptr_max
PARAM_VALUE 0 phy->fw_work_state 2
PARAM_VALUE 0 phy->fw_written 0
PARAM_VALUE 0 phy->gpiod_en 0,4096-u64max
PARAM_VALUE 0 phy->gpiod_fw 0,4096-u64max
PARAM_VALUE 0 phy->hw_variant 11
PARAM_VALUE 0 phy->run_mode 1
HALF_LOCKED2 &pool->lock

drivers/nfc/pn544/i2c.c pn544_hci_i2c_fw_work() -> pn544_hci_i2c_fw_secure_write_frame()

Type Parameter Key Value
PARAM_VALUE 0 phy 4096-ptr_max
PARAM_VALUE 0 phy->fw_cmd_result 33
PARAM_VALUE 0 phy->fw_work_state 5
HALF_LOCKED2 &pool->lock

drivers/nfc/pn544/i2c.c pn544_hci_i2c_fw_work() -> pn544_hci_i2c_fw_secure_write_frame()

Type Parameter Key Value
PARAM_VALUE 0 phy 4096-ptr_max
PARAM_VALUE 0 phy->fw_cmd_result 0-32,34-s32max
PARAM_VALUE 0 phy->fw_size 11-u64max
PARAM_VALUE 0 phy->fw_work_state 5
PARAM_VALUE 0 phy->fw_written 0
CAPPED_DATA 0 phy->fw_blob_size 1
FUZZY_MAX 0 phy->fw_size 11
HALF_LOCKED2 &pool->lock