Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/char/tpm/tpm2-sessions.c tpm2_create_null_primary() -> tpm2_flush_context()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 chip->dev.devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 chip->dev.driver_data->locality_count 0-4294967295
PARAM_VALUE 0 chip->dev.driver_data->state 0-9223372036854775799
PARAM_VALUE 0 chip->ops->clk_enable 0,8238000303417774080
PARAM_VALUE 0 chip->ops->cmd_ready 0,2020414352265490432
PARAM_VALUE 0 chip->ops->flags 1
DATA_SOURCE 0 chip $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 chip->nr_commands

drivers/char/tpm/tpm2-sessions.c tpm2_end_auth_session() -> tpm2_flush_context()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->auth 4096-ptr_max
PARAM_VALUE 0 chip->dev.dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 0 chip->dev.dma_io_tlb_mem->debugfs 0-s64max
PARAM_VALUE 0 chip->dev.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 chip->dev.dma_io_tlb_mem->force_bounce 0-1
PARAM_VALUE 0 chip->dev.dma_io_tlb_mem->nslabs 0-s64max
PARAM_VALUE 0 chip->dev.dma_io_tlb_mem->phys_limit 0-s64max
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->debugfs 0-s64max
PARAM_VALUE 0 chip->devs.kobj.sd->attr.open->nr_mmapped 0-4294967295
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->go_idle 0,4096-ptr_max
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 0 *chip->auth->name_h 0-4294967295
BUF_SIZE 0 chip s32min-(-1),1-s32max
BUF_SIZE 0 chip s32min-(-1),1-s32max
DATA_SOURCE 0 chip $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 chip->cdev.kobj.parent->kref.refcount.refs.counter s32min-s32max
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
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->cdev.count
NO_OVERFLOW_SIMPLE 0 chip->cdevs.count
NO_OVERFLOW_SIMPLE 0 chip->nr_commands
UNITS 0 chip unit_byte
LOCK2 0 &chip->ops_sem
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &priv->buffer_mutex
HALF_LOCKED2 0 &chip->tpm_mutex
TYPE_LOCK (struct tpm_chip)->ops_sem

drivers/char/tpm/tpm2-sessions.c tpm2_load_null() -> tpm2_flush_context()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 chip->dev.class 0,4096-ptr_max
PARAM_VALUE 0 chip->dev.driver 0,4096-ptr_max
PARAM_VALUE 0 chip->dev.driver_data->locality_count_mutex->wait_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 chip->dev.driver_data->locality_count_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 chip->dev.driver_data->locality_count_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 chip->dev.driver_data->locality_count_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 chip->dev.driver_data->locality_count_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 chip->ops->cmd_ready 0,4096-ptr_max
PARAM_VALUE 0 chip->ops_sem.dep_map->name 0-255
PARAM_VALUE 0 chip->ops_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 chip->ops_sem.first_waiter->list.next 2212933610777083904
PARAM_VALUE 0 chip->ops_sem.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 0 chip->ops_sem.first_waiter->type 0-1
PARAM_VALUE 0 chip->tpm_mutex.dep_map->name 0-255
PARAM_VALUE 0 chip->tpm_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 chip->tpm_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 *chip->auth->name_h 0-4294967295
DATA_SOURCE 0 chip $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &chip->ops_sem
LOCK2 0 &chip->tpm_mutex
TYPE_LOCK (struct tpm_chip)->ops_sem
TYPE_LOCK (struct tpm_chip)->tpm_mutex

drivers/char/tpm/tpm2-sessions.c tpm2_parse_create_primary() -> tpm2_flush_context()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->dev.dma_io_tlb_mem->phys_limit 0-s64max
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 0 *chip->auth->name_h 0-4294967295
PARAM_VALUE 1 handle 0-255
DATA_SOURCE 0 chip $0
DATA_SOURCE 1 handle r tpm_buf_read_u32
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 chip->nr_commands
HALF_LOCKED2 0 &chip->ops_sem
HALF_LOCKED2 0 &chip->tpm_mutex

drivers/char/tpm/tpm2-sessions.c tpm2_start_auth_session() -> tpm2_flush_context()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->dev.driver_data->tpm_ready->wait.lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 chip->dev.driver_data->tpm_ready.done 0
PARAM_VALUE 0 chip->dev.driver_data->tpm_ready.wait.lock.owner (-1)
PARAM_VALUE 0 chip->dev.driver_data->tpm_ready.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 chip->ops->cmd_ready 0,4096-ptr_max
PARAM_VALUE 0 chip->ops_sem.dep_map->name 0-255
PARAM_VALUE 0 chip->ops_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 chip->ops_sem.first_waiter->list.next 2212933610777083904
PARAM_VALUE 0 chip->ops_sem.first_waiter->type 0-1
PARAM_VALUE 0 chip->tpm_mutex.dep_map->name 0-255
PARAM_VALUE 0 chip->tpm_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 chip->tpm_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 *chip->auth->name_h 0-4294967295
DATA_SOURCE 0 chip $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &chip->ops_sem
LOCK2 0 &chip->tpm_mutex
TYPE_LOCK (struct tpm_chip)->ops_sem
TYPE_LOCK (struct tpm_chip)->tpm_mutex

drivers/char/tpm/tpm2-sessions.c tpm2_start_auth_session() -> tpm2_flush_context()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->dev.driver_data->tpm_ready->wait.lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 chip->dev.driver_data->tpm_ready.done 0
PARAM_VALUE 0 chip->dev.driver_data->tpm_ready.wait.lock.owner (-1)
PARAM_VALUE 0 chip->dev.driver_data->tpm_ready.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 chip->ops->cmd_ready 0,4096-ptr_max
PARAM_VALUE 0 chip->ops_sem.dep_map->name 0-255
PARAM_VALUE 0 chip->ops_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 chip->ops_sem.first_waiter->list.next 2212933610777083904
PARAM_VALUE 0 chip->ops_sem.first_waiter->type 0-1
PARAM_VALUE 0 chip->tpm_mutex.dep_map->name 0-255
PARAM_VALUE 0 chip->tpm_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 chip->tpm_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 *chip->auth->name_h 0-4294967295
DATA_SOURCE 0 chip $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &chip->ops_sem
LOCK2 0 &chip->tpm_mutex
TYPE_LOCK (struct tpm_chip)->ops_sem
TYPE_LOCK (struct tpm_chip)->tpm_mutex

drivers/char/tpm/tpm2-sessions.c tpm_buf_check_hmac_response() -> tpm2_flush_context()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->auth 4096-ptr_max
PARAM_VALUE 0 chip->auth->attrs 1,33,65-66
PARAM_VALUE 0 chip->auth->handle 0-255
PARAM_VALUE 0 chip->auth->session 1-s32max
PARAM_VALUE 0 chip->dev.driver_data->tpm_ready->wait.lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 chip->dev.driver_data->tpm_ready.done 0
PARAM_VALUE 0 chip->dev.driver_data->tpm_ready.wait.lock.owner (-1)
PARAM_VALUE 0 chip->dev.driver_data->tpm_ready.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 chip->ops->cmd_ready 0,4096-ptr_max
PARAM_VALUE 0 chip->ops_sem.dep_map->name 0-255
PARAM_VALUE 0 chip->ops_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 chip->ops_sem.first_waiter->list.next 2212933610777083904
PARAM_VALUE 0 chip->ops_sem.first_waiter->type 0-1
PARAM_VALUE 0 chip->tpm_mutex.dep_map->name 0-255
PARAM_VALUE 0 chip->tpm_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 chip->tpm_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 *chip->auth->name_h 0-4294967295
PARAM_VALUE 0 *chip->auth->passphrase 0-255
PARAM_VALUE 0 *chip->auth->scratch 0-255
PARAM_VALUE 1 handle 0-255
DATA_SOURCE 0 chip $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &chip->ops_sem
LOCK2 0 &chip->tpm_mutex
TYPE_LOCK (struct tpm_chip)->ops_sem
TYPE_LOCK (struct tpm_chip)->tpm_mutex

security/keys/trusted-keys/trusted_tpm2.c tpm2_unseal_trusted() -> tpm2_flush_context()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->auth->aes_key.k->rndkeys 0-255
PARAM_VALUE 0 chip->auth->aes_key.nrounds 10,12,14
PARAM_VALUE 0 chip->auth->attrs 1,33,65-66
PARAM_VALUE 0 chip->auth->handle 0-255
PARAM_VALUE 0 chip->auth->ordinal 0-4294967295
PARAM_VALUE 0 chip->auth->passphrase_len s32min-20
PARAM_VALUE 0 chip->auth->session 1-s32max
PARAM_VALUE 0 chip->dev.driver_data->locality_count 0-4294967295
PARAM_VALUE 0 chip->dev.driver_data->state 0-9223372036854775799
PARAM_VALUE 0 chip->dev.driver_data->tpm_ready->wait.lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 chip->dev.driver_data->tpm_ready.done 0
PARAM_VALUE 0 chip->dev.driver_data->tpm_ready.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 chip->dev.driver_data->tpm_ready.wait.lock.owner (-1)
PARAM_VALUE 0 chip->dev.driver_data->tpm_ready.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 chip->dev.kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 chip->dev.kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 chip->ops->cmd_ready 0,4096-ptr_max
PARAM_VALUE 0 chip->ops->go_idle 0,4096-ptr_max
PARAM_VALUE 0 chip->ops_sem.dep_map->name 0-255
PARAM_VALUE 0 chip->ops_sem.first_waiter->handoff_set 1
PARAM_VALUE 0 chip->ops_sem.first_waiter->list.next 2212933610777083904
PARAM_VALUE 0 chip->ops_sem.first_waiter->type 0-1
PARAM_VALUE 0 chip->tpm_mutex.dep_map->name 0-255
PARAM_VALUE 0 chip->tpm_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 chip->tpm_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 chip->tpm_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 chip->tpm_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 chip->tpm_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 chip->tpm_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 *chip->auth->name_h 0-4294967295
PARAM_VALUE 0 *chip->auth->our_nonce 0-255
PARAM_VALUE 0 *chip->auth->passphrase 0-255
PARAM_VALUE 0 *chip->auth->scratch 0-255
PARAM_VALUE 0 *chip->auth->tpm_nonce 0-255
DATA_SOURCE 0 chip $0
NOCHECK_CALL
LOCK2 0 &chip->ops_sem
LOCK2 0 &chip->tpm_mutex
TYPE_LOCK (struct tpm_chip)->ops_sem
TYPE_LOCK (struct tpm_chip)->tpm_mutex

drivers/char/tpm/tpm2-space.c tpm2_flush_sessions() -> tpm2_flush_context()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
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 0 chip->tpm_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 handle 1-u32max
DATA_SOURCE 0 chip $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &chip->ops_sem
LOCK2 0 &chip->tpm_mutex
HALF_LOCKED2 &priv->buffer_mutex
TYPE_LOCK (struct tpm_chip)->ops_sem
TYPE_LOCK (struct tpm_chip)->tpm_mutex

drivers/char/tpm/tpm2-space.c tpm2_flush_space() -> tpm2_flush_context()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->ops_sem.dep_map->name 0-255
PARAM_VALUE 0 chip->ops_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 chip->ops_sem.first_waiter->list.next 2212933610777083904
PARAM_VALUE 0 chip->ops_sem.first_waiter->type 0-1
PARAM_VALUE 0 chip->tpm_mutex.dep_map->name 0-255
PARAM_VALUE 0 chip->tpm_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 chip->tpm_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 chip->work_space.context_tbl 4096-ptr_max
PARAM_VALUE 1 handle 1-u32max
DATA_SOURCE 0 chip $0
NOCHECK_CALL
LOCK2 &priv->buffer_mutex
LOCK2 0 &chip->ops_sem
LOCK2 0 &chip->tpm_mutex
TYPE_LOCK (struct file_priv)->buffer_mutex
TYPE_LOCK (struct tpm_chip)->ops_sem
TYPE_LOCK (struct tpm_chip)->tpm_mutex

drivers/char/tpm/tpm2-space.c tpm2_map_response_header() -> tpm2_flush_context()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->cc_attrs_tbl 4096-ptr_max
PARAM_VALUE 0 chip->dev.driver_data->locality_count 0-4294967295
PARAM_VALUE 0 chip->dev.driver_data->locality_count_mutex->wait_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 chip->dev.driver_data->locality_count_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 chip->dev.driver_data->locality_count_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 chip->dev.driver_data->locality_count_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 chip->dev.driver_data->locality_count_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 chip->dev.driver_data->state 0-9223372036854775799
PARAM_VALUE 0 chip->nr_commands 1-u32max
PARAM_VALUE 0 chip->ops_sem.dep_map->name 0-255
PARAM_VALUE 0 chip->ops_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 chip->ops_sem.first_waiter->list.next 2212933610777083904
PARAM_VALUE 0 chip->ops_sem.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 0 chip->ops_sem.first_waiter->type 0-1
PARAM_VALUE 0 chip->tpm_mutex.dep_map->name 0-255
PARAM_VALUE 0 chip->tpm_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 chip->tpm_mutex.first_waiter->list.prev->prev 5159360019465732096
CAPPED_DATA 0 chip->nr_commands 1
DATA_SOURCE 0 chip $0
DATA_SOURCE 1 handle r __be32_to_cpup
NOCHECK_CALL
LOCK2 &priv->buffer_mutex
LOCK2 0 &chip->ops_sem
LOCK2 0 &chip->tpm_mutex
TYPE_LOCK (struct file_priv)->buffer_mutex
TYPE_LOCK (struct tpm_chip)->ops_sem
TYPE_LOCK (struct tpm_chip)->tpm_mutex

drivers/char/tpm/tpm2-space.c tpm2_save_space() -> tpm2_flush_context()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->dev.driver_data->locality_count 0-4294967295
PARAM_VALUE 0 chip->dev.driver_data->locality_count_mutex->wait_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 chip->dev.driver_data->locality_count_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 chip->dev.driver_data->locality_count_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 chip->dev.driver_data->locality_count_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 chip->dev.driver_data->locality_count_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 chip->dev.driver_data->state 0-9223372036854775799
PARAM_VALUE 0 chip->ops_sem.dep_map->name 0-255
PARAM_VALUE 0 chip->ops_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 chip->ops_sem.first_waiter->list.next 2212933610777083904
PARAM_VALUE 0 chip->ops_sem.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 0 chip->ops_sem.first_waiter->type 0-1
PARAM_VALUE 0 chip->tpm_mutex.dep_map->name 0-255
PARAM_VALUE 0 chip->tpm_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 chip->tpm_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 chip->work_space.context_tbl 4096-ptr_max
PARAM_VALUE 1 handle 1-u32max
DATA_SOURCE 0 chip $0
NOCHECK_CALL
LOCK2 &priv->buffer_mutex
LOCK2 0 &chip->ops_sem
LOCK2 0 &chip->tpm_mutex
TYPE_LOCK (struct file_priv)->buffer_mutex
TYPE_LOCK (struct tpm_chip)->ops_sem
TYPE_LOCK (struct tpm_chip)->tpm_mutex