Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpio/gpiolib.c gpiochip_irq_map() -> gpiochip_irqchip_irq_valid()

Type Parameter Key Value
BUF_SIZE 0 gc s32min-(-1),1-s32max
BUF_SIZE 0 gc s32min-(-1),1-s32max
CAPPED_DATA 1 offset 1
DATA_SOURCE 1 offset $2
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 offset
UNITS 0 gc unit_byte
LOCK2 &d->root->mutex
TYPE_LOCK (struct irq_domain)->mutex

drivers/gpio/gpiolib.c gpiochip_irqchip_remove() -> gpiochip_irqchip_irq_valid()

Type Parameter Key Value
PARAM_VALUE 0 gc 4096-ptr_max
PARAM_VALUE 0 gc->gpiodev 4096-ptr_max
PARAM_VALUE 1 offset 0-65534
BUF_SIZE 0 gc (-1),512
BUF_SIZE 0 gc (-1),512
BUF_SIZE 0 gc->fwnode (-1),64
BUF_SIZE 0 gc->gpiodev (-1),2416
BUF_SIZE 0 gc->label s32min,(-10),(-1)-s32max
BUF_SIZE 0 gc->names (-1)-s32max
BUF_SIZE 0 gc->parent (-1)-0,24-s32max
CAPPED_DATA 0 gc 1
CAPPED_DATA 0 gc->ngpio 1
CAPPED_DATA 1 offset 1
DATA_SOURCE 0 gc $0
STR_LEN 0 gc->label (-1),9-10,12,15
PARAM_COMPARE 0 gc->ngpio > $1
PARAM_COMPARE 1 offset < $0->ngpio
CONSTRAINT 1 offset <90
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 gc->irq.domain->hwirq_max
NO_OVERFLOW_SIMPLE 0 gc->irq.domain->revmap_size
NO_OVERFLOW_SIMPLE 0 gc->ngpio
NO_OVERFLOW_SIMPLE 1 offset
LOCK2 _T->lock
HALF_LOCKED2 &bank->deferred_lock
HALF_LOCKED2 &hdev->driver_input_lock

drivers/gpio/gpiolib.c gpiochip_to_irq() -> gpiochip_irqchip_irq_valid()

Type Parameter Key Value
PARAM_VALUE 0 gc 4096-ptr_max
BUF_SIZE 0 gc s32min-(-1),1-s32max
BUF_SIZE 0 gc s32min-(-1),1-s32max
DATA_SOURCE 0 gc $0
DATA_SOURCE 1 offset $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &s->lock