Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/platform/x86/samsung-laptop.c samsung_exit() -> samsung_backlight_exit()

Type Parameter Key Value
PARAM_VALUE 0 samsung 4096-ptr_max
PARAM_VALUE 0 samsung->bluetooth.rfkill 0
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->debug.root 0,4096-u64max
PARAM_VALUE 0 samsung->debug.root->d_fsdata->management_timer.flags 0-4294967295
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_sb->s_roots_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 samsung->kbd_led->dev->driver_data->cis_virt (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 samsung->kbd_led->dev->driver_data->fake_cis 0-255
PARAM_VALUE 0 samsung->kbd_led->dev->driver_data->skt_mutex.first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 samsung->kbd_led->dev->kobj.parent->kset->kobj.release.timer->entry->next->pprev 1-u64max
PARAM_VALUE 0 samsung->kbd_led->dev->kobj.release.timer->entry->next->pprev 1-u64max
PARAM_VALUE 0 samsung->kbd_led->dev->kobj.release.timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 samsung->kbd_led->dev->p->deferred_probe_reason 0-255
PARAM_VALUE 0 samsung->kbd_led->dev->p->knode_bus.n_klist (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 samsung->kbd_led->dev->p->knode_class.n_klist (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 samsung->kbd_led->dev->p->knode_driver.n_klist (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 samsung->kbd_led->dev->p->knode_parent.n_klist (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 samsung->kbd_led.blink_delay_off 0
PARAM_VALUE 0 samsung->kbd_led.blink_delay_on 0
PARAM_VALUE 0 samsung->kbd_led.blink_timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 samsung->kbd_led.blink_timer.entry->pprev 4096-ptr_max
PARAM_VALUE 0 samsung->kbd_led.blink_timer.flags 0-4194302
PARAM_VALUE 0 samsung->kbd_led.blink_timer.function 0
PARAM_VALUE 0 samsung->kbd_led.dev 0,4096-u64max
PARAM_VALUE 0 samsung->kbd_led.dev->devres_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->callback 0,6667066348596736000
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->callback->add 5235430000054906880
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->callback->early_resume 6956900869090054144
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->callback->remove 1719268733136482304
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->callback->requery 4713442613417914368
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->callback->resume 5068206944467017728
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->callback->suspend 2738892915008757760
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->callback->validate 4934365872137547776
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->cis_mem.card_start 0-4294967295
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->cis_mem.flags 0,2-254
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->d_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->detaching.counter s32min-s32max
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->dev.kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->dev.kobj.release.cpu s32min-s32max
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->dev.kobj.release.timer.flags 0-4294967295
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->dev.kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->dev.kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->dev.kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->dev.kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->dev.kobj.release.work.flags 0-4294967295
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->dev.kobj.release.work.is_hard 0-1
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->dev.kobj.release.work.is_lazy 0-1
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->dev.kobj.release.work.is_queued 0-1
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->dev.kobj.release.work.is_soft 0-1
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->dev.parent->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->dev.parent->kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->dev.parent->kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->device_count 0-1
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->functions 0-u16max
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->ops_mutex->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->ops_mutex.dep_map->name 0-255
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->ops_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->ops_mutex.first_waiter->list.prev->prev 0,5159360019465732096
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->ops_mutex.first_waiter->magic 5159360019465732096
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->ops_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->ops_mutex.first_waiter->task->blocked_on (-1)-0
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->ops_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->ops_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->pcmcia_pfc 0-255
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->present.counter s32min-s32max
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->resource_setup_done 0-255
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->sfd_lock.dep_map->name 0-255
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->sfd_lock.raw_lock.cnts.counter s32min-s32max
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->skt_mutex.dep_map->name 0-255
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->skt_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->skt_mutex.first_waiter->list.prev->prev 0,5159360019465732096
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->skt_mutex.first_waiter->magic 5159360019465732096
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->skt_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->skt_mutex.first_waiter->task->blocked_on (-1)-0
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->skt_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->skt_mutex.osq.tail.counter s32min-s32max
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->state 0-4294967295
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.parent 0
PARAM_VALUE 0 samsung->kbd_led.dev->kobj.parent->entry.prev 4096-ptr_max
PARAM_VALUE 0 samsung->kbd_led.dev->kobj.parent->kset->kobj->release.timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 samsung->kbd_led.dev->kobj.parent->kset->kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 samsung->kbd_led.dev->kobj.parent->kset->kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 samsung->kbd_led.dev->kobj.parent->kset->kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 samsung->kbd_led.dev->kobj.parent->kset->kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 samsung->kbd_led.dev->kobj.parent->kset->kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 samsung->kbd_led.dev->kobj.parent->release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 samsung->kbd_led.dev->kobj.release->timer->entry.pprev 4096-ptr_max
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 0
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.next->prev 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->mutex->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 samsung->kbd_led.dev->p->dead 0-1
PARAM_VALUE 0 samsung->kbd_led.dev->p->knode_bus.n_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 samsung->kbd_led.dev->p->knode_class.n_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 samsung->kbd_led.dev->p->knode_driver.n_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 samsung->kbd_led.dev->p->knode_parent.n_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 samsung->kbd_led.dev->parent->driver_data->client->adapter->bus_lock.rtmutex.owner 0-1
PARAM_VALUE 0 samsung->kbd_led.dev->parent->driver_data->lock.dep_map->name 0-255
PARAM_VALUE 0 samsung->kbd_led.dev->parent->driver_data->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 samsung->kbd_led.dev->parent->kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 samsung->kbd_led.dev->parent->kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 samsung->kbd_led.dev->parent->kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 samsung->kbd_led.dev->parent->kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 samsung->kbd_led.dev->parent->kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 samsung->kbd_led.dev->parent->kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 samsung->kbd_led.dev->parent->kobj.release.work.flags 0-4294967295
PARAM_VALUE 0 samsung->kbd_led.dev->parent->kobj.release.work.is_hard 0-1
PARAM_VALUE 0 samsung->kbd_led.dev->parent->kobj.release.work.is_lazy 0-1
PARAM_VALUE 0 samsung->kbd_led.dev->parent->kobj.release.work.is_soft 0-1
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->pm_domain 0,4096-ptr_max
PARAM_VALUE 0 samsung->kbd_led.dev->power.completion.done u32max
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->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.in_dpm_list 0
PARAM_VALUE 0 samsung->kbd_led.dev->power.irq_safe 0
PARAM_VALUE 0 samsung->kbd_led.dev->power.subsys_data 0,4096-ptr_max
PARAM_VALUE 0 samsung->kbd_led.dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 samsung->kbd_led.led_access.magic 0
PARAM_VALUE 0 samsung->kbd_led.pattern_clear 0
PARAM_VALUE 0 samsung->kbd_led.pattern_set 0
PARAM_VALUE 0 samsung->kbd_led.set_brightness_work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 samsung->kbd_led.set_brightness_work.lockdep_map->name 0-255
PARAM_VALUE 0 samsung->kbd_led.trig_list.next 4096-ptr_max
PARAM_VALUE 0 samsung->kbd_led.trigger 0,4096-ptr_max
PARAM_VALUE 0 samsung->kbd_led.trigger->led_cdevs.prev 4096-ptr_max
PARAM_VALUE 0 samsung->kbd_led.trigger_data 0,4096-ptr_max
PARAM_VALUE 0 samsung->kbd_led.trigger_data->dwork.work.lockdep_map->name 0-255
PARAM_VALUE 0 samsung->kbd_led.trigger_data->hrtimer.is_hard 0-1
PARAM_VALUE 0 samsung->kbd_led.trigger_data->hrtimer.is_lazy 0-1
PARAM_VALUE 0 samsung->kbd_led.trigger_data->hrtimer.is_soft 0-1
PARAM_VALUE 0 samsung->kbd_led.trigger_data->hrtimer.node.expires 0-s64max
PARAM_VALUE 0 samsung->kbd_led.trigger_data->lock.dep_map->name 0-255
PARAM_VALUE 0 samsung->kbd_led.trigger_data->net_dev->refcnt_tracker.quarantine_avail 0-4294967295
PARAM_VALUE 0 samsung->kbd_led.trigger_data->net_dev->refcnt_tracker.untracked.refs.counter s32min-s32max
PARAM_VALUE 0 samsung->kbd_led.trigger_data->work.work.lockdep_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->type 0-1
PARAM_VALUE 0 samsung->kbd_led.trigger_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 samsung->led_workqueue 0,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
PARAM_VALUE 0 samsung->led_workqueue->wq_dev->dev->driver_data->cis_virt (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 samsung->led_workqueue->wq_dev->dev.devres_lock.rlock.dep_map->name 0-255
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.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.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->ops_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 samsung->led_workqueue->wq_dev->dev.driver_data->sfd_lock.dep_map->name 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.dep_map->name 0-255
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.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.p->dead 1
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_parent.n_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 samsung->led_workqueue->wq_dev->dev.power.completion.done 4294967295
PARAM_VALUE 0 samsung->led_workqueue->wq_dev->dev.power.last_status s32min-0,2,4-s32max
PARAM_VALUE 0 samsung->led_workqueue->wq_dev->dev.power.qos (-19),0
PARAM_VALUE 0 samsung->led_workqueue->wq_dev->dev.power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 samsung->led_workqueue->wq_dev->dev.power.runtime_status 2
PARAM_VALUE 0 samsung->led_workqueue->wq_dev->dev.power.usage_count.counter 0-s32max
PARAM_VALUE 0 samsung->led_workqueue->wq_dev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 samsung->quirks 4096-ptr_max
PARAM_VALUE 0 samsung->sabi_mutex.dep_map->name 0-255
PARAM_VALUE 0 samsung->sabi_mutex.first_waiter 0,4096-ptr_max
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->usage.refs.counter s32min-s32max
PARAM_VALUE 0 samsung->sabi_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 samsung->wlan.rfkill 0
PARAM_VALUE 0 *samsung->debug.root->d_fsdata->d_inode->i_sb->s_fs_info->wbuf 0-255
PARAM_VALUE 0 *samsung->debug.root->d_fsdata->d_inode->i_sb->s_fs_info->wbuf_verify 0-255
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->page_eio_cnt s32min-s32max
PARAM_VALUE 0 *samsung->led_workqueue->lockdep_map->name 0-255
BUF_SIZE 0 samsung s32min-(-2),1-s32max
BUF_SIZE 0 samsung s32min-(-2),1-s32max
CAPPED_DATA 0 samsung->debug.root 1
CAPPED_DATA 0 samsung->kbd_led.dev 1
CAPPED_DATA 0 &samsung->pm_nb 1
NOCHECK_CALL
UNITS 0 samsung unit_byte

drivers/platform/x86/samsung-laptop.c samsung_init() -> samsung_backlight_exit()

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->f0000_segment 0
PARAM_VALUE 0 samsung->kbd_led->dev->driver_data->fake_cis 0-255
PARAM_VALUE 0 samsung->kbd_led->dev->driver_data->skt_mutex.first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 samsung->kbd_led->dev->kobj.parent->kset->kobj.release.timer->entry->next->pprev 1-u64max
PARAM_VALUE 0 samsung->kbd_led->dev->kobj.release.timer->entry->next->pprev 1-u64max
PARAM_VALUE 0 samsung->kbd_led->dev->p->deferred_probe_reason 0-255
PARAM_VALUE 0 samsung->kbd_led->dev->p->knode_bus.n_klist (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 samsung->kbd_led->dev->p->knode_class.n_klist (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 samsung->kbd_led->dev->p->knode_driver.n_klist (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 samsung->kbd_led->dev->p->knode_parent.n_klist (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 samsung->kbd_led.blink_delay_off 0
PARAM_VALUE 0 samsung->kbd_led.blink_delay_on 0
PARAM_VALUE 0 samsung->kbd_led.blink_timer.entry->pprev 4096-ptr_max
PARAM_VALUE 0 samsung->kbd_led.blink_timer.flags 0-4194302
PARAM_VALUE 0 samsung->kbd_led.blink_timer.function 0
PARAM_VALUE 0 samsung->kbd_led.dev->devres_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 samsung->kbd_led.dev->dma_io_tlb_mem->debugfs 0-s64max
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->callback 0,6667066348596736000
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->callback->add 5235430000054906880
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->callback->early_resume 6956900869090054144
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->callback->remove 1719268733136482304
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->callback->requery 4713442613417914368
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->callback->resume 5068206944467017728
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->callback->suspend 2738892915008757760
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->callback->validate 4934365872137547776
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->cis_mem.card_start 0-4294967295
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->cis_mem.flags 0,2-254
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->d_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->detaching.counter s32min-s32max
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->dev.kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->dev.kobj.release.cpu s32min-s32max
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->dev.kobj.release.timer.flags 0-4294967295
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->dev.kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->dev.kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->dev.kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->dev.kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->dev.kobj.release.work.flags 0-4294967295
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->dev.kobj.release.work.is_hard 0-1
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->dev.kobj.release.work.is_lazy 0-1
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->dev.kobj.release.work.is_queued 0-1
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->dev.kobj.release.work.is_soft 0-1
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->dev.parent->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->dev.parent->kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->dev.parent->kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->device_count 0-1
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->functions 0-u16max
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->ops_mutex->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->ops_mutex.dep_map->name 0-255
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->ops_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->ops_mutex.first_waiter->list.prev->prev 0,5159360019465732096
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->ops_mutex.first_waiter->magic 5159360019465732096
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->ops_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->ops_mutex.first_waiter->task->blocked_on (-1)-0
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->ops_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->ops_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->pcmcia_pfc 0-255
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->present.counter s32min-s32max
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->resource_setup_done 0-255
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->sfd_lock.dep_map->name 0-255
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->sfd_lock.raw_lock.cnts.counter s32min-s32max
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->skt_mutex.dep_map->name 0-255
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->skt_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->skt_mutex.first_waiter->list.prev->prev 0,5159360019465732096
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->skt_mutex.first_waiter->magic 5159360019465732096
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->skt_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->skt_mutex.first_waiter->task->blocked_on (-1)-0
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->skt_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->skt_mutex.osq.tail.counter s32min-s32max
PARAM_VALUE 0 samsung->kbd_led.dev->driver_data->state 0-4294967295
PARAM_VALUE 0 samsung->kbd_led.dev->kobj.parent 0
PARAM_VALUE 0 samsung->kbd_led.dev->kobj.parent->entry.prev 4096-ptr_max
PARAM_VALUE 0 samsung->kbd_led.dev->kobj.parent->kset->kobj->release.timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 samsung->kbd_led.dev->kobj.parent->kset->kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 samsung->kbd_led.dev->kobj.parent->kset->kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 samsung->kbd_led.dev->kobj.parent->kset->kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 samsung->kbd_led.dev->kobj.parent->kset->kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 samsung->kbd_led.dev->kobj.parent->kset->kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 samsung->kbd_led.dev->kobj.parent->release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 samsung->kbd_led.dev->kobj.sd 0
PARAM_VALUE 0 samsung->kbd_led.dev->kobj.sd->attr.open->nr_mmapped 0-4294967295
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->prev 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.status 0,3
PARAM_VALUE 0 samsung->kbd_led.dev->mutex->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 samsung->kbd_led.dev->p->dead 0-1
PARAM_VALUE 0 samsung->kbd_led.dev->p->knode_bus.n_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 samsung->kbd_led.dev->p->knode_driver.n_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 samsung->kbd_led.dev->parent->driver_data->client->adapter->bus_lock.rtmutex.owner 0-1
PARAM_VALUE 0 samsung->kbd_led.dev->parent->kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 samsung->kbd_led.dev->parent->kobj.release.work.flags 0-4294967295
PARAM_VALUE 0 samsung->kbd_led.dev->parent->kobj.release.work.is_hard 0-1
PARAM_VALUE 0 samsung->kbd_led.dev->parent->kobj.release.work.is_lazy 0-1
PARAM_VALUE 0 samsung->kbd_led.dev->parent->kobj.release.work.is_soft 0-1
PARAM_VALUE 0 samsung->kbd_led.dev->pm_domain 0,4096-ptr_max
PARAM_VALUE 0 samsung->kbd_led.dev->power.completion.done u32max
PARAM_VALUE 0 samsung->kbd_led.dev->power.in_dpm_list 0
PARAM_VALUE 0 samsung->kbd_led.dev->power.irq_safe 0
PARAM_VALUE 0 samsung->kbd_led.dev->power.subsys_data 0,4096-ptr_max
PARAM_VALUE 0 samsung->kbd_led.dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 samsung->kbd_led.set_brightness_work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 samsung->kbd_led.trigger_data->dwork.work.lockdep_map->name 0-255
PARAM_VALUE 0 samsung->kbd_led.trigger_data->hrtimer.is_hard 0-1
PARAM_VALUE 0 samsung->kbd_led.trigger_data->hrtimer.is_lazy 0-1
PARAM_VALUE 0 samsung->kbd_led.trigger_data->hrtimer.is_soft 0-1
PARAM_VALUE 0 samsung->kbd_led.trigger_data->hrtimer.node.expires 0-s64max
PARAM_VALUE 0 samsung->kbd_led.trigger_data->lock.dep_map->name 0-255
PARAM_VALUE 0 samsung->kbd_led.trigger_data->work.work.lockdep_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->type 0-1
PARAM_VALUE 0 samsung->kbd_led.trigger_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 samsung->led_workqueue 0,4096-ptr_max
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->skt_mutex.dep_map->name 0-255
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->quirks 1525418754989367296
PARAM_VALUE 0 samsung->quirks->lid_handling 0
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->usage.refs.counter s32min-s32max
PARAM_VALUE 0 samsung->wlan.rfkill 0
PARAM_VALUE 0 *samsung->sdiag 0-255
BUF_SIZE 0 samsung 1328
BUF_SIZE 0 samsung->quirks (-1),3
DATA_SOURCE 0 samsung r _kzalloc_noprof
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 samsung->backlight_device->props.brightness
NO_OVERFLOW_SIMPLE 0 samsung->backlight_device->props.max_brightness