Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpio/gpio-pmic-eic-sprd.c sprd_pmic_eic_irq_handler() -> sprd_pmic_eic_toggle_trigger()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->gpiodev 4096-ptr_max
PARAM_VALUE 0 chip->ngpio 1-u16max
PARAM_VALUE 2 offset 0-64
BUF_SIZE 0 chip 512
CAPPED_DATA 2 offset 1
DATA_SOURCE 1 irq r irq_find_mapping
DATA_SOURCE 2 offset r find_next_bit
PARAM_COMPARE 0 chip->ngpio > $2
PARAM_COMPARE 2 offset < $0->ngpio
CONSTRAINT 2 offset <90
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL