Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 line 4096-ptr_max
PARAM_VALUE 0 line->irq 0
PARAM_VALUE 0 line->sw_debounced 0
PARAM_VALUE 1 lc 3343180419467296768
PARAM_VALUE 1 lc->num_attrs 0-10
PARAM_VALUE 3 edflags 0,2-4146
CAPPED_DATA 1 lc->num_attrs 1
CAPPED_DATA 2 line_idx 1
CAPPED_DATA 3 edflags 1
CAPPED_DATA 3 edflags 1
DATA_SOURCE 0 line $0
DATA_SOURCE 1 lc $1
DATA_SOURCE 2 line_idx $2
DATA_SOURCE 3 edflags $3
BIT_INFO 3 edflags 0x0,0x1032
BIT_INFO 3 edflags 0x0,0x1032
NOSPEC 1 lc->num_attrs
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

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

Type Parameter Key Value
PARAM_VALUE 0 line 4096-ptr_max
PARAM_VALUE 0 line->desc 4096-ptr_max
PARAM_VALUE 1 lc 5164698662161015072
PARAM_VALUE 1 lc->num_attrs 0-10
PARAM_VALUE 2 line_idx 0-63
PARAM_VALUE 3 edflags 0,2-4146
BUF_SIZE 1 lc 272
CAPPED_DATA 1 lc->num_attrs 1
CAPPED_DATA 2 line_idx 1
FUZZY_MAX 2 line_idx 63
CONSTRAINT 2 line_idx <3859
BIT_INFO 3 edflags 0x0,0x1032
BIT_INFO 3 edflags 0x0,0x1032
NOSPEC 1 lc->num_attrs
HARD_MAX 1 lc->num_attrs 10
HARD_MAX 2 line_idx 63
USER_DATA 1 lc->flags 0-u64max
USER_DATA 1 lc->num_attrs 0-10[c]
USER_DATA 3 edflags 0,2-4146[c]
LOCK2 _T->lock