Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/platform/x86/samsung-laptop.c get_performance_level() -> sabi_command()

Type Parameter Key Value
PARAM_VALUE 0 samsung 4096-ptr_max
PARAM_VALUE 2 in 0
PARAM_VALUE 3 out 5176516503405346816
BUF_SIZE 0 samsung s32min-(-2),1-s32max
BUF_SIZE 0 samsung s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 samsung unit_byte
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

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

Type Parameter Key Value
PARAM_VALUE 0 samsung 4096-ptr_max
PARAM_VALUE 0 samsung->config->commands.kbd_backlight 0,120
PARAM_VALUE 0 samsung->config->sabi_version 0,2-3
PARAM_VALUE 0 samsung->config->test_string 0,4096-ptr_max
PARAM_VALUE 0 samsung->quirks 4096-ptr_max
PARAM_VALUE 0 samsung->quirks->enable_kbd_backlight 0-1
PARAM_VALUE 0 *samsung->sdiag 0-255
PARAM_VALUE 1 command 0,120
PARAM_VALUE 2 in 8447027868617805824
PARAM_VALUE 2 in->d0 43707
PARAM_VALUE 3 out 8447027868617805824
PARAM_VALUE 3 out->d0 43707
BUF_SIZE 0 samsung (-1),1328
BUF_SIZE 0 samsung (-1),1328
BUF_SIZE 0 samsung->led_workqueue (-1),512,528-8720
BUF_SIZE 0 samsung->quirks (-1),3
DATA_SOURCE 0 samsung $0
MEM_ZERO 2 in
MEM_ZERO 3 out
NO_OVERFLOW_SIMPLE 0 samsung->backlight_device->props.brightness

drivers/platform/x86/samsung-laptop.c kbd_backlight_read() -> sabi_command()

Type Parameter Key Value
PARAM_VALUE 0 samsung 4096-ptr_max
PARAM_VALUE 2 in 298873500750024704
PARAM_VALUE 3 out 298873500750024704
DATA_SOURCE 0 samsung $0
MEM_ZERO 2 in
MEM_ZERO 3 out
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &led_cdev->led_access
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock

drivers/platform/x86/samsung-laptop.c kbd_backlight_write() -> sabi_command()

Type Parameter Key Value
PARAM_VALUE 0 samsung 4096-ptr_max
PARAM_VALUE 2 in 8793824153077764096
PARAM_VALUE 2 in->d0 130,386-65410
PARAM_VALUE 3 out 0
DATA_SOURCE 0 samsung $0
MEM_ZERO 2 in
HALF_LOCKED2 &pool->lock

drivers/platform/x86/samsung-laptop.c read_battery_life_extender() -> sabi_command()

Type Parameter Key Value
PARAM_VALUE 0 samsung 4096-ptr_max
PARAM_VALUE 0 samsung->config->commands.get_battery_life_extender 0,101
PARAM_VALUE 1 command 0,101
PARAM_VALUE 2 in 9177096010305347584
PARAM_VALUE 3 out 9177096010305347584
BUF_SIZE 0 samsung s32min-(-1),1-s32max
BUF_SIZE 0 samsung s32min-(-1),1-s32max
DATA_SOURCE 0 samsung $0
MEM_ZERO 2 in
MEM_ZERO 3 out
RX_PATH
TASK_NOT_RUNNING
UNITS 0 samsung unit_byte
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock

drivers/platform/x86/samsung-laptop.c read_brightness() -> sabi_command()

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->config->test_string 0,4096-ptr_max
PARAM_VALUE 2 in 0
PARAM_VALUE 3 out 6890548182404366336
BUF_SIZE 0 samsung s32min-(-1),1-s32max
BUF_SIZE 0 samsung s32min-(-1),1-s32max
BUF_SIZE 0 samsung->backlight_device (-1),1976
BUF_SIZE 0 samsung->quirks (-1),3
DATA_SOURCE 0 samsung $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 samsung->backlight_device->props.brightness
NO_OVERFLOW_SIMPLE 0 samsung->backlight_device->props.max_brightness
UNITS 0 samsung unit_byte

drivers/platform/x86/samsung-laptop.c read_lid_handling() -> sabi_command()

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
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 1 command 0,109
PARAM_VALUE 2 in 3870647080517877760
PARAM_VALUE 3 out 3870647080517877760
BUF_SIZE 0 samsung s32min-(-2),1-s32max
BUF_SIZE 0 samsung s32min-(-2),1-s32max
DATA_SOURCE 0 samsung $0
MEM_ZERO 2 in
MEM_ZERO 3 out
RX_PATH
TASK_NOT_RUNNING
UNITS 0 samsung unit_byte
HALF_LOCKED2 &of->mutex

drivers/platform/x86/samsung-laptop.c read_usb_charge() -> sabi_command()

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
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 1 command 0,103
PARAM_VALUE 2 in 420745293136277504
PARAM_VALUE 3 out 420745293136277504
BUF_SIZE 0 samsung s32min-(-2),1-s32max
BUF_SIZE 0 samsung s32min-(-2),1-s32max
DATA_SOURCE 0 samsung $0
MEM_ZERO 2 in
MEM_ZERO 3 out
RX_PATH
TASK_NOT_RUNNING
UNITS 0 samsung unit_byte
HALF_LOCKED2 &of->mutex

drivers/platform/x86/samsung-laptop.c sabi_set_commandb() -> sabi_command()

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->config->test_string 0,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->power.wakeirq->status 0-4294967295
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->quirks->lid_handling 0-1
PARAM_VALUE 2 in 3549951764152692736
PARAM_VALUE 2 in->d0 0
PARAM_VALUE 2 in->d1 0
PARAM_VALUE 2 in->d2 0
PARAM_VALUE 2 in->d3 0
PARAM_VALUE 3 out 0
BUF_SIZE 0 samsung s32min-(-1),1-s32max
BUF_SIZE 0 samsung s32min-(-1),1-s32max
BUF_SIZE 0 samsung->config (-1),408
BUF_SIZE 0 samsung->quirks (-1),3
DATA_SOURCE 0 samsung $0
DATA_SOURCE 1 command $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 samsung->backlight_device->props.brightness
NO_OVERFLOW_SIMPLE 0 samsung->kbd_led.blink_delay_off
NO_OVERFLOW_SIMPLE 0 samsung->kbd_led.blink_delay_on
UNITS 0 samsung unit_byte
HALF_LOCKED2 &of->mutex

drivers/platform/x86/samsung-laptop.c samsung_laptop_call_show() -> sabi_command()

Type Parameter Key Value
PARAM_VALUE 0 samsung 4096-ptr_max
PARAM_VALUE 2 in 4096-ptr_max
PARAM_VALUE 3 out 4096-ptr_max
BUF_SIZE 0 samsung s32min-(-2),1-s32max
BUF_SIZE 0 samsung s32min-(-2),1-s32max
BUF_SIZE 2 in 12
BUF_SIZE 3 out 12
PARAM_COMPARE 0 &samsung->debug.data == $2
RX_PATH
TASK_NOT_RUNNING
UNITS 0 samsung unit_array_size
LOCK2 &m->lock
TYPE_LOCK (struct seq_file)->lock

drivers/platform/x86/samsung-laptop.c swsmi_rfkill_set() -> sabi_command()

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 0,2-3
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->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 samsung->sabi_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 2 in 7277964748394934272
PARAM_VALUE 3 out 7277964748394934272
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 2 in->d0 0-u32max
HOST_DATA 2 in->d1 0-u32max
HOST_DATA 2 in->d2 0-u16max
HOST_DATA 2 in->d3 0-255
HOST_DATA 3 out->d0 0-u32max
HOST_DATA 3 out->d1 0-u32max
HOST_DATA 3 out->d2 0-u16max
HOST_DATA 3 out->d3 0-255
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &rfkill_global_mutex

drivers/platform/x86/samsung-laptop.c swsmi_wireless_status() -> sabi_command()

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->config->test_string 0,4096-ptr_max
PARAM_VALUE 2 in 0
PARAM_VALUE 3 out 209577040365355008,3259042656110964736,7277964748394934272
BUF_SIZE 0 samsung->quirks (-1),3
DATA_SOURCE 0 samsung $0
DATA_SOURCE 3 out $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 samsung->backlight_device->props.brightness

drivers/platform/x86/samsung-laptop.c write_battery_life_extender() -> sabi_command()

Type Parameter Key Value
PARAM_VALUE 0 samsung 4096-ptr_max
PARAM_VALUE 2 in 6521545143811686400
PARAM_VALUE 3 out 0
BUF_SIZE 0 samsung s32min-(-1),1-s32max
BUF_SIZE 0 samsung s32min-(-1),1-s32max
DATA_SOURCE 0 samsung $0
MEM_ZERO 2 in
RX_PATH
TASK_NOT_RUNNING
UNITS 0 samsung unit_byte
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 _T->lock

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

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->config->test_string 0,4096-ptr_max
PARAM_VALUE 0 samsung->kbd_led.dev->kobj.sd->attr.open->nr_mmapped 0-4294967295
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->quirks->lid_handling 0-1
PARAM_VALUE 2 in 6783600067711864832
PARAM_VALUE 3 out 0
BUF_SIZE 0 samsung s32min-(-1),1-s32max
BUF_SIZE 0 samsung s32min-(-1),1-s32max
BUF_SIZE 0 samsung->quirks (-1),3
DATA_SOURCE 0 samsung $0
MEM_ZERO 2 in
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 samsung->backlight_device->props.brightness
NO_OVERFLOW_SIMPLE 0 samsung->kbd_led.blink_delay_off
NO_OVERFLOW_SIMPLE 0 samsung->kbd_led.blink_delay_on
UNITS 0 samsung unit_byte
HALF_LOCKED2 &of->mutex

drivers/platform/x86/samsung-laptop.c write_usb_charge() -> sabi_command()

Type Parameter Key Value
PARAM_VALUE 0 samsung 4096-ptr_max
PARAM_VALUE 2 in 1552767871446626304
PARAM_VALUE 3 out 0
BUF_SIZE 0 samsung s32min-(-2),1-s32max
BUF_SIZE 0 samsung s32min-(-2),1-s32max
DATA_SOURCE 0 samsung $0
MEM_ZERO 2 in
RX_PATH
TASK_NOT_RUNNING
UNITS 0 samsung unit_byte
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex