Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 samsung 4096-ptr_max
PARAM_VALUE 0 samsung->battery_hook.add_battery 95839084174475264
PARAM_VALUE 0 samsung->battery_hook.list.next 4096-ptr_max
PARAM_VALUE 0 samsung->battery_hook.list.next->next 4096-ptr_max
PARAM_VALUE 0 samsung->battery_hook.list.next->prev 4096-ptr_max
PARAM_VALUE 0 samsung->battery_hook.list.prev 4096-ptr_max
PARAM_VALUE 0 samsung->battery_hook.list.prev->next 4096-ptr_max
PARAM_VALUE 0 samsung->battery_hook.list.prev->prev 4096-ptr_max
PARAM_VALUE 0 samsung->battery_hook.name 7882554303602499584
PARAM_VALUE 0 samsung->battery_hook.remove_battery 2901000953752014848
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->blink_timer.entry.pprev 4096-ptr_max
PARAM_VALUE 0 samsung->kbd_led->default_trigger 0-255
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->entry.pprev 4096-ptr_max
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_hw_changed_kn 4096-ptr_max
PARAM_VALUE 0 samsung->kbd_led.brightness_set 2189918389956665344
PARAM_VALUE 0 samsung->kbd_led.dev 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->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->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->pools.prev 1473117533515866320
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->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->next 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->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->dev 4096-ptr_max
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->fwnode->suppliers.next->prev 4096-ptr_max
PARAM_VALUE 0 samsung->kbd_led.dev->init_name 0
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->child_ns_type 0,2344685749105987584,4089303432171261952,6274457576243130368,8186263191508828160
PARAM_VALUE 0 samsung->kbd_led.dev->kobj.ktype->get_ownership 0,754295003445952512,1770093955000758272,2031763320308453376,9073032014207823872,9089295143347961856
PARAM_VALUE 0 samsung->kbd_led.dev->kobj.release->timer->entry.pprev 4096-ptr_max
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->next 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->next 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.suppliers.next->next 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->of_node 0,4096-ptr_max
PARAM_VALUE 0 samsung->kbd_led.dev->p 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->p->knode_class.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 samsung->kbd_led.dev->p->knode_parent.n_ref.refcount.refs.counter 1
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.dep_map->name 0-255
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.first_waiter->list.prev->prev 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->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.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->physical_location 0,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->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.wait_queue.head.next->next 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.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 s32min-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.node.next 718407557889925120
PARAM_VALUE 0 samsung->kbd_led.node.prev 4096-ptr_max
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.lockdep_map->name 0-255
PARAM_VALUE 0 samsung->kbd_led.trig_list.next 4096-ptr_max
PARAM_VALUE 0 samsung->kbd_led.trig_list.next->prev 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->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->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 samsung->kbd_led.trigger_data->lock->wait_lock.owner (-4611686018427387904)-4611686018427387903
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->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->npatterns 0-4294967295
PARAM_VALUE 0 samsung->kbd_led.trigger_data->timer.flags 0-4294967295
PARAM_VALUE 0 samsung->kbd_led.trigger_data->timer.lockdep_map->name 0-255
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->platform_device 4096-ptr_max
PARAM_VALUE 0 samsung->platform_device->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 samsung->platform_device->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 samsung->platform_device->dev.devres_head.prev->next->next 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->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