Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpio/gpio-max3191x.c max3191x_get() -> max3191x_chip_is_faulting()

Type Parameter Key Value
PARAM_VALUE 0 max3191x 4096-ptr_max
BUF_SIZE 0 max3191x s32min-(-2),1-s32max
BUF_SIZE 0 max3191x s32min-(-2),1-s32max
CAPPED_DATA 0 max3191x->nchips 1
CAPPED_DATA 0 &max3191x->lock 1
DATA_SOURCE 0 max3191x r gpiochip_get_data
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &max3191x->lock
TYPE_LOCK (struct max3191x_chip)->lock

drivers/gpio/gpio-max3191x.c max3191x_get_multiple() -> max3191x_chip_is_faulting()

Type Parameter Key Value
PARAM_VALUE 0 max3191x 4096-ptr_max
PARAM_VALUE 1 chipnum 0-8
BUF_SIZE 0 max3191x s32min-(-2),1-s32max
BUF_SIZE 0 max3191x s32min-(-2),1-s32max
CAPPED_DATA 0 max3191x->nchips 1
CAPPED_DATA 0 &max3191x->lock 1
CAPPED_DATA 1 chipnum 1
DATA_SOURCE 0 max3191x r gpiochip_get_data
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &max3191x->lock
HALF_LOCKED2 _T->lock
TYPE_LOCK (struct max3191x_chip)->lock