Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/char/tpm/xen-tpmfront.c tpmfront_probe() -> ring_free()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->chip 4096-ptr_max
PARAM_VALUE 0 priv->chip->cdev.count 0
PARAM_VALUE 0 priv->chip->cdev.dev 0
PARAM_VALUE 0 priv->chip->cdev.kobj.kref.refcount.refs.counter 1
PARAM_VALUE 0 priv->chip->cdev.kobj.kset 0
PARAM_VALUE 0 priv->chip->cdev.kobj.ktype 1499647686170447872
PARAM_VALUE 0 priv->chip->cdev.kobj.name 0
PARAM_VALUE 0 priv->chip->cdev.kobj.parent 0
PARAM_VALUE 0 priv->chip->cdev.kobj.release.cpu 0
PARAM_VALUE 0 priv->chip->cdev.kobj.release.work.func 0
PARAM_VALUE 0 priv->chip->cdev.kobj.release.wq 0
PARAM_VALUE 0 priv->chip->cdev.kobj.sd 0
PARAM_VALUE 0 priv->chip->cdev.kobj.state_in_sysfs 0
PARAM_VALUE 0 priv->chip->cdev.kobj.uevent_suppress 0
PARAM_VALUE 0 priv->chip->cdev.list.next 4096-ptr_max
PARAM_VALUE 0 priv->chip->cdev.list.prev 4096-ptr_max
PARAM_VALUE 0 priv->chip->cdev.ops 6127033536071868416
PARAM_VALUE 0 priv->chip->cdev.owner 0
PARAM_VALUE 0 priv->chip->dev.class 6166208466010873856
PARAM_VALUE 0 priv->chip->dev.devres_head.next 4096-ptr_max
PARAM_VALUE 0 priv->chip->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 priv->chip->dev.dma_io_tlb_mem 1473117533515866112
PARAM_VALUE 0 priv->chip->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 priv->chip->dev.dma_io_tlb_pools.prev 4096-ptr_max
PARAM_VALUE 0 priv->chip->dev.dma_pools.next 4096-ptr_max
PARAM_VALUE 0 priv->chip->dev.dma_pools.prev 4096-ptr_max
PARAM_VALUE 0 priv->chip->dev.dma_uses_io_tlb 0
PARAM_VALUE 0 priv->chip->dev.kobj.kref.refcount.refs.counter 1
PARAM_VALUE 0 priv->chip->dev.kobj.kset 0,4096-ptr_max
PARAM_VALUE 0 priv->chip->dev.kobj.ktype 5399513539053756416
PARAM_VALUE 0 priv->chip->dev.kobj.name 1-u64max
PARAM_VALUE 0 priv->chip->dev.kobj.state_in_sysfs 0
PARAM_VALUE 0 priv->chip->dev.kobj.state_initialized 1
PARAM_VALUE 0 priv->chip->dev.links.consumers.next 4096-ptr_max
PARAM_VALUE 0 priv->chip->dev.links.consumers.prev 4096-ptr_max
PARAM_VALUE 0 priv->chip->dev.links.defer_sync.next 4096-ptr_max
PARAM_VALUE 0 priv->chip->dev.links.defer_sync.prev 4096-ptr_max
PARAM_VALUE 0 priv->chip->dev.links.status 0
PARAM_VALUE 0 priv->chip->dev.links.suppliers.next 4096-ptr_max
PARAM_VALUE 0 priv->chip->dev.links.suppliers.prev 4096-ptr_max
PARAM_VALUE 0 priv->chip->dev.numa_node (-1)
PARAM_VALUE 0 priv->chip->dev.parent 4096-ptr_max
PARAM_VALUE 0 priv->chip->dev.power.deferred_resume 0
PARAM_VALUE 0 priv->chip->dev.power.disable_depth 1
PARAM_VALUE 0 priv->chip->dev.power.early_init 1
PARAM_VALUE 0 priv->chip->dev.power.entry.next 4096-ptr_max
PARAM_VALUE 0 priv->chip->dev.power.entry.prev 4096-ptr_max
PARAM_VALUE 0 priv->chip->dev.power.idle_notification 0
PARAM_VALUE 0 priv->chip->dev.power.ignore_children 0
PARAM_VALUE 0 priv->chip->dev.power.is_late_suspended 0
PARAM_VALUE 0 priv->chip->dev.power.is_prepared 0
PARAM_VALUE 0 priv->chip->dev.power.is_suspended 0
PARAM_VALUE 0 priv->chip->dev.power.last_status (-1)
PARAM_VALUE 0 priv->chip->dev.power.qos 0
PARAM_VALUE 0 priv->chip->dev.power.request 0
PARAM_VALUE 0 priv->chip->dev.power.request_pending 0
PARAM_VALUE 0 priv->chip->dev.power.runtime_auto 1
PARAM_VALUE 0 priv->chip->dev.power.runtime_error 0
PARAM_VALUE 0 priv->chip->dev.power.runtime_status 2
PARAM_VALUE 0 priv->chip->dev.power.timer_expires 0
PARAM_VALUE 0 priv->chip->dev.power.wait_queue.head.next 4096-ptr_max
PARAM_VALUE 0 priv->chip->dev.power.wait_queue.head.prev 4096-ptr_max
PARAM_VALUE 0 priv->chip->dev.release 3169904972951449600
PARAM_VALUE 0 priv->chip->dev_num 0-s32max
PARAM_VALUE 0 priv->chip->locality (-1)
PARAM_VALUE 0 priv->chip->ops 434909878719672320
PARAM_VALUE 0 priv->chip->ops_sem.count.counter 0
PARAM_VALUE 0 priv->chip->ops_sem.first_waiter 0
PARAM_VALUE 0 priv->chip->ops_sem.magic 4096-ptr_max
PARAM_VALUE 0 priv->chip->ops_sem.osq.tail.counter 0
PARAM_VALUE 0 priv->chip->ops_sem.owner.counter 0
PARAM_VALUE 0 priv->chip->tpm_mutex.first_waiter 0
PARAM_VALUE 0 priv->chip->tpm_mutex.magic 4096-ptr_max
PARAM_VALUE 0 priv->chip->tpm_mutex.osq.tail.counter 0
PARAM_VALUE 0 priv->chip->tpm_mutex.owner.counter 0
PARAM_VALUE 0 priv->chip->work_space.buf_size 16384
PARAM_VALUE 0 priv->chip->work_space.context_buf 4096-ptr_max
PARAM_VALUE 0 priv->chip->work_space.session_buf 4096-ptr_max
PARAM_VALUE 0 priv->read_queue.head.next 4096-ptr_max
PARAM_VALUE 0 priv->read_queue.head.next->next 4096-ptr_max
PARAM_VALUE 0 priv->read_queue.head.prev 4096-ptr_max
PARAM_VALUE 0 priv->read_queue.head.prev->next 4096-ptr_max
PARAM_VALUE 0 priv->read_queue.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 priv->shr 0,18379471554275704832,18446612682070032384
BUF_SIZE 0 priv 128
DATA_SOURCE 0 priv r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->reclaim_sem

drivers/char/tpm/xen-tpmfront.c tpmfront_remove() -> ring_free()

Type Parameter Key Value
BUF_SIZE 0 priv s32min-(-2),1-s32max
BUF_SIZE 0 priv s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 priv unit_byte
HALF_LOCKED2 &dev->reclaim_sem