Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/char/tpm/tpm-interface.c tpm_try_transmit() -> (struct tpm_class_ops)->send()

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
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 bufsiz 4096
PARAM_VALUE 3 count 1-4096
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
BUF_SIZE 1 buf (-1),4096
CAPPED_DATA 0 chip->ops->req_complete_val 1
DATA_SOURCE 0 chip $0
DATA_SOURCE 1 buf $1
DATA_SOURCE 2 bufsiz $2 [m]
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
CONTAINER 0 -24-3968+0 $(-1)
PARAM_COMPARE 2 bufsiz >= $3
PARAM_COMPARE 2 bufsiz >= $3
PARAM_COMPARE 3 count <= $2
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->last_cc 1-536936447[c]
USER_DATA 1 *buf 0-255
USER_DATA 3 count 1-4096[u]
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
USER_PTR 1 buf
HALF_LOCKED2 &priv->buffer_mutex
HALF_LOCKED2 0 &chip->ops_sem
HALF_LOCKED2 0 &chip->tpm_mutex