sdtx_device_put identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/platform/surface/surface_dtx.c, line 203 (as a function)

Referenced in 1 files:

drivers/platform/surface/surface_dtx.c

Smatch caller information:

drivers/platform/surface/surface_dtx.c sdtx_device_create() -> sdtx_device_put()

Type	Parameter	Key	Value
PARAM_VALUE	0	ddev	4096-ptr_max
PARAM_VALUE	0	ddev->client_list.next	4096-ptr_max
PARAM_VALUE	0	ddev->client_list.next->next	4096-ptr_max
PARAM_VALUE	0	ddev->client_list.prev	4096-ptr_max
PARAM_VALUE	0	ddev->client_list.prev->next	4096-ptr_max
PARAM_VALUE	0	ddev->client_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	ddev->client_lock.count.counter	0
PARAM_VALUE	0	ddev->client_lock.dep_map->name	0-255
PARAM_VALUE	0	ddev->client_lock.first_waiter	0
PARAM_VALUE	0	ddev->client_lock.magic	4096-ptr_max
PARAM_VALUE	0	ddev->client_lock.osq.tail.counter	0
PARAM_VALUE	0	ddev->client_lock.owner.counter	0
PARAM_VALUE	0	ddev->kref.refcount.refs.counter	1
PARAM_VALUE	0	ddev->lock.count.counter	0
PARAM_VALUE	0	ddev->lock.dep_map->name	0-255
PARAM_VALUE	0	ddev->lock.first_waiter	0
PARAM_VALUE	0	ddev->lock.magic	4096-ptr_max
PARAM_VALUE	0	ddev->lock.osq.tail.counter	0
PARAM_VALUE	0	ddev->lock.owner.counter	0
PARAM_VALUE	0	ddev->mdev.fops	2933036098529095680
PARAM_VALUE	0	ddev->mdev.fops->check_flags	0
PARAM_VALUE	0	ddev->mdev.fops->compat_ioctl	2968992961843011584
PARAM_VALUE	0	ddev->mdev.fops->copy_file_range	0
PARAM_VALUE	0	ddev->mdev.fops->fadvise	0
PARAM_VALUE	0	ddev->mdev.fops->fallocate	0
PARAM_VALUE	0	ddev->mdev.fops->fasync	5841705104617844736
PARAM_VALUE	0	ddev->mdev.fops->flock	0
PARAM_VALUE	0	ddev->mdev.fops->flush	0
PARAM_VALUE	0	ddev->mdev.fops->fop_flags	0
PARAM_VALUE	0	ddev->mdev.fops->fsync	0
PARAM_VALUE	0	ddev->mdev.fops->get_unmapped_area	0
PARAM_VALUE	0	ddev->mdev.fops->iopoll	0
PARAM_VALUE	0	ddev->mdev.fops->iterate_shared	0
PARAM_VALUE	0	ddev->mdev.fops->llseek	0
PARAM_VALUE	0	ddev->mdev.fops->lock	0
PARAM_VALUE	0	ddev->mdev.fops->mmap	0
PARAM_VALUE	0	ddev->mdev.fops->mmap_prepare	0
PARAM_VALUE	0	ddev->mdev.fops->open	1847824866864734208
PARAM_VALUE	0	ddev->mdev.fops->owner	0
PARAM_VALUE	0	ddev->mdev.fops->poll	8366569153298079744
PARAM_VALUE	0	ddev->mdev.fops->read	1179223596739321856
PARAM_VALUE	0	ddev->mdev.fops->read_iter	0
PARAM_VALUE	0	ddev->mdev.fops->release	6989460061557702656
PARAM_VALUE	0	ddev->mdev.fops->remap_file_range	0
PARAM_VALUE	0	ddev->mdev.fops->setlease	0
PARAM_VALUE	0	ddev->mdev.fops->show_fdinfo	0
PARAM_VALUE	0	ddev->mdev.fops->splice_eof	0
PARAM_VALUE	0	ddev->mdev.fops->splice_read	0
PARAM_VALUE	0	ddev->mdev.fops->splice_write	0
PARAM_VALUE	0	ddev->mdev.fops->unlocked_ioctl	2968992961843011584
PARAM_VALUE	0	ddev->mdev.fops->uring_cmd	0
PARAM_VALUE	0	ddev->mdev.fops->uring_cmd_iopoll	0
PARAM_VALUE	0	ddev->mdev.fops->write	0
PARAM_VALUE	0	ddev->mdev.fops->write_iter	0
PARAM_VALUE	0	ddev->mdev.minor	255
PARAM_VALUE	0	ddev->mdev.name	4628536260949311488
PARAM_VALUE	0	ddev->mdev.nodename	3210895807413743616
PARAM_VALUE	0	ddev->notif.base.fn	9084560582097149952
PARAM_VALUE	0	ddev->notif.base.priority	1
PARAM_VALUE	0	ddev->notif.event.flags	1
PARAM_VALUE	0	ddev->notif.event.id.instance	0
PARAM_VALUE	0	ddev->notif.event.id.target_category	17
PARAM_VALUE	0	ddev->notif.event.mask	0
PARAM_VALUE	0	ddev->waitq.head.next	4096-ptr_max
PARAM_VALUE	0	ddev->waitq.head.next->next	4096-ptr_max
PARAM_VALUE	0	ddev->waitq.head.prev	4096-ptr_max
PARAM_VALUE	0	ddev->waitq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	ddev->waitq.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	ddev->write_lock.dep_map->name	0-255
PARAM_VALUE	0	ddev->write_lock.first_waiter	0
PARAM_VALUE	0	ddev->write_lock.magic	4096-ptr_max
PARAM_VALUE	0	ddev->write_lock.osq.tail.counter	0
PARAM_VALUE	0	ddev->write_lock.owner.counter	0
BUF_SIZE	0	ddev	1128
DATA_SOURCE	0	ddev	r _kzalloc_noprof
TERMINATED	0	ddev->mdev.name	1
TERMINATED	0	ddev->mdev.nodename	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/platform/surface/surface_dtx.c sdtx_device_destroy() -> sdtx_device_put()

Type	Parameter	Key	Value
PARAM_VALUE	0	ddev	4096-ptr_max
PARAM_VALUE	0	ddev->client_lock.dep_map->name	0-255
PARAM_VALUE	0	ddev->client_lock.first_waiter->handoff_set	1
PARAM_VALUE	0	ddev->client_lock.first_waiter->list.next	2624917664208203776
PARAM_VALUE	0	ddev->client_lock.first_waiter->list.prev	2624917664208203776
PARAM_VALUE	0	ddev->client_lock.first_waiter->type	0-1
PARAM_VALUE	0	ddev->client_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	ddev->client_lock.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	ddev->client_lock.wait_lock.owner	(-1)
PARAM_VALUE	0	ddev->client_lock.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	ddev->ctrl	0
PARAM_VALUE	0	ddev->dev	0
PARAM_VALUE	0	ddev->lock.dep_map->name	0-255
PARAM_VALUE	0	ddev->lock.first_waiter->handoff_set	1
PARAM_VALUE	0	ddev->lock.first_waiter->list.next	2624917664208203776
PARAM_VALUE	0	ddev->lock.first_waiter->list.prev	2624917664208203776
PARAM_VALUE	0	ddev->lock.first_waiter->type	0-1
PARAM_VALUE	0	ddev->lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	ddev->lock.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	ddev->lock.wait_lock.owner	(-1)
PARAM_VALUE	0	ddev->lock.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	ddev->mdev.list.next->prev	4096-ptr_max
PARAM_VALUE	0	ddev->mdev.list.prev->next	4096-ptr_max
PARAM_VALUE	0	ddev->mdev.minor	s32min-255
PARAM_VALUE	0	ddev->mode_switch	4096-ptr_max
PARAM_VALUE	0	ddev->mode_switch->dev->driver_data->cis_virt	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	ddev->mode_switch->dev->driver_data->fake_cis	0-255
PARAM_VALUE	0	ddev->mode_switch->dev->kobj.parent->kset->kobj.release.timer->entry->next->pprev	1-u64max
PARAM_VALUE	0	ddev->mode_switch->dev->kobj.release.timer->entry->next->pprev	1-u64max
PARAM_VALUE	0	ddev->mode_switch->dev->kobj.release.timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	ddev->mode_switch->dev->p->knode_bus.n_klist	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	ddev->mode_switch->dev->p->knode_class.n_klist	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	ddev->mode_switch->dev->p->knode_driver.n_klist	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	ddev->mode_switch->dev->p->knode_parent.n_klist	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	ddev->mode_switch->dev.devres_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->battery_dev->id	(-2)
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->callback->add	5235430000054906880
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->callback->early_resume	6956900869090054144
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->callback->remove	1719268733136482304
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->callback->requery	4713442613417914368
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->callback->resume	5068206944467017728
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->callback->suspend	2738892915008757760
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->callback->validate	4934365872137547776
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->cdev->kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->cdev->kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->cdev->kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->cdev->kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->cis_mem.card_start	0-4294967295
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->cis_mem.flags	0,2-254
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->d_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->detaching.counter	s32min-s32max
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->dev.kobj.kref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->dev.kobj.release.cpu	s32min-s32max
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->dev.kobj.release.timer.flags	0-4294967295
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->dev.kobj.release.work.flags	0-4294967295
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->dev.kobj.release.work.is_hard	0-1
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->dev.kobj.release.work.is_lazy	0-1
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->dev.kobj.release.work.is_queued	0-1
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->dev.kobj.release.work.is_soft	0-1
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->dev.parent->kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->dev.parent->kobj.release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->dev.parent->kobj.release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->device_count	0-1
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->functions	0-u16max
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->ops_mutex.dep_map->name	0-255
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->ops_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->ops_mutex.first_waiter->list.prev->prev	0,5159360019465732096
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->ops_mutex.first_waiter->magic	5159360019465732096
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->ops_mutex.first_waiter->task->blocked_on	(-1)-0
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->ops_mutex.osq.tail.counter	s32min-s32max
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->pcmcia_pfc	0-255
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->present.counter	s32min-s32max
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->resource_setup_done	0-255
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->sfd_lock.dep_map->name	0-255
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->sfd_lock.raw_lock.cnts.counter	s32min-s32max
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->skt_mutex.dep_map->name	0-255
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->skt_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->skt_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->skt_mutex.first_waiter->task->blocked_on	(-1)-0
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->skt_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->state	0-4294967295
PARAM_VALUE	0	ddev->mode_switch->dev.driver_data->touch_dev->id	(-2)
PARAM_VALUE	0	ddev->mode_switch->dev.groups	0,4096-ptr_max
PARAM_VALUE	0	ddev->mode_switch->dev.iommu_group->mutex->first_waiter->task->blocked_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	ddev->mode_switch->dev.iommu_group->mutex->wait_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	ddev->mode_switch->dev.iommu_group->owner_cnt	0-4294967295
PARAM_VALUE	0	ddev->mode_switch->dev.kobj.parent	0
PARAM_VALUE	0	ddev->mode_switch->dev.kobj.parent->kset->kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	ddev->mode_switch->dev.kobj.parent->kset->kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	ddev->mode_switch->dev.kobj.parent->kset->kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	ddev->mode_switch->dev.kobj.parent->kset->kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	ddev->mode_switch->dev.kobj.parent->kset->kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	ddev->mode_switch->dev.kobj.parent->kset->list_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	ddev->mode_switch->dev.kobj.parent->release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	ddev->mode_switch->dev.kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	ddev->mode_switch->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	ddev->mode_switch->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	ddev->mode_switch->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	ddev->mode_switch->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	ddev->mode_switch->dev.kobj.release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	ddev->mode_switch->dev.kobj.release.work.flags	0-4294967295
PARAM_VALUE	0	ddev->mode_switch->dev.kobj.release.work.is_hard	0-1
PARAM_VALUE	0	ddev->mode_switch->dev.kobj.release.work.is_lazy	0-1
PARAM_VALUE	0	ddev->mode_switch->dev.kobj.release.work.is_queued	0-1
PARAM_VALUE	0	ddev->mode_switch->dev.kobj.release.work.is_soft	0-1
PARAM_VALUE	0	ddev->mode_switch->dev.kobj.sd	0
PARAM_VALUE	0	ddev->mode_switch->dev.links.defer_sync.next	4096-ptr_max
PARAM_VALUE	0	ddev->mode_switch->dev.links.defer_sync.next->next	4096-ptr_max
PARAM_VALUE	0	ddev->mode_switch->dev.links.defer_sync.next->prev	4096-ptr_max
PARAM_VALUE	0	ddev->mode_switch->dev.links.defer_sync.prev	4096-ptr_max
PARAM_VALUE	0	ddev->mode_switch->dev.links.defer_sync.prev->next	4096-ptr_max
PARAM_VALUE	0	ddev->mode_switch->dev.links.defer_sync.prev->prev	4096-ptr_max
PARAM_VALUE	0	ddev->mode_switch->dev.links.status	0,3
PARAM_VALUE	0	ddev->mode_switch->dev.mutex->first_waiter->task->blocked_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	ddev->mode_switch->dev.p	4096-ptr_max
PARAM_VALUE	0	ddev->mode_switch->dev.p->dead	0-1
PARAM_VALUE	0	ddev->mode_switch->dev.p->knode_bus.n_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	ddev->mode_switch->dev.p->knode_class->n_klist	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	ddev->mode_switch->dev.p->knode_class.n_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	ddev->mode_switch->dev.p->knode_driver.n_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	ddev->mode_switch->dev.p->knode_parent->n_klist	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	ddev->mode_switch->dev.p->knode_parent.n_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	ddev->mode_switch->dev.parent->kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	ddev->mode_switch->dev.parent->kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	ddev->mode_switch->dev.parent->kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	ddev->mode_switch->dev.parent->kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	ddev->mode_switch->dev.parent->kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	ddev->mode_switch->dev.parent->kobj.release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	ddev->mode_switch->dev.parent->kobj.release.work.flags	0-4294967295
PARAM_VALUE	0	ddev->mode_switch->dev.parent->kobj.release.work.is_hard	0-1
PARAM_VALUE	0	ddev->mode_switch->dev.parent->kobj.release.work.is_lazy	0-1
PARAM_VALUE	0	ddev->mode_switch->dev.parent->kobj.release.work.is_queued	0-1
PARAM_VALUE	0	ddev->mode_switch->dev.parent->kobj.release.work.is_soft	0-1
PARAM_VALUE	0	ddev->mode_switch->dev.parent->kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	ddev->mode_switch->dev.parent->kobj.release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	ddev->mode_switch->dev.parent->kobj.release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	ddev->mode_switch->dev.pm_domain	0,4096-ptr_max
PARAM_VALUE	0	ddev->mode_switch->dev.power.completion.done	u32max
PARAM_VALUE	0	ddev->mode_switch->dev.power.entry.next->next	4096-ptr_max
PARAM_VALUE	0	ddev->mode_switch->dev.power.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	ddev->mode_switch->dev.power.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	ddev->mode_switch->dev.power.entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	ddev->mode_switch->dev.power.irq_safe	0
PARAM_VALUE	0	ddev->mode_switch->dev.power.qos->freq.max_freq.default_value	s32max
PARAM_VALUE	0	ddev->mode_switch->dev.power.qos->freq.max_freq.no_constraint_value	s32max
PARAM_VALUE	0	ddev->mode_switch->dev.power.qos->freq.max_freq.target_value	s32max
PARAM_VALUE	0	ddev->mode_switch->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	ddev->mode_switch->ff	0,4096-ptr_max
PARAM_VALUE	0	ddev->mode_switch->ff->private->timer.flags	0-4194302
PARAM_VALUE	0	ddev->mode_switch->going_away	1
PARAM_VALUE	0	ddev->mode_switch->grab->private->inactivity_work.cpu	s32min-s32max
PARAM_VALUE	0	ddev->mode_switch->grab->private->inactivity_work.timer.flags	0-4294967295
PARAM_VALUE	0	ddev->mode_switch->mt->slot	0-2147483646
PARAM_VALUE	0	ddev->mode_switch->node.next	4096-ptr_max
PARAM_VALUE	0	ddev->mode_switch->node.next->next	4096-ptr_max
PARAM_VALUE	0	ddev->mode_switch->node.next->prev	4096-ptr_max
PARAM_VALUE	0	ddev->mode_switch->node.prev	4096-ptr_max
PARAM_VALUE	0	ddev->mode_switch->node.prev->next	4096-ptr_max
PARAM_VALUE	0	ddev->mode_switch->node.prev->prev	4096-ptr_max
PARAM_VALUE	0	ddev->mode_switch->num_vals	0-4294967294
PARAM_VALUE	0	ddev->mode_switch->timer.entry.pprev	0
PARAM_VALUE	0	ddev->mode_switch->timer.flags	0-4194302
PARAM_VALUE	0	ddev->mode_switch->timer.function	0
PARAM_VALUE	0	ddev->mode_work.work.lockdep_map->name	0-255
PARAM_VALUE	0	ddev->notif.base.node.next->prev	4096-ptr_max
PARAM_VALUE	0	ddev->state_work.work.lockdep_map->name	0-255
PARAM_VALUE	0	ddev->waitq.lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	*ddev->mode_switch->rep	s32min-s32max
BUF_SIZE	0	ddev	s32min-(-2),1-s32max
BUF_SIZE	0	ddev	s32min-(-2),1-s32max
CAPPED_DATA	0	ddev->mode_switch->dev.physical_location	1
CAPPED_DATA	0	&ddev->client_list	1
CAPPED_DATA	0	&ddev->client_lock	1
CAPPED_DATA	0	&ddev->lock	1
DATA_SOURCE	0	ddev	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&_dev->mutex
HALF_LOCKED2		&dev->mutex
TYPE_LOCK		(struct device)->mutex

drivers/platform/surface/surface_dtx.c surface_dtx_open() -> sdtx_device_put()

Type	Parameter	Key	Value
PARAM_VALUE	0	ddev	4096-ptr_max
DATA_SOURCE	0	ddev	r sdtx_device_get
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/platform/surface/surface_dtx.c surface_dtx_release() -> sdtx_device_put()

Type	Parameter	Key	Value
PARAM_VALUE	0	ddev	4096-ptr_max
PARAM_VALUE	0	ddev->client_lock.dep_map->name	0-255
PARAM_VALUE	0	ddev->client_lock.first_waiter->handoff_set	1
PARAM_VALUE	0	ddev->client_lock.first_waiter->list.next	2624917664208203776
PARAM_VALUE	0	ddev->client_lock.first_waiter->list.prev	2624917664208203776
PARAM_VALUE	0	ddev->client_lock.first_waiter->type	0-1
PARAM_VALUE	0	ddev->client_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	ddev->client_lock.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	ddev->client_lock.wait_lock.owner	(-1)
PARAM_VALUE	0	ddev->client_lock.wait_lock.owner_cpu	u32max
CAPPED_DATA	0	&ddev->client_lock	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL