Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpio/gpiolib-cdev.c linereq_create() -> gpio_v2_line_config_output_value()

Type Parameter Key Value
PARAM_VALUE 0 lc 5164698662161015072
PARAM_VALUE 0 lc->num_attrs 0-10
PARAM_VALUE 1 line_idx 0-63
BUF_SIZE 0 lc 272
CAPPED_DATA 0 lc->num_attrs 1
CAPPED_DATA 1 line_idx 1
FUZZY_MAX 1 line_idx 63
CONSTRAINT 1 line_idx <3859
NOSPEC 0 lc->num_attrs
HARD_MAX 0 lc->num_attrs 10
HARD_MAX 1 line_idx 63
USER_DATA 0 lc->flags 0-u64max
USER_DATA 0 lc->num_attrs 0-10[c]
LOCK2 _T->lock

drivers/gpio/gpiolib-cdev.c linereq_set_config() -> gpio_v2_line_config_output_value()

Type Parameter Key Value
PARAM_VALUE 0 lc 3343180419467296768
PARAM_VALUE 0 lc->num_attrs 0-10
CAPPED_DATA 1 line_idx 1
NOSPEC 0 lc->num_attrs
USER_DATA 0 lc->flags 0-u64max
USER_DATA 0 lc->num_attrs 0-10[c]
USER_PTR 0 lc->attrs
USER_PTR 0 lc->padding
LOCK2 _T->lock