write_lid_handling identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/platform/x86/samsung-laptop.c, line 948 (as a function)

Referenced in 1 files:

drivers/platform/x86/samsung-laptop.c

Smatch caller information:

drivers/platform/x86/samsung-laptop.c samsung_lid_handling_exit() -> write_lid_handling()

Type	Parameter	Key	Value
PARAM_VALUE	0	samsung	4096-ptr_max
PARAM_VALUE	0	samsung->debug.root	0,4096-u64max
PARAM_VALUE	0	samsung->debug.root->d_inode->i_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	samsung->debug.root->d_sb->s_fs_info->lookup_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	samsung->debug.root->d_sib->next->pprev	1-u64max
PARAM_VALUE	0	samsung->quirks	4096-ptr_max
PARAM_VALUE	0	samsung->quirks->lid_handling	1
PARAM_VALUE	0	*samsung->debug.root->d_inode->i_hash.next->pprev	1-u64max
PARAM_VALUE	0	*samsung->debug.root->d_inode->i_sb->s_fs_info->nm_info->nat_root.xa_head	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*samsung->debug.root->d_inode->i_sb->s_fs_info->wbuf_verify	0-255
PARAM_VALUE	1	enabled	0
BUF_SIZE	0	samsung	s32min-(-2),1-s32max
BUF_SIZE	0	samsung	s32min-(-2),1-s32max
CAPPED_DATA	0	samsung->debug.root	1
DATA_SOURCE	0	samsung	$0
NOCHECK_CALL
UNITS	0	samsung	unit_byte

drivers/platform/x86/samsung-laptop.c samsung_lid_handling_init() -> write_lid_handling()

Type	Parameter	Key	Value
PARAM_VALUE	0	samsung	4096-ptr_max
PARAM_VALUE	0	samsung->config->commands.kbd_backlight	0,120,u16max
PARAM_VALUE	0	samsung->config->sabi_version	0,2-3
PARAM_VALUE	0	samsung->f0000_segment	0
PARAM_VALUE	0	samsung->kbd_led->blink_timer.entry.pprev	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led->default_trigger	0-255
PARAM_VALUE	0	samsung->kbd_led->dev->driver_data->cis_virt	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	samsung->kbd_led->dev->kobj.release.timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led->trigger_data->gpiod->gdev->desc_srcu.srcu_sup->srcu_cb_mutex.magic	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	samsung->kbd_led->trigger_data->gpiod->gdev->desc_srcu.srcu_sup->srcu_gp_mutex.magic	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	samsung->kbd_led->trigger_data->lock.first_waiter->task->blocked_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	samsung->kbd_led->trigger_data->net_dev->pcpu_refcnt	s32min-s32max
PARAM_VALUE	0	samsung->kbd_led.blink_timer.lockdep_map->name	0-255
PARAM_VALUE	0	samsung->kbd_led.brightness_get	8995801052317679616
PARAM_VALUE	0	samsung->kbd_led.brightness_hw_changed	(-1)
PARAM_VALUE	0	samsung->kbd_led.brightness_set	2189918389956665344
PARAM_VALUE	0	samsung->kbd_led.dev	0,4096-u64max
PARAM_VALUE	0	samsung->kbd_led.dev->class	1-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->devres_head.next	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->devres_head.next->next	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->devres_head.prev	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->devres_head.prev->prev	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->devt	0
PARAM_VALUE	0	samsung->kbd_led.dev->dma_io_tlb_mem	1473117533515866112
PARAM_VALUE	0	samsung->kbd_led.dev->dma_io_tlb_mem->can_grow	0-1
PARAM_VALUE	0	samsung->kbd_led.dev->dma_io_tlb_mem->debugfs	0-s64max
PARAM_VALUE	0	samsung->kbd_led.dev->dma_io_tlb_mem->dyn_alloc.data.counter	9007199250546704
PARAM_VALUE	0	samsung->kbd_led.dev->dma_io_tlb_mem->dyn_alloc.entry.prev	1473117533515866344
PARAM_VALUE	0	samsung->kbd_led.dev->dma_io_tlb_mem->dyn_alloc.func	1583282886040592384
PARAM_VALUE	0	samsung->kbd_led.dev->dma_io_tlb_mem->for_alloc	0-1
PARAM_VALUE	0	samsung->kbd_led.dev->dma_io_tlb_mem->force_bounce	0-1
PARAM_VALUE	0	samsung->kbd_led.dev->dma_io_tlb_mem->nslabs	0-s64max
PARAM_VALUE	0	samsung->kbd_led.dev->dma_io_tlb_mem->phys_limit	0-s64max
PARAM_VALUE	0	samsung->kbd_led.dev->dma_io_tlb_mem->pools.prev	1473117533515866320
PARAM_VALUE	0	samsung->kbd_led.dev->dma_io_tlb_pools.next	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->dma_io_tlb_pools.next->next	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->dma_io_tlb_pools.prev	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->dma_io_tlb_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->dma_io_tlb_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->dma_pools.next	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->dma_pools.next->next	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->dma_pools.prev	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->dma_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->dma_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->dma_uses_io_tlb	0
PARAM_VALUE	0	samsung->kbd_led.dev->driver_data	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->flags	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->fwnode	4096-u64max
PARAM_VALUE	0	samsung->kbd_led.dev->fwnode->suppliers.next	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->fwnode->suppliers.next->next	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->iommu_group->owner_cnt	0-4294967295
PARAM_VALUE	0	samsung->kbd_led.dev->kobj->release.timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->kobj.entry.next->next	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->kobj.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->kobj.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->kobj.entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->kobj.ktype->get_ownership	9073032014207823872
PARAM_VALUE	0	samsung->kbd_led.dev->kobj.ktype->namespace	4142580293989273600
PARAM_VALUE	0	samsung->kbd_led.dev->kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	samsung->kbd_led.dev->kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	samsung->kbd_led.dev->kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	samsung->kbd_led.dev->kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	samsung->kbd_led.dev->kobj.release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	samsung->kbd_led.dev->links.consumers.next	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->links.consumers.next->next	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->links.consumers.prev	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->links.consumers.prev->next	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->links.consumers.prev->prev	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->links.defer_sync.next	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->links.defer_sync.next->next	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->links.defer_sync.prev	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->links.defer_sync.prev->next	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->links.defer_sync.prev->prev	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->links.status	0,3
PARAM_VALUE	0	samsung->kbd_led.dev->links.suppliers.next	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->links.suppliers.next->next	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->links.suppliers.prev	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->links.suppliers.prev->next	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->links.suppliers.prev->prev	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->mutex->first_waiter->task->blocked_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	samsung->kbd_led.dev->numa_node	(-1)
PARAM_VALUE	0	samsung->kbd_led.dev->of_node	0,4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->p->klist_children.get	2213798222526185472
PARAM_VALUE	0	samsung->kbd_led.dev->p->klist_children.put	3126867300421632000
PARAM_VALUE	0	samsung->kbd_led.dev->parent	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->parent->driver_data->lock->wait_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	samsung->kbd_led.dev->parent->driver_data->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	samsung->kbd_led.dev->parent->driver_data->lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	samsung->kbd_led.dev->parent->kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	samsung->kbd_led.dev->parent->kobj.release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	samsung->kbd_led.dev->parent->kobj.release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	samsung->kbd_led.dev->power.disable_depth	1
PARAM_VALUE	0	samsung->kbd_led.dev->power.early_init	1
PARAM_VALUE	0	samsung->kbd_led.dev->power.entry.next	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->power.entry.next->next	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->power.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->power.entry.prev	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->power.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->power.entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->power.is_prepared	0
PARAM_VALUE	0	samsung->kbd_led.dev->power.last_status	(-1)
PARAM_VALUE	0	samsung->kbd_led.dev->power.qos	0
PARAM_VALUE	0	samsung->kbd_led.dev->power.qos->freq.max_freq.default_value	s32max
PARAM_VALUE	0	samsung->kbd_led.dev->power.qos->freq.max_freq.no_constraint_value	s32max
PARAM_VALUE	0	samsung->kbd_led.dev->power.qos->freq.max_freq.target_value	s32max
PARAM_VALUE	0	samsung->kbd_led.dev->power.qos->freq.max_freq.type	2
PARAM_VALUE	0	samsung->kbd_led.dev->power.request	0
PARAM_VALUE	0	samsung->kbd_led.dev->power.runtime_auto	1
PARAM_VALUE	0	samsung->kbd_led.dev->power.runtime_status	2
PARAM_VALUE	0	samsung->kbd_led.dev->power.wait_queue.head.next	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->power.wait_queue.head.next->next	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->power.wait_queue.head.prev	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->power.wait_queue.head.prev->next	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->power.wait_queue.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.dev->release	3498297930438803456
PARAM_VALUE	0	samsung->kbd_led.led_access.dep_map->name	0-255
PARAM_VALUE	0	samsung->kbd_led.led_access.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	samsung->kbd_led.led_access.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	samsung->kbd_led.led_access.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	samsung->kbd_led.led_access.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	samsung->kbd_led.led_access.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	samsung->kbd_led.led_access.first_waiter->task->blocked_lock.raw_lock.val.counter	0-s32max
PARAM_VALUE	0	samsung->kbd_led.led_access.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	samsung->kbd_led.led_access.magic	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.led_access.osq.tail.counter	0-s32max
PARAM_VALUE	0	samsung->kbd_led.name	5788574555306541056
PARAM_VALUE	0	samsung->kbd_led.trig_list.next->prev	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.trigger->led_cdevs.prev	4096-ptr_max
PARAM_VALUE	0	samsung->kbd_led.trigger_data->delta_t	0
PARAM_VALUE	0	samsung->kbd_led.trigger_data->gpiod->gdev->dev.kobj.kref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	samsung->kbd_led.trigger_data->gpiod->gdev->dev.kobj.release.cpu	s32min-s32max
PARAM_VALUE	0	samsung->kbd_led.trigger_data->gpiod->gdev->dev.kobj.release.timer.flags	0-4294967295
PARAM_VALUE	0	samsung->kbd_led.trigger_data->gpiod->gdev->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	samsung->kbd_led.trigger_data->gpiod->gdev->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	samsung->kbd_led.trigger_data->gpiod->gdev->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	samsung->kbd_led.trigger_data->gpiod->gdev->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	samsung->kbd_led.trigger_data->gpiod->gdev->line_state_notifier.head->priority	s32min-s32max
PARAM_VALUE	0	samsung->kbd_led.trigger_data->gpiod->gdev->owner->refcnt.counter	0-s32max
PARAM_VALUE	0	samsung->kbd_led.trigger_data->hrtimer.flags	0-4294967295
PARAM_VALUE	0	samsung->kbd_led.trigger_data->hrtimer.node.node.node.__rb_parent_color	1
PARAM_VALUE	0	samsung->kbd_led.trigger_data->led_cdev->dev->kobj.sd->count.counter	s32min-s32max
PARAM_VALUE	0	samsung->kbd_led.trigger_data->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	samsung->kbd_led.trigger_data->lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	samsung->kbd_led.trigger_data->lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	samsung->kbd_led.trigger_data->lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	samsung->kbd_led.trigger_data->lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	samsung->kbd_led.trigger_data->lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	samsung->kbd_led.trigger_data->net_dev->refcnt_tracker.no_tracker.refs.counter	s32min-s32max
PARAM_VALUE	0	samsung->kbd_led.trigger_data->npatterns	0-4294967295
PARAM_VALUE	0	samsung->kbd_led.trigger_data->timer.flags	0-4294967295
PARAM_VALUE	0	samsung->kbd_led.trigger_data->timer.is_hard	0-1
PARAM_VALUE	0	samsung->kbd_led.trigger_data->timer.is_lazy	0-1
PARAM_VALUE	0	samsung->kbd_led.trigger_data->timer.is_queued	0-1
PARAM_VALUE	0	samsung->kbd_led.trigger_data->timer.is_soft	0-1
PARAM_VALUE	0	samsung->kbd_led.trigger_data->tty	0
PARAM_VALUE	0	samsung->kbd_led.trigger_data->type	0-2
PARAM_VALUE	0	samsung->kbd_led.trigger_lock.dep_map->name	0-255
PARAM_VALUE	0	samsung->kbd_led.trigger_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	samsung->kbd_led.trigger_lock.first_waiter->list.next	2624917664208203776
PARAM_VALUE	0	samsung->kbd_led.trigger_lock.first_waiter->list.prev	2624917664208203776
PARAM_VALUE	0	samsung->kbd_led.trigger_lock.first_waiter->type	0-1
PARAM_VALUE	0	samsung->kbd_led.work_flags	0
PARAM_VALUE	0	samsung->kbd_led.wq	0,4096-ptr_max
PARAM_VALUE	0	samsung->led_workqueue	4096-ptr_max
PARAM_VALUE	0	samsung->led_workqueue->flags	0-4294967295
PARAM_VALUE	0	samsung->led_workqueue->flush_color	s32min-s32max
PARAM_VALUE	0	samsung->led_workqueue->nr_drainers	s32min-s32max
PARAM_VALUE	0	samsung->led_workqueue->nr_pwqs_to_flush.counter	s32min-s32max
PARAM_VALUE	0	samsung->led_workqueue->rescuer	0
PARAM_VALUE	0	samsung->led_workqueue->work_color	s32min-s32max
PARAM_VALUE	0	samsung->led_workqueue->wq_dev	0-s64max
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev->driver_data->cis_virt	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev->driver_data->fake_cis	0-255
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev->p->knode_bus.n_klist	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev->p->knode_class.n_klist	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev->p->knode_driver.n_klist	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev->p->knode_parent.n_klist	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.driver_data->callback	0,6667066348596736000
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.driver_data->callback->add	5235430000054906880
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.driver_data->callback->early_resume	6956900869090054144
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.driver_data->callback->remove	1719268733136482304
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.driver_data->callback->requery	4713442613417914368
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.driver_data->callback->resume	5068206944467017728
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.driver_data->callback->suspend	2738892915008757760
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.driver_data->callback->validate	4934365872137547776
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.driver_data->cdev->kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.driver_data->cdev->kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.driver_data->cdev->kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.driver_data->cdev->kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.driver_data->cis_mem.card_start	0-4294967295
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.driver_data->cis_mem.flags	0,2-254
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.driver_data->d_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.driver_data->detaching.counter	s32min-s32max
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.driver_data->dev.kobj.kref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.driver_data->dev.kobj.release.cpu	s32min-s32max
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.driver_data->dev.kobj.release.timer.flags	0-4294967295
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.driver_data->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.driver_data->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.driver_data->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.driver_data->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.driver_data->dev.kobj.release.work.flags	0-4294967295
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.driver_data->dev.kobj.release.work.is_hard	0-1
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.driver_data->dev.kobj.release.work.is_lazy	0-1
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.driver_data->dev.kobj.release.work.is_queued	0-1
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.driver_data->dev.kobj.release.work.is_soft	0-1
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.driver_data->dev.parent->kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.driver_data->device_count	0-1
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.driver_data->fake_cis_len	1
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.driver_data->functions	0-u16max
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.driver_data->ops_mutex.first_waiter->list.next	5159360019465732096
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.driver_data->ops_mutex.first_waiter->magic	5159360019465732096
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.driver_data->ops_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.driver_data->pcmcia_pfc	0-255
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.driver_data->present.counter	s32min-s32max
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.driver_data->resource_setup_done	0-255
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.driver_data->sfd_lock.raw_lock.cnts.counter	s32min-s32max
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.driver_data->skt_mutex->wait_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.driver_data->skt_mutex.first_waiter->magic	5159360019465732096
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.driver_data->skt_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.driver_data->state	0-4294967295
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.iommu_group->owner_cnt	0-4294967295
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.kobj.parent->kset->kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.kobj.parent->kset->kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.kobj.parent->kset->kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.kobj.parent->kset->kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.kobj.parent->release.timer.is_hard	0-1
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.kobj.parent->release.timer.is_lazy	0-1
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.kobj.parent->release.timer.is_queued	0-1
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.kobj.parent->release.timer.is_soft	0-1
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.kobj.parent->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.kobj.release.work.flags	0-4294967295
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.kobj.release.work.is_hard	0-1
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.kobj.release.work.is_lazy	0-1
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.kobj.release.work.is_queued	0-1
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.kobj.release.work.is_soft	0-1
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.links.status	0,3
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.mutex->first_waiter->task->blocked_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.p->dead	0-1
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.p->knode_bus.n_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.p->knode_class.n_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.p->knode_driver.n_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.p->knode_parent.n_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.parent->kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.parent->kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.parent->kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.parent->kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.parent->kobj.release.work.flags	0-4294967295
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.parent->kobj.release.work.is_hard	0-1
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.parent->kobj.release.work.is_lazy	0-1
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.parent->kobj.release.work.is_queued	0-1
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.parent->kobj.release.work.is_soft	0-1
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.power.completion.done	4294967295
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.power.qos->freq.max_freq.default_value	s32max
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.power.qos->freq.max_freq.no_constraint_value	s32max
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.power.qos->freq.max_freq.target_value	s32max
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.power.qos->freq.max_freq.type	2
PARAM_VALUE	0	samsung->led_workqueue->wq_dev->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	samsung->platform_device	4096-ptr_max
PARAM_VALUE	0	samsung->platform_device->dev.driver_data	4096-ptr_max
PARAM_VALUE	0	samsung->platform_device->dev.kobj.sd	1-u64max
PARAM_VALUE	0	samsung->platform_device->dev.kobj.sd->attr.notify_next	0,426918848001064960
PARAM_VALUE	0	samsung->quirks	1525418754989367296
PARAM_VALUE	0	samsung->sabi	4096-ptr_max
PARAM_VALUE	0	samsung->sabi_iface	0
PARAM_VALUE	0	samsung->sabi_mutex.dep_map->name	0-255
PARAM_VALUE	0	samsung->sabi_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	samsung->sabi_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	samsung->sabi_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	samsung->sabi_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	samsung->sabi_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	samsung->sabi_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	*samsung->led_workqueue->lockdep_map->name	0-255
PARAM_VALUE	0	*samsung->led_workqueue->rescuer->task->delays->lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*samsung->sdiag	0-255
PARAM_VALUE	1	enabled	1
BUF_SIZE	0	samsung	1328
BUF_SIZE	0	samsung->quirks	(-1),3
DATA_SOURCE	0	samsung	$0
NO_OVERFLOW_SIMPLE	0	samsung->backlight_device->props.brightness
NO_OVERFLOW_SIMPLE	0	samsung->backlight_device->props.max_brightness
NO_OVERFLOW_SIMPLE	0	samsung->kbd_led.blink_delay_off
NO_OVERFLOW_SIMPLE	0	samsung->kbd_led.blink_delay_on

drivers/platform/x86/samsung-laptop.c samsung_pm_notification() -> write_lid_handling()

Type	Parameter	Key	Value
PARAM_VALUE	0	samsung	4096-ptr_max
PARAM_VALUE	0	samsung->config->commands.get_battery_life_extender	0,101,u16max
PARAM_VALUE	0	samsung->config->commands.get_lid_handling	0,109,u16max
PARAM_VALUE	0	samsung->config->commands.get_usb_charge	0,103,u16max
PARAM_VALUE	0	samsung->config->commands.kbd_backlight	0,120,u16max
PARAM_VALUE	0	samsung->config->commands.set_linux	0,10,255
PARAM_VALUE	0	samsung->config->sabi_version	0,2-3
PARAM_VALUE	0	samsung->quirks	4096-ptr_max
PARAM_VALUE	0	samsung->quirks->lid_handling	1
PARAM_VALUE	1	enabled	1
NOCHECK_CALL

drivers/platform/x86/samsung-laptop.c set_lid_handling() -> write_lid_handling()

Type	Parameter	Key	Value
PARAM_VALUE	1	enabled	0-1
BUF_SIZE	0	samsung	s32min-(-2),1-s32max
BUF_SIZE	0	samsung	s32min-(-2),1-s32max
FUZZY_MAX	1	enabled	1
HARD_MAX	1	enabled	1
RX_PATH
TASK_NOT_RUNNING
USER_DATA	1	enabled	0-1
UNITS	0	samsung	unit_byte
LOCK2		&of->mutex
HALF_LOCKED2		&of->prealloc_mutex
HALF_LOCKED2		&pool->lock
TYPE_LOCK		(struct kernfs_open_file)->mutex