Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpio/gpiolib.c gpio_chip_get_multiple() -> gpiochip_get()

Type Parameter Key Value
PARAM_VALUE 0 gc 4096-ptr_max
PARAM_VALUE 0 gc->get 1-u64max
PARAM_VALUE 0 gc->get_multiple 0
PARAM_VALUE 0 gc->ngpio 1-u16max
PARAM_VALUE 1 offset 0-64
CAPPED_DATA 0 gc 1
CAPPED_DATA 1 offset 1
DATA_SOURCE 0 gc $0
DATA_SOURCE 1 offset r find_next_bit
PARAM_COMPARE 0 gc->ngpio > $1
PARAM_COMPARE 1 offset < $0->ngpio
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 _T->lock

drivers/gpio/gpiolib.c gpio_chip_get_value() -> gpiochip_get()

Type Parameter Key Value
PARAM_VALUE 0 gc 4096-ptr_max
PARAM_VALUE 0 gc->get 1-u64max
DATA_SOURCE 0 gc $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &s->lock
HALF_LOCKED2 _T->lock