Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/acpi/acpi_video.c acpi_video_bqc_quirk() -> acpi_video_device_lcd_set_level()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->backlight->dev.iommu_group->owner_cnt 0-4294967295
PARAM_VALUE 0 device->backlight->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 device->backlight->ops->controls_device 0,674960432281071616,2574549058847490048,3972837193662005248
PARAM_VALUE 0 device->backlight->ops->options 0-1
PARAM_VALUE 0 device->brightness 4096-ptr_max
PARAM_VALUE 0 device->brightness->flags._BCL_no_ac_battery_levels 1
PARAM_VALUE 0 device->brightness->flags._BCL_reversed 1
PARAM_VALUE 0 device->brightness->flags._BQC_use_index 1
PARAM_VALUE 0 device->dev 4096-ptr_max
PARAM_VALUE 0 device->dev->handle 4096-ptr_max
PARAM_VALUE 0 device->dev->handle->common.descriptor_type 15
PARAM_VALUE 0 device->video 4096-ptr_max
DATA_SOURCE 0 device $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 device->backlight->props.brightness
LOCK2 &video->device_list_lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &video_list_lock
TYPE_LOCK (struct acpi_video_bus)->device_list_lock

drivers/acpi/acpi_video.c acpi_video_init_brightness() -> acpi_video_device_lcd_set_level()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->backlight->dev.dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 0 device->backlight->dev.dma_io_tlb_mem->debugfs 0-s64max
PARAM_VALUE 0 device->backlight->dev.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 device->backlight->dev.dma_io_tlb_mem->force_bounce 0-1
PARAM_VALUE 0 device->backlight->dev.dma_io_tlb_mem->nslabs 0-s64max
PARAM_VALUE 0 device->backlight->dev.dma_io_tlb_mem->phys_limit 0-s64max
PARAM_VALUE 0 device->backlight->dev.iommu_group->owner_cnt 0-4294967295
PARAM_VALUE 0 device->backlight->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 device->backlight->dev.parent->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 device->backlight->dev.parent->kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 device->backlight->dev.parent->kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 device->backlight->ops->controls_device 0,674960432281071616,2574549058847490048,3972837193662005248
PARAM_VALUE 0 device->backlight->ops->options 0-1
PARAM_VALUE 0 device->brightness 4096-ptr_max
PARAM_VALUE 0 device->cooling_dev->device.dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 0 device->cooling_dev->device.dma_io_tlb_mem->debugfs 0-s64max
PARAM_VALUE 0 device->cooling_dev->device.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 device->cooling_dev->device.dma_io_tlb_mem->force_bounce 0-1
PARAM_VALUE 0 device->cooling_dev->device.dma_io_tlb_mem->nslabs 0-s64max
PARAM_VALUE 0 device->cooling_dev->device.dma_io_tlb_mem->phys_limit 0-s64max
PARAM_VALUE 0 device->cooling_dev->device.iommu_group->owner_cnt 0-4294967295
PARAM_VALUE 0 device->cooling_dev->device.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 device->cooling_dev->device.parent->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 device->cooling_dev->device.parent->kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 device->cooling_dev->device.parent->kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 device->cooling_dev->ops->get_cur_state 4096-ptr_max
PARAM_VALUE 0 device->cooling_dev->ops->get_max_state 4096-ptr_max
PARAM_VALUE 0 device->cooling_dev->ops->get_requested_power 0,7277979747621191680,7871207863744667648
PARAM_VALUE 0 device->cooling_dev->ops->power2state 0,4521365994004848640,7375531970282631168
PARAM_VALUE 0 device->cooling_dev->ops->set_cur_state 4096-ptr_max
PARAM_VALUE 0 device->cooling_dev->ops->state2power 0,3535664626711678976,4373884764976095232
PARAM_VALUE 0 device->dev 4096-ptr_max
PARAM_VALUE 0 device->dev->handle 0,4096-ptr_max,(-1)
PARAM_VALUE 0 device->dev->handle->common.descriptor_type 15
PARAM_VALUE 0 device->video 4096-ptr_max
DATA_SOURCE 0 device $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 device->backlight->props.brightness
LOCK2 &video->device_list_lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &video_list_lock
TYPE_LOCK (struct acpi_video_bus)->device_list_lock

drivers/acpi/acpi_video.c acpi_video_resume() -> acpi_video_device_lcd_set_level()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->brightness 4096-ptr_max
NOCHECK_CALL

drivers/acpi/acpi_video.c acpi_video_set_brightness() -> acpi_video_device_lcd_set_level()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->brightness 4096-ptr_max
PARAM_VALUE 0 device->brightness->levels 4096-ptr_max
BUF_SIZE 0 device s32min-(-2),1-s32max
BUF_SIZE 0 device s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 device unit_byte
HALF_LOCKED2 &bd->update_lock
HALF_LOCKED2 &connector->mutex
HALF_LOCKED2 &panel->follower_lock
HALF_LOCKED2 global &drm_unplug_srcu

drivers/acpi/acpi_video.c acpi_video_switch_brightness() -> acpi_video_device_lcd_set_level()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->backlight 1-u64max
PARAM_VALUE 0 device->brightness 4096-ptr_max
CAPPED_DATA 0 device->brightness->count 1
CAPPED_DATA 1 level 1
DATA_SOURCE 1 level r acpi_video_get_next_level
BIT_INFO 1 level 0x0,0x7fffffff
HALF_LOCKED2 &pool->lock

drivers/acpi/acpi_video.c video_set_cur_state() -> acpi_video_device_lcd_set_level()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->brightness 4096-ptr_max
PARAM_VALUE 0 device->brightness->levels 4096-ptr_max
BUF_SIZE 0 device s32min-(-2),1-s32max
BUF_SIZE 0 device s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 device unit_byte
LOCK2 &cooling_dev->lock
HALF_LOCKED2 &of->mutex
TYPE_LOCK (struct thermal_cooling_device)->lock