Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/char/tpm/tpm_tis_i2c.c tpm_tis_i2c_read_bytes() -> tpm_tis_i2c_retry_transfer_until_ack()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data | 4096-ptr_max |
| PARAM_VALUE | 0 | data->phy_ops->read_bytes | 0,4096-ptr_max |
| PARAM_VALUE | 0 | data->phy_ops->verify_crc | 0,3331698306427895808 |
| PARAM_VALUE | 0 | data->phy_ops->write_bytes | 0,4096-ptr_max |
| PARAM_VALUE | 1 | msg | 1102643865938755584 |
| PARAM_VALUE | 1 | msg->buf | 4612847383556059136 |
| PARAM_VALUE | 1 | msg->flags | 0 |
| PARAM_VALUE | 1 | msg->len | 1 |
| BUF_SIZE | 0 | data | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | data | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | data->chip | (-1),9120 |
| DATA_SOURCE | 0 | data | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | data->did_vid | 0-255 |
| HOST_DATA | 0 | data->int_mask | 0[c] |
| HOST_DATA | 0 | data->irq | 1-255 |
drivers/char/tpm/tpm_tis_i2c.c tpm_tis_i2c_read_bytes() -> tpm_tis_i2c_retry_transfer_until_ack()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data | 4096-ptr_max |
| PARAM_VALUE | 0 | data->phy_ops->read_bytes | 0,4096-ptr_max |
| PARAM_VALUE | 0 | data->phy_ops->verify_crc | 0,3331698306427895808 |
| PARAM_VALUE | 0 | data->phy_ops->write_bytes | 0,4096-ptr_max |
| PARAM_VALUE | 1 | msg | 1102643865938755584 |
| PARAM_VALUE | 1 | msg->buf | 4096-ptr_max |
| PARAM_VALUE | 1 | msg->flags | 1 |
| PARAM_VALUE | 1 | msg->len | 1-32 |
| BUF_SIZE | 0 | data | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | data | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | data->chip | (-1),9120 |
| DATA_SOURCE | 0 | data | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | data->did_vid | 0-255 |
| HOST_DATA | 0 | data->int_mask | 0[c] |
| HOST_DATA | 0 | data->irq | 1-255 |
| USER_PTR | 1 | msg->buf |
drivers/char/tpm/tpm_tis_i2c.c tpm_tis_i2c_write_bytes() -> tpm_tis_i2c_retry_transfer_until_ack()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data | 4096-ptr_max |
| PARAM_VALUE | 0 | data->phy_ops->read_bytes | 0,4096-ptr_max |
| PARAM_VALUE | 0 | data->phy_ops->write_bytes | 0,4096-ptr_max |
| PARAM_VALUE | 1 | msg | 7965356100059230208 |
| PARAM_VALUE | 1 | msg->buf | 4096-ptr_max |
| PARAM_VALUE | 1 | msg->flags | 0 |
| PARAM_VALUE | 1 | msg->len | 0-32 |
| BUF_SIZE | 0 | data | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | data | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | data->chip | (-1),9120 |
| DATA_SOURCE | 0 | data | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | data->did_vid | 0-255 |
| HOST_DATA | 0 | data->int_mask | 0[c] |
| HOST_DATA | 0 | data->irq | 1-255 |
| USER_DATA | 1 | msg->len | 0-32[c] |
| HALF_LOCKED2 | 0 | &data->locality_count_mutex |