Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/platform/x86/samsung-laptop.c samsung_leds_init() -> kbd_backlight_enable()

Type Parameter Key Value
PARAM_VALUE 0 samsung 4096-ptr_max
PARAM_VALUE 0 samsung->config->sabi_version 0,2-3
PARAM_VALUE 0 samsung->f0000_segment 0
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.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->sdiag 0-255
BUF_SIZE 0 samsung 1328
BUF_SIZE 0 samsung->led_workqueue (-1),512,528-8720
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

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

Type Parameter Key Value
PARAM_VALUE 0 samsung 4096-ptr_max
PARAM_VALUE 0 samsung->quirks 4096-ptr_max
PARAM_VALUE 0 samsung->quirks->enable_kbd_backlight 1
NOCHECK_CALL