Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 line 4096-ptr_max
PARAM_VALUE 1 lc 3343180419467296768
PARAM_VALUE 1 lc->num_attrs 0-10
PARAM_VALUE 3 edflags 0,2-4146
CAPPED_DATA 2 line_idx 1
CAPPED_DATA 3 edflags 1
CAPPED_DATA 3 edflags 1
BIT_INFO 3 edflags 0x0,0x1032
BIT_INFO 3 edflags 0x0,0x1032
NOSPEC 1 lc->num_attrs
NOSPEC 3 edflags
NOSPEC 3 edflags
USER_DATA 1 lc->flags 0-u64max
USER_DATA 1 lc->num_attrs 0-10[c]
USER_DATA 3 edflags 0,2-4146[c]
USER_PTR 1 lc->attrs
USER_PTR 1 lc->padding
LOCK2 _T->lock