Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/irqchip/irq-stm32mp-exti.c stm32mp_exti_set_type() -> stm32mp_exti_convert_type()

Type Parameter Key Value
PARAM_VALUE 0 d 4096-ptr_max
PARAM_VALUE 2 rtsr 2209849596389572608
PARAM_VALUE 3 ftsr 4292003490793607168
BUF_SIZE 0 d (-1),56
BUF_SIZE 0 d (-1),56
DATA_SOURCE 0 d $0
DATA_SOURCE 1 type $1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 2 *rtsr 0-u32max
HOST_DATA 3 *ftsr 0-u32max
LOCK2 &chip_data->rlock
HALF_LOCKED2 global &probing_active
TYPE_LOCK (struct stm32mp_exti_chip_data)->rlock