Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/char/tpm/tpm-interface.c tpm_try_transmit() -> tpm_chip_status()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chip | 4096-ptr_max |
| PARAM_VALUE | 0 | chip->bios_dir->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | chip->bios_dir->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | chip->dev.dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | chip->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | chip->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | chip->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | chip->devs.dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | chip->devs.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | chip->devs.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | chip->devs.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | chip->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | chip->ops->cancel | 0,4096-ptr_max |
| PARAM_VALUE | 0 | chip->ops->clk_enable | 0,8238000303417774080 |
| PARAM_VALUE | 0 | chip->ops->cmd_ready | 0,4096-ptr_max |
| PARAM_VALUE | 0 | chip->ops->flags | 0-1 |
| PARAM_VALUE | 0 | chip->ops->go_idle | 0,7330804120071462912 |
| PARAM_VALUE | 0 | chip->ops->recv | 0,4096-ptr_max |
| PARAM_VALUE | 0 | chip->ops->relinquish_locality | 0,2633419398296563712,2874090570833219584,5109782565761941504 |
| PARAM_VALUE | 0 | chip->ops->req_canceled | 0,4096-ptr_max |
| PARAM_VALUE | 0 | chip->ops->req_complete_mask | 0-1,3,6,144 |
| PARAM_VALUE | 0 | chip->ops->req_complete_val | 0-2,6,144 |
| PARAM_VALUE | 0 | chip->ops->request_locality | 0,687616332851662848,1972857114776301568,5522372633862455296,8809977530342211584 |
| PARAM_VALUE | 0 | chip->ops->send | 4096-ptr_max |
| PARAM_VALUE | 0 | chip->ops->status | 0,4096-ptr_max |
| PARAM_VALUE | 0 | chip->ops->update_durations | 0,2769123810796912640 |
| PARAM_VALUE | 0 | chip->ops->update_timeouts | 0,3872956085286137856 |
| PARAM_VALUE | 0 | chip->ops_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | chip->ops_sem.first_waiter->type | 0-1 |
| BUF_SIZE | 0 | chip | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | chip | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | chip->cc_attrs_tbl | (-1)-4194300 |
| BUF_SIZE | 0 | chip->dev.parent | (-1),1616 |
| BUF_SIZE | 0 | chip->ops | (-1),104 |
| CAPPED_DATA | 0 | chip->ops->req_complete_val | 1 |
| DATA_SOURCE | 0 | chip | $0 |
| STR_LEN | 0 | chip | (-1),9,12,15-17,21-22,24,26-30,33-37,39-40,42-43,50-51 |
| STR_LEN | 0 | chip | (-1),9,12,15-17,21-22,24,26-30,33-37,39-40,42-43,50-51 |
| BIT_INFO | 0 | chip->flags | 0x0,0xfffff7fb |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | chip->cdev.kobj.parent->kref.refcount.refs.counter | s32min-s32max |
| HOST_DATA | 0 | chip->cdev.kobj.parent->release.cpu | s32min-s32max |
| HOST_DATA | 0 | chip->cdev.kobj.parent->release.timer.expires | 0-u64max |
| HOST_DATA | 0 | chip->cdev.kobj.parent->release.timer.flags | 0-u32max |
| HOST_DATA | 0 | chip->cdev.kobj.parent->release.work.data.counter | s64min-s64max |
| HOST_DATA | 0 | chip->cdev.kobj.parent->state_add_uevent_sent | 0 |
| HOST_DATA | 0 | chip->cdev.kobj.parent->state_in_sysfs | 0 |
| HOST_DATA | 0 | chip->cdev.kobj.parent->state_initialized | 1 |
| HOST_DATA | 0 | chip->cdev.kobj.parent->state_remove_uevent_sent | 0 |
| HOST_DATA | 0 | chip->cdev.kobj.parent->uevent_suppress | 0-1 |
| HOST_DATA | 0 | chip->cdevs.kobj.parent->kref.refcount.refs.counter | s32min-s32max |
| HOST_DATA | 0 | chip->cdevs.kobj.parent->release.cpu | s32min-s32max |
| HOST_DATA | 0 | chip->cdevs.kobj.parent->release.timer.expires | 0-u64max |
| HOST_DATA | 0 | chip->cdevs.kobj.parent->release.timer.flags | 0-u32max |
| HOST_DATA | 0 | chip->cdevs.kobj.parent->release.work.data.counter | s64min-s64max |
| HOST_DATA | 0 | chip->cdevs.kobj.parent->state_add_uevent_sent | 0 |
| HOST_DATA | 0 | chip->cdevs.kobj.parent->state_in_sysfs | 0 |
| HOST_DATA | 0 | chip->cdevs.kobj.parent->state_initialized | 1 |
| HOST_DATA | 0 | chip->cdevs.kobj.parent->state_remove_uevent_sent | 0 |
| HOST_DATA | 0 | chip->cdevs.kobj.parent->uevent_suppress | 0-1 |
| HOST_DATA | 0 | chip->hwrng->priv | 0-u64max |
| HOST_DATA | 0 | *chip->log->bios_event_log | 0-255 |
| USER_DATA | 0 | chip->dev.driver_data->buffer->buf_size | 1-4087[u] |
| USER_DATA | 0 | chip->last_cc | 1-536936447[c] |
| USER_DATA | 0 | *chip->dev.driver_data->buffer | 0-255 |
| USER_DATA | 0 | *chip->dev.driver_data->buffer->buf | 0-255 |
| NO_OVERFLOW_SIMPLE | 0 | chip->ascii_log_seqops.chip->nr_commands | |
| NO_OVERFLOW_SIMPLE | 0 | chip->bin_log_seqops.chip->nr_commands | |
| NO_OVERFLOW_SIMPLE | 0 | chip->nr_commands | |
| UNITS | 0 | chip | unit_byte |
| HALF_LOCKED2 | &priv->buffer_mutex | ||
| HALF_LOCKED2 | 0 | &chip->ops_sem | |
| HALF_LOCKED2 | 0 | &chip->tpm_mutex |
drivers/char/tpm/tpm-interface.c tpm_try_transmit() -> tpm_chip_status()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chip | 4096-ptr_max |
| PARAM_VALUE | 0 | chip->bios_dir->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | chip->bios_dir->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | chip->dev.dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | chip->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | chip->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | chip->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | chip->devs.dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | chip->devs.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | chip->devs.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | chip->devs.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | chip->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | chip->ops->cancel | 0,4096-ptr_max |
| PARAM_VALUE | 0 | chip->ops->clk_enable | 0,8238000303417774080 |
| PARAM_VALUE | 0 | chip->ops->cmd_ready | 0,4096-ptr_max |
| PARAM_VALUE | 0 | chip->ops->flags | 0-1 |
| PARAM_VALUE | 0 | chip->ops->go_idle | 0,7330804120071462912 |
| PARAM_VALUE | 0 | chip->ops->recv | 0,4096-ptr_max |
| PARAM_VALUE | 0 | chip->ops->relinquish_locality | 0,2633419398296563712,2874090570833219584,5109782565761941504 |
| PARAM_VALUE | 0 | chip->ops->req_canceled | 0,4096-ptr_max |
| PARAM_VALUE | 0 | chip->ops->req_complete_mask | 0-1,3,6,144 |
| PARAM_VALUE | 0 | chip->ops->req_complete_val | 0-2,6,144 |
| PARAM_VALUE | 0 | chip->ops->request_locality | 0,687616332851662848,1972857114776301568,5522372633862455296,8809977530342211584 |
| PARAM_VALUE | 0 | chip->ops->send | 4096-ptr_max |
| PARAM_VALUE | 0 | chip->ops->status | 0,4096-ptr_max |
| PARAM_VALUE | 0 | chip->ops->update_durations | 0,2769123810796912640 |
| PARAM_VALUE | 0 | chip->ops->update_timeouts | 0,3872956085286137856 |
| PARAM_VALUE | 0 | chip->ops_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | chip->ops_sem.first_waiter->type | 0-1 |
| BUF_SIZE | 0 | chip | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | chip | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | chip->cc_attrs_tbl | (-1)-4194300 |
| BUF_SIZE | 0 | chip->dev.parent | (-1),1616 |
| BUF_SIZE | 0 | chip->ops | (-1),104 |
| CAPPED_DATA | 0 | chip->ops->req_complete_val | 1 |
| DATA_SOURCE | 0 | chip | $0 |
| STR_LEN | 0 | chip | (-1),9,12,15-17,21-22,24,26-30,33-37,39-40,42-43,50-51 |
| STR_LEN | 0 | chip | (-1),9,12,15-17,21-22,24,26-30,33-37,39-40,42-43,50-51 |
| BIT_INFO | 0 | chip->flags | 0x0,0xfffff7fb |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | chip->cdev.kobj.parent->kref.refcount.refs.counter | s32min-s32max |
| HOST_DATA | 0 | chip->cdev.kobj.parent->release.cpu | s32min-s32max |
| HOST_DATA | 0 | chip->cdev.kobj.parent->release.timer.expires | 0-u64max |
| HOST_DATA | 0 | chip->cdev.kobj.parent->release.timer.flags | 0-u32max |
| HOST_DATA | 0 | chip->cdev.kobj.parent->release.work.data.counter | s64min-s64max |
| HOST_DATA | 0 | chip->cdev.kobj.parent->state_add_uevent_sent | 0 |
| HOST_DATA | 0 | chip->cdev.kobj.parent->state_in_sysfs | 0 |
| HOST_DATA | 0 | chip->cdev.kobj.parent->state_initialized | 1 |
| HOST_DATA | 0 | chip->cdev.kobj.parent->state_remove_uevent_sent | 0 |
| HOST_DATA | 0 | chip->cdev.kobj.parent->uevent_suppress | 0-1 |
| HOST_DATA | 0 | chip->cdevs.kobj.parent->kref.refcount.refs.counter | s32min-s32max |
| HOST_DATA | 0 | chip->cdevs.kobj.parent->release.cpu | s32min-s32max |
| HOST_DATA | 0 | chip->cdevs.kobj.parent->release.timer.expires | 0-u64max |
| HOST_DATA | 0 | chip->cdevs.kobj.parent->release.timer.flags | 0-u32max |
| HOST_DATA | 0 | chip->cdevs.kobj.parent->release.work.data.counter | s64min-s64max |
| HOST_DATA | 0 | chip->cdevs.kobj.parent->state_add_uevent_sent | 0 |
| HOST_DATA | 0 | chip->cdevs.kobj.parent->state_in_sysfs | 0 |
| HOST_DATA | 0 | chip->cdevs.kobj.parent->state_initialized | 1 |
| HOST_DATA | 0 | chip->cdevs.kobj.parent->state_remove_uevent_sent | 0 |
| HOST_DATA | 0 | chip->cdevs.kobj.parent->uevent_suppress | 0-1 |
| HOST_DATA | 0 | chip->hwrng->priv | 0-u64max |
| HOST_DATA | 0 | *chip->log->bios_event_log | 0-255 |
| USER_DATA | 0 | chip->dev.driver_data->buffer->buf_size | 1-4087[u] |
| USER_DATA | 0 | chip->last_cc | 1-536936447[c] |
| USER_DATA | 0 | *chip->dev.driver_data->buffer | 0-255 |
| USER_DATA | 0 | *chip->dev.driver_data->buffer->buf | 0-255 |
| NO_OVERFLOW_SIMPLE | 0 | chip->ascii_log_seqops.chip->nr_commands | |
| NO_OVERFLOW_SIMPLE | 0 | chip->bin_log_seqops.chip->nr_commands | |
| NO_OVERFLOW_SIMPLE | 0 | chip->nr_commands | |
| UNITS | 0 | chip | unit_byte |
| HALF_LOCKED2 | &priv->buffer_mutex | ||
| HALF_LOCKED2 | 0 | &chip->ops_sem | |
| HALF_LOCKED2 | 0 | &chip->tpm_mutex |