Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpio/gpio-brcmstb.c brcmstb_gpio_irq_bank_handler() -> brcmstb_gpio_get_active_irqs()

Type Parameter Key Value
PARAM_VALUE 0 bank 4096-ptr_max
PARAM_VALUE 0 bank->parent_priv 4096-ptr_max
DATA_SOURCE 0 bank $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 _T->lock
HALF_LOCKED2 irq

drivers/gpio/gpio-brcmstb.c brcmstb_gpio_irq_bank_handler() -> brcmstb_gpio_get_active_irqs()

Type Parameter Key Value
PARAM_VALUE 0 bank 4096-ptr_max
PARAM_VALUE 0 bank->parent_priv 4096-ptr_max
DATA_SOURCE 0 bank $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 _T->lock
HALF_LOCKED2 irq