Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/leds/leds-lp5523.c lp5523_init_program_engine() -> lp5523_run_engine()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->cfg 4096-ptr_max
PARAM_VALUE 0 chip->cfg->enable.addr 0-2,5-7,13,16,22,34,38,58,61,63,70,72,80
PARAM_VALUE 0 chip->cfg->enable.val 0,64,192,255
PARAM_VALUE 0 chip->cfg->post_init_device 1-u64max
PARAM_VALUE 0 chip->cfg->reset.addr 0-2,5-7,13,16,22,34,38,58,61,63,70,72,80
PARAM_VALUE 0 chip->cfg->reset.val 0,64,192,255
PARAM_VALUE 0 chip->cl 4096-ptr_max
PARAM_VALUE 0 chip->cl->adapter 4096-ptr_max
PARAM_VALUE 0 chip->cl->adapter->bus_lock.dep_map->name 0-255
PARAM_VALUE 0 chip->cl->adapter->bus_lock.rtmutex.waiters.rb_leftmost->rb_right 0
PARAM_VALUE 0 chip->cl->adapter->dev.driver_data->adev->pm.bus_locked 0-1
PARAM_VALUE 0 chip->cl->adapter->dev.driver_data->adev->pm.mutex.dep_map->name 0-255
PARAM_VALUE 0 chip->cl->adapter->dev.driver_data->adev->pm.mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 chip->cl->adapter->dev.driver_data->adev->pm.mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 chip->cl->adapter->dev.driver_data->adev->pm.mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 chip->cl->adapter->dev.driver_data->mutex->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 chip->cl->adapter->dev.driver_data->mutex->wait_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 chip->cl->adapter->lock_ops 4096-ptr_max
PARAM_VALUE 0 chip->cl->debugfs 4096-u64max
PARAM_VALUE 0 chip->cl->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 chip->cl->devres_group_id 4096-ptr_max
PARAM_VALUE 0 chip->engine_idx 1-3
PARAM_VALUE 0 chip->lock.dep_map->name 0-255
PARAM_VALUE 0 chip->lock.first_waiter 0
PARAM_VALUE 0 chip->lock.magic 4096-ptr_max
PARAM_VALUE 0 chip->lock.osq.tail.counter 0
PARAM_VALUE 0 chip->lock.owner.counter 0
PARAM_VALUE 0 chip->pdata 4096-ptr_max
PARAM_VALUE 0 chip->pdata->enable_gpiod 0,4096-u64max
PARAM_VALUE 0 chip->pdata->enable_gpiod->debounce_period_us 0-4294967295
PARAM_VALUE 1 start 1
BUF_SIZE 0 chip->pdata 1-s32max
CAPPED_DATA 0 chip->cfg->enable.val 1
CAPPED_DATA 0 chip->cl->adapter->retries 1
DATA_SOURCE 0 chip $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 chip->cl->irq
NO_OVERFLOW_SIMPLE 0 chip->pdata->num_channels

drivers/leds/leds-lp55xx-common.c lp55xx_run_engine() -> (struct lp55xx_device_config)->run_engine()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->cfg 4096-ptr_max
PARAM_VALUE 0 chip->cfg->run_engine 1-u64max
DATA_SOURCE 0 chip $0
DATA_SOURCE 1 start $1
CONTAINER 0 -72-176+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 _T->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/leds/leds-lp55xx-common.c lp55xx_store_engine_mode() -> (struct lp55xx_device_config)->run_engine()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->cfg 4096-ptr_max
PARAM_VALUE 0 chip->engine_idx 1-3
PARAM_VALUE 0 chip->engines 4096-ptr_max
PARAM_VALUE 1 start 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
LOCK2 _T->lock
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex