Defined in 5 files as a member:

Defined in 2 files as a function:

Referenced in 9 files:

Smatch caller information:

drivers/platform/x86/samsung-laptop.c check_for_stepping_quirk() -> set_brightness()

Type Parameter Key Value
PARAM_VALUE 0 bd 4096-ptr_max
PARAM_VALUE 0 bd->config 4096-ptr_max
PARAM_VALUE 0 bd->config->commands.get_battery_life_extender 0,101,u16max
PARAM_VALUE 0 bd->config->commands.get_lid_handling 0,109,u16max
PARAM_VALUE 0 bd->config->commands.get_usb_charge 0,103,u16max
PARAM_VALUE 0 bd->config->commands.kbd_backlight 0,120,u16max
PARAM_VALUE 0 bd->config->commands.set_linux 0,10,255
PARAM_VALUE 0 bd->config->sabi_version 0,2-3
PARAM_VALUE 0 bd->config->test_string 4096-ptr_max
PARAM_VALUE 0 bd->handle_backlight 1
PARAM_VALUE 0 bd->platform_device 4096-ptr_max
PARAM_VALUE 0 bd->platform_device->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 bd->quirks 1525418754989367296
PARAM_VALUE 0 bd->sabi 4096-ptr_max
PARAM_VALUE 0 bd->sabi_mutex.dep_map->name 0-255
PARAM_VALUE 0 bd->sabi_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 bd->sabi_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 bd->sabi_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 bd->sabi_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 bd->sabi_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 1 value 1
BUF_SIZE 0 bd 1328
BUF_SIZE 0 bd->quirks 3
DATA_SOURCE 0 bd $0
NOCHECK_CALL

drivers/platform/x86/samsung-laptop.c check_for_stepping_quirk() -> set_brightness()

Type Parameter Key Value
PARAM_VALUE 0 bd 4096-ptr_max
PARAM_VALUE 0 bd->config 4096-ptr_max
PARAM_VALUE 0 bd->config->commands.get_battery_life_extender 0,101,u16max
PARAM_VALUE 0 bd->config->commands.get_lid_handling 0,109,u16max
PARAM_VALUE 0 bd->config->commands.get_usb_charge 0,103,u16max
PARAM_VALUE 0 bd->config->commands.kbd_backlight 0,120,u16max
PARAM_VALUE 0 bd->config->commands.set_linux 0,10,255
PARAM_VALUE 0 bd->config->sabi_version 0,2-3
PARAM_VALUE 0 bd->config->test_string 4096-ptr_max
PARAM_VALUE 0 bd->handle_backlight 1
PARAM_VALUE 0 bd->has_stepping_quirk 0
PARAM_VALUE 0 bd->platform_device 4096-ptr_max
PARAM_VALUE 0 bd->platform_device->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 bd->quirks 1525418754989367296
PARAM_VALUE 0 bd->sabi 4096-ptr_max
PARAM_VALUE 0 bd->sabi_mutex.dep_map->name 0-255
PARAM_VALUE 0 bd->sabi_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 bd->sabi_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 bd->sabi_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 bd->sabi_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 bd->sabi_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 1 value 1-253
BUF_SIZE 0 bd 1328
BUF_SIZE 0 bd->quirks 3
CAPPED_DATA 1 value 1
DATA_SOURCE 0 bd $0
NOCHECK_CALL

drivers/platform/x86/samsung-laptop.c check_for_stepping_quirk() -> set_brightness()

Type Parameter Key Value
PARAM_VALUE 0 bd 4096-ptr_max
PARAM_VALUE 0 bd->config 4096-ptr_max
PARAM_VALUE 0 bd->config->commands.get_battery_life_extender 0,101,u16max
PARAM_VALUE 0 bd->config->commands.get_lid_handling 0,109,u16max
PARAM_VALUE 0 bd->config->commands.get_usb_charge 0,103,u16max
PARAM_VALUE 0 bd->config->commands.kbd_backlight 0,120,u16max
PARAM_VALUE 0 bd->config->commands.set_linux 0,10,255
PARAM_VALUE 0 bd->config->sabi_version 0,2-3
PARAM_VALUE 0 bd->config->test_string 4096-ptr_max
PARAM_VALUE 0 bd->handle_backlight 1
PARAM_VALUE 0 bd->platform_device 4096-ptr_max
PARAM_VALUE 0 bd->platform_device->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 bd->quirks 1525418754989367296
PARAM_VALUE 0 bd->sabi 4096-ptr_max
PARAM_VALUE 0 bd->sabi_mutex.dep_map->name 0-255
PARAM_VALUE 0 bd->sabi_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 bd->sabi_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 bd->sabi_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 bd->sabi_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 bd->sabi_mutex.osq.tail.counter 0-s32max
BUF_SIZE 0 bd 1328
BUF_SIZE 0 bd->quirks 3
CAPPED_DATA 1 value 1
DATA_SOURCE 0 bd $0
DATA_SOURCE 1 value r read_brightness
NOCHECK_CALL

drivers/platform/x86/samsung-laptop.c update_status() -> set_brightness()

Type Parameter Key Value
PARAM_VALUE 0 bd 4096-ptr_max
BUF_SIZE 0 bd s32min-(-2),1-s32max
BUF_SIZE 0 bd s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 value 0-255
USER_DATA 1 value 0-255[c]
UNITS 0 bd unit_byte
UNITS 1 value unit_array_size
HALF_LOCKED2 &bd->update_lock
HALF_LOCKED2 &connector->mutex
HALF_LOCKED2 &panel->follower_lock
HALF_LOCKED2 global &drm_unplug_srcu

drivers/platform/x86/eeepc-laptop.c update_bl_status() -> set_brightness()

Type Parameter Key Value
PARAM_VALUE 0 bd 4096-ptr_max
PARAM_VALUE 0 bd->dev.dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 0 bd->dev.dma_io_tlb_mem->debugfs 0-s64max
PARAM_VALUE 0 bd->dev.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 bd->dev.dma_io_tlb_mem->force_bounce 0-1
PARAM_VALUE 0 bd->dev.dma_io_tlb_mem->nslabs 0-s64max
PARAM_VALUE 0 bd->dev.dma_io_tlb_mem->phys_limit 0-s64max
PARAM_VALUE 0 bd->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 bd->ops 4096-ptr_max
PARAM_VALUE 0 bd->ops->controls_device 0,674960432281071616,2574549058847490048,3972837193662005248
PARAM_VALUE 0 bd->ops->get_brightness 0,4096-ptr_max
PARAM_VALUE 0 bd->ops->options 0-1
BUF_SIZE 0 bd s32min-(-1),1-s32max
BUF_SIZE 0 bd s32min-(-1),1-s32max
BUF_SIZE 0 bd->ops (-1),32
DATA_SOURCE 0 bd $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 bd->props.brightness 0-16777215
HOST_DATA 0 bd->props.max_brightness 0-16777215
HOST_DATA 1 value 0-16777215
USER_DATA 0 bd->props.brightness 1-s32max[c]
USER_DATA 0 bd->props.power s32min-s32max
USER_DATA 1 value 1-s32max[c]
NO_OVERFLOW_SIMPLE 0 bd->props.max_brightness
UNITS 1 value unit_array_size
HALF_LOCKED2 &connector->mutex
HALF_LOCKED2 &panel->follower_lock
HALF_LOCKED2 global &drm_unplug_srcu
HALF_LOCKED2 0 &bd->ops_lock
HALF_LOCKED2 0 &bd->update_lock