Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/platform/x86/samsung-laptop.c samsung_rfkill_init() -> samsung_rfkill_init_seclinux()

Type Parameter Key Value
PARAM_VALUE 0 samsung 4096-ptr_max
PARAM_VALUE 0 samsung->config->sabi_version 2
PARAM_VALUE 0 samsung->f0000_segment 0
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->quirks 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_rfkill_init_swsmi() -> samsung_rfkill_init_seclinux()

Type Parameter Key Value
PARAM_VALUE 0 samsung 4096-ptr_max
PARAM_VALUE 0 samsung->config 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 3
PARAM_VALUE 0 samsung->config->test_string 4096-ptr_max
PARAM_VALUE 0 samsung->f0000_segment 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.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 samsung->platform_device->dev.kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 samsung->platform_device->dev.kobj.release.wq->saved_min_active s32min-s32max
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_iface 4096-ptr_max
PARAM_VALUE 0 samsung->sabi_mutex->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
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->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->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->sdiag 0-255
BUF_SIZE 0 samsung 1328
BUF_SIZE 0 samsung->quirks 3
DATA_SOURCE 0 samsung $0
NO_OVERFLOW_SIMPLE 0 samsung->backlight_device->props.brightness