Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/video/backlight/pwm_bl.c pwm_backlight_update_status() -> compute_duty_cycle()

Type Parameter Key Value
PARAM_VALUE 0 pb 4096-ptr_max
PARAM_VALUE 1 brightness 1-s32max
PARAM_VALUE 2 state 5280399832279851008
BUF_SIZE 0 pb s32min-(-2),1-s32max
BUF_SIZE 0 pb s32min-(-2),1-s32max
FUZZY_MAX 1 brightness 1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 brightness 1-16777215
USER_DATA 1 brightness 1-s32max[c]
UNITS 0 pb unit_byte
UNITS 1 brightness unit_array_size
HALF_LOCKED2 &bl->update_lock
HALF_LOCKED2 &connector->mutex
HALF_LOCKED2 &panel->follower_lock
HALF_LOCKED2 global &drm_unplug_srcu