Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/char/tpm/tpm-interface.c tpm_try_transmit() -> tpm_transmit_completed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | chip | 4096-ptr_max |
| PARAM_VALUE | 1 | chip->ops | 4096-ptr_max |
| PARAM_VALUE | 1 | chip->ops->req_complete_mask | 0-1,3,6,144 |
| PARAM_VALUE | 1 | chip->ops->req_complete_val | 0-2,6,144 |
| BUF_SIZE | 1 | chip | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | chip | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | chip->cc_attrs_tbl | (-1)-4194300 |
| BUF_SIZE | 1 | chip->dev.parent | (-1),1616 |
| BUF_SIZE | 1 | chip->ops | (-1),104 |
| CAPPED_DATA | 1 | chip->ops->req_complete_val | 1 |
| DATA_SOURCE | 0 | status | r tpm_chip_status |
| DATA_SOURCE | 1 | chip | $0 |
| STR_LEN | 0 | status | (-1),9,12,15-17,21-22,24,26-30,33-37,39-40,42-43,50-51 |
| STR_LEN | 1 | chip | (-1),9,12,15-17,21-22,24,26-30,33-37,39-40,42-43,50-51 |
| BIT_INFO | 1 | chip->flags | 0x0,0xfffff7fb |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | status | 0-255 |
| HOST_DATA | 1 | chip->cdev.kobj.parent->kref.refcount.refs.counter | s32min-s32max |
| HOST_DATA | 1 | chip->cdev.kobj.parent->release.cpu | s32min-s32max |
| HOST_DATA | 1 | chip->cdev.kobj.parent->release.timer.expires | 0-u64max |
| HOST_DATA | 1 | chip->cdev.kobj.parent->release.timer.flags | 0-u32max |
| HOST_DATA | 1 | chip->cdev.kobj.parent->release.work.data.counter | s64min-s64max |
| HOST_DATA | 1 | chip->cdev.kobj.parent->state_add_uevent_sent | 0 |
| HOST_DATA | 1 | chip->cdev.kobj.parent->state_in_sysfs | 0 |
| HOST_DATA | 1 | chip->cdev.kobj.parent->state_initialized | 1 |
| HOST_DATA | 1 | chip->cdev.kobj.parent->state_remove_uevent_sent | 0 |
| HOST_DATA | 1 | chip->cdev.kobj.parent->uevent_suppress | 0-1 |
| HOST_DATA | 1 | chip->cdevs.kobj.parent->kref.refcount.refs.counter | s32min-s32max |
| HOST_DATA | 1 | chip->cdevs.kobj.parent->release.cpu | s32min-s32max |
| HOST_DATA | 1 | chip->cdevs.kobj.parent->release.timer.expires | 0-u64max |
| HOST_DATA | 1 | chip->cdevs.kobj.parent->release.timer.flags | 0-u32max |
| HOST_DATA | 1 | chip->cdevs.kobj.parent->release.work.data.counter | s64min-s64max |
| HOST_DATA | 1 | chip->cdevs.kobj.parent->state_add_uevent_sent | 0 |
| HOST_DATA | 1 | chip->cdevs.kobj.parent->state_in_sysfs | 0 |
| HOST_DATA | 1 | chip->cdevs.kobj.parent->state_initialized | 1 |
| HOST_DATA | 1 | chip->cdevs.kobj.parent->state_remove_uevent_sent | 0 |
| HOST_DATA | 1 | chip->cdevs.kobj.parent->uevent_suppress | 0-1 |
| HOST_DATA | 1 | chip->hwrng->priv | 0-u64max |
| HOST_DATA | 1 | *chip->log->bios_event_log | 0-255 |
| USER_DATA | 1 | chip->dev.driver_data->buffer->buf_size | 1-4087[u] |
| USER_DATA | 1 | chip->last_cc | 1-536936447[c] |
| USER_DATA | 1 | *chip->dev.driver_data->buffer | 0-255 |
| USER_DATA | 1 | *chip->dev.driver_data->buffer->buf | 0-255 |
| NO_OVERFLOW_SIMPLE | 1 | chip->ascii_log_seqops.chip->nr_commands | |
| NO_OVERFLOW_SIMPLE | 1 | chip->bin_log_seqops.chip->nr_commands | |
| NO_OVERFLOW_SIMPLE | 1 | chip->nr_commands | |
| UNITS | 1 | chip | unit_byte |
| HALF_LOCKED2 | &priv->buffer_mutex | ||
| HALF_LOCKED2 | 1 | &chip->ops_sem | |
| HALF_LOCKED2 | 1 | &chip->tpm_mutex |
drivers/char/tpm/tpm-interface.c tpm_try_transmit() -> tpm_transmit_completed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | chip | 4096-ptr_max |
| PARAM_VALUE | 1 | chip->ops | 4096-ptr_max |
| PARAM_VALUE | 1 | chip->ops->req_complete_mask | 0-1,3,6,144 |
| PARAM_VALUE | 1 | chip->ops->req_complete_val | 0-2,6,144 |
| BUF_SIZE | 1 | chip | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | chip | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | chip->cc_attrs_tbl | (-1)-4194300 |
| BUF_SIZE | 1 | chip->dev.parent | (-1),1616 |
| BUF_SIZE | 1 | chip->ops | (-1),104 |
| CAPPED_DATA | 1 | chip->ops->req_complete_val | 1 |
| DATA_SOURCE | 1 | chip | $0 |
| STR_LEN | 0 | status | (-1),9,12,15-17,21-22,24,26-30,33-37,39-40,42-43,50-51 |
| STR_LEN | 1 | chip | (-1),9,12,15-17,21-22,24,26-30,33-37,39-40,42-43,50-51 |
| BIT_INFO | 1 | chip->flags | 0x0,0xfffff7fb |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | status | 0-255 |
| HOST_DATA | 1 | chip->cdev.kobj.parent->kref.refcount.refs.counter | s32min-s32max |
| HOST_DATA | 1 | chip->cdev.kobj.parent->release.cpu | s32min-s32max |
| HOST_DATA | 1 | chip->cdev.kobj.parent->release.timer.expires | 0-u64max |
| HOST_DATA | 1 | chip->cdev.kobj.parent->release.timer.flags | 0-u32max |
| HOST_DATA | 1 | chip->cdev.kobj.parent->release.work.data.counter | s64min-s64max |
| HOST_DATA | 1 | chip->cdev.kobj.parent->state_add_uevent_sent | 0 |
| HOST_DATA | 1 | chip->cdev.kobj.parent->state_in_sysfs | 0 |
| HOST_DATA | 1 | chip->cdev.kobj.parent->state_initialized | 1 |
| HOST_DATA | 1 | chip->cdev.kobj.parent->state_remove_uevent_sent | 0 |
| HOST_DATA | 1 | chip->cdev.kobj.parent->uevent_suppress | 0-1 |
| HOST_DATA | 1 | chip->cdevs.kobj.parent->kref.refcount.refs.counter | s32min-s32max |
| HOST_DATA | 1 | chip->cdevs.kobj.parent->release.cpu | s32min-s32max |
| HOST_DATA | 1 | chip->cdevs.kobj.parent->release.timer.expires | 0-u64max |
| HOST_DATA | 1 | chip->cdevs.kobj.parent->release.timer.flags | 0-u32max |
| HOST_DATA | 1 | chip->cdevs.kobj.parent->release.work.data.counter | s64min-s64max |
| HOST_DATA | 1 | chip->cdevs.kobj.parent->state_add_uevent_sent | 0 |
| HOST_DATA | 1 | chip->cdevs.kobj.parent->state_in_sysfs | 0 |
| HOST_DATA | 1 | chip->cdevs.kobj.parent->state_initialized | 1 |
| HOST_DATA | 1 | chip->cdevs.kobj.parent->state_remove_uevent_sent | 0 |
| HOST_DATA | 1 | chip->cdevs.kobj.parent->uevent_suppress | 0-1 |
| HOST_DATA | 1 | chip->hwrng->priv | 0-u64max |
| HOST_DATA | 1 | *chip->log->bios_event_log | 0-255 |
| USER_DATA | 1 | chip->dev.driver_data->buffer->buf_size | 1-4087[u] |
| USER_DATA | 1 | chip->last_cc | 1-536936447[c] |
| USER_DATA | 1 | *chip->dev.driver_data->buffer | 0-255 |
| USER_DATA | 1 | *chip->dev.driver_data->buffer->buf | 0-255 |
| NO_OVERFLOW_SIMPLE | 1 | chip->ascii_log_seqops.chip->nr_commands | |
| NO_OVERFLOW_SIMPLE | 1 | chip->bin_log_seqops.chip->nr_commands | |
| NO_OVERFLOW_SIMPLE | 1 | chip->nr_commands | |
| UNITS | 1 | chip | unit_byte |
| HALF_LOCKED2 | &priv->buffer_mutex | ||
| HALF_LOCKED2 | 1 | &chip->ops_sem | |
| HALF_LOCKED2 | 1 | &chip->tpm_mutex |