Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpio/gpio-mmio.c gpio_mmio_set_multiple() -> gpio_mmio_set_multiple_single_reg()

Type Parameter Key Value
PARAM_VALUE 0 gc 4096-ptr_max
PARAM_VALUE 0 gc->set_multiple 1-u64max
BUF_SIZE 1 mask (-1),64
BUF_SIZE 1 mask (-1),64
BUF_SIZE 2 bits (-1),16-s32max
BUF_SIZE 2 bits (-1),16-s32max
CAPPED_DATA 0 gc 1
DATA_SOURCE 0 gc $0
DATA_SOURCE 1 mask $1
DATA_SOURCE 2 bits $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock

drivers/gpio/gpio-mmio.c gpio_mmio_set_multiple_set() -> gpio_mmio_set_multiple_single_reg()

Type Parameter Key Value
PARAM_VALUE 0 gc 4096-ptr_max
PARAM_VALUE 0 gc->set_multiple 1-u64max
BUF_SIZE 1 mask (-1),64
BUF_SIZE 1 mask (-1),64
BUF_SIZE 2 bits (-1),16-s32max
BUF_SIZE 2 bits (-1),16-s32max
CAPPED_DATA 0 gc 1
DATA_SOURCE 0 gc $0
DATA_SOURCE 1 mask $1
DATA_SOURCE 2 bits $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock