Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/char/tpm/tpm_vtpm_proxy.c vtpm_proxy_delete_device() -> vtpm_proxy_fops_undo_open()

Type Parameter Key Value
PARAM_VALUE 0 proxy_dev 4096-ptr_max
PARAM_VALUE 0 proxy_dev->buf_lock.dep_map->name 0-255
PARAM_VALUE 0 proxy_dev->buf_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 proxy_dev->buf_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 proxy_dev->buf_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 proxy_dev->buf_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 proxy_dev->state 0,2-9223372036854775806
PARAM_VALUE 0 proxy_dev->work.lockdep_map->name 0-255
BUF_SIZE 0 proxy_dev (-1),26
BUF_SIZE 0 proxy_dev (-1),26
DATA_SOURCE 0 proxy_dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/char/tpm/tpm_vtpm_proxy.c vtpm_proxy_work() -> vtpm_proxy_fops_undo_open()

Type Parameter Key Value
PARAM_VALUE 0 proxy_dev 4096-ptr_max
PARAM_VALUE 0 proxy_dev->chip 4096-ptr_max
PARAM_VALUE 0 proxy_dev->chip->dev.driver_data->state 0-9223372036854775799
PARAM_VALUE 0 proxy_dev->chip->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 proxy_dev->chip->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 proxy_dev->chip->devs.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 proxy_dev->chip->devs.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 proxy_dev->chip->ops->flags 0-1
PARAM_VALUE 0 proxy_dev->chip->ops_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 proxy_dev->chip->ops_sem.first_waiter->type 0-1
NOCHECK_CALL
HOST_DATA 0 proxy_dev->chip->hwrng->priv 0-u64max
HOST_DATA 0 proxy_dev->chip->hwrng.priv->failure_cnt 0
HOST_DATA 0 proxy_dev->chip->hwrng.priv->failure_timer.expires s64min-s64max
HOST_DATA 0 proxy_dev->chip->hwrng.priv->failure_timer.flags 0-4194302
HOST_DATA 0 proxy_dev->chip->hwrng.priv->failure_ts s64min-s64max
HOST_DATA 0 proxy_dev->chip->hwrng.priv->irq 0-4294967295
HOST_DATA 0 proxy_dev->chip->hwrng.priv->jrdev->driver_data->inpring_avail 0-4294967295
HOST_DATA 0 proxy_dev->chip->hwrng.priv->revision 0-4294967295
HOST_DATA 0 *proxy_dev->chip->log->bios_event_log 0-255
NO_OVERFLOW_SIMPLE 0 proxy_dev->chip->cdev.count
NO_OVERFLOW_SIMPLE 0 proxy_dev->chip->cdevs.count
HALF_LOCKED2 &pool->lock

drivers/char/tpm/tpm_vtpm_proxy.c vtpm_proxy_work_stop() -> vtpm_proxy_fops_undo_open()

Type Parameter Key Value
BUF_SIZE 0 proxy_dev (-1),26
BUF_SIZE 0 proxy_dev (-1),26
DATA_SOURCE 0 proxy_dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL