Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/leds/led-core.c led_blink_setup() -> led_set_software_blink()

Type Parameter Key Value
PARAM_VALUE 0 led_cdev 4096-ptr_max
PARAM_VALUE 0 led_cdev->dev->dma_io_tlb_mem->phys_limit 0-s64max
PARAM_VALUE 0 led_cdev->dev->kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 led_cdev->dev->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 led_cdev->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 led_cdev->trigger_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 led_cdev->trigger_lock.first_waiter->type 0-1
BUF_SIZE 0 led_cdev s32min-(-1),1-s32max
BUF_SIZE 0 led_cdev s32min-(-1),1-s32max
BUF_SIZE 0 led_cdev->brightness_get (-1),8
BUF_SIZE 0 led_cdev->brightness_set (-1),8
BUF_SIZE 0 led_cdev->brightness_set_blocking (-1),8
BUF_SIZE 0 led_cdev->default_trigger s32min,(-10),(-1),1-s32max
BUF_SIZE 0 led_cdev->dev (-1),1616
BUF_SIZE 0 led_cdev->dev->driver_data (-1),769-2020972
BUF_SIZE 0 led_cdev->dev->groups (-1)-0,16
BUF_SIZE 0 led_cdev->dev->parent (-1),1616
BUF_SIZE 0 led_cdev->groups (-1)-0,16
BUF_SIZE 0 led_cdev->hw_control_trigger (-1),7
BUF_SIZE 0 led_cdev->name s32min,(-10),(-1)-s32max
DATA_SOURCE 0 led_cdev $0
STR_LEN 0 led_cdev->default_trigger (-1),4-5,7,9-13,20,24
STR_LEN 0 led_cdev->dev->parent (-1),20,23
STR_LEN 0 led_cdev->hw_control_trigger (-1),6
STR_LEN 0 led_cdev->name (-1),5-6,8-23,28,31,36
STR_LEN 0 led_cdev->trigger->name (-1),3,5-13,15,21
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 led_cdev->brightness 1-16777215[c]
HOST_DATA 0 led_cdev->set_brightness_work.data.counter 0
USER_DATA 0 led_cdev->max_brightness 1-s32max
USER_DATA 1 delay_on 0-u64max
USER_DATA 2 delay_off 0-u64max
NO_OVERFLOW_SIMPLE 0 led_cdev->blink_brightness
NO_OVERFLOW_SIMPLE 0 led_cdev->blink_delay_off
NO_OVERFLOW_SIMPLE 0 led_cdev->blink_delay_on
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 rcu_read
HALF_LOCKED2 0 &led_cdev->led_access
HALF_LOCKED2 0 &led_cdev->trigger_lock