Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpio/gpio-dwapb.c dwapb_do_irq() -> dwapb_toggle_trigger()

Type Parameter Key Value
PARAM_VALUE 0 gpio 4096-ptr_max
PARAM_VALUE 0 gpio->ports 4096-ptr_max
PARAM_VALUE 1 offs 0-31
BUF_SIZE 0 gpio s32min-(-1),1-s32max
BUF_SIZE 0 gpio s32min-(-1),1-s32max
CAPPED_DATA 1 offs 1
DATA_SOURCE 0 gpio $0
DATA_SOURCE 1 offs r find_next_bit
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 gpio unit_byte
HALF_LOCKED2 _T->lock
HALF_LOCKED2 irq

drivers/gpio/gpio-dwapb.c dwapb_irq_set_type() -> dwapb_toggle_trigger()

Type Parameter Key Value
PARAM_VALUE 0 gpio 4096-ptr_max
DATA_SOURCE 0 gpio r to_dwapb_gpio
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 offs unit_array_size
LOCK2 &(_T->lock)->lock
LOCK2 _T->flags