Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/base/regmap/regmap-irq.c regmap_add_irq_chip_fwnode() -> read_irq_data()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->chip 4096-ptr_max
PARAM_VALUE 0 data->chip->num_regs 1-s32max
PARAM_VALUE 0 data->get_irq_reg 1-u64max
PARAM_VALUE 0 data->irq_base 0-s32max
PARAM_VALUE 0 data->irq_reg_stride 1-u32max
PARAM_VALUE 0 data->lock.dep_map->name 0-255
PARAM_VALUE 0 data->lock.first_waiter 0
PARAM_VALUE 0 data->lock.magic 4096-ptr_max
PARAM_VALUE 0 data->lock.osq.tail.counter 0
PARAM_VALUE 0 data->lock.owner.counter 0
PARAM_VALUE 0 data->mask_buf 4096-ptr_max
PARAM_VALUE 0 data->mask_buf_def 4096-ptr_max
PARAM_VALUE 0 data->status_buf 16,4096-ptr_max
PARAM_VALUE 0 data->wake_buf 0,4096-ptr_max
BUF_SIZE 0 data 592
BUF_SIZE 0 data->chip (-1)-0,168
BUF_SIZE 0 data->config_buf 8,u64max
BUF_SIZE 0 data->irq_chip.name s32min,(-10),(-1)-s32max
BUF_SIZE 0 data->main_status_buf 4,u64max
BUF_SIZE 0 data->map (-1),1-s32max
BUF_SIZE 0 data->mask_buf 4
BUF_SIZE 0 data->mask_buf_def 4
BUF_SIZE 0 data->prev_status_buf 4,u64max
BUF_SIZE 0 data->status_buf 4
BUF_SIZE 0 data->status_reg_buf 0-u64max
BUF_SIZE 0 data->type_buf 4,u64max
BUF_SIZE 0 data->type_buf_def 4,u64max
BUF_SIZE 0 data->wake_buf 4,u64max
CAPPED_DATA 0 data->chip->num_irqs 1
CAPPED_DATA 0 data->irq_base 1
CAPPED_DATA 0 &data->lock_key 1
DATA_SOURCE 0 data r _kzalloc_noprof
FUZZY_MAX 0 data->irq_reg_stride 1
STR_LEN 0 data->chip->name (-1),17
STR_LEN 0 data->irq_chip.name (-1),17
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 data->chip->num_config_bases
NO_OVERFLOW_SIMPLE 0 data->chip->num_config_regs
NO_OVERFLOW_SIMPLE 0 data->chip->num_main_regs
NO_OVERFLOW_SIMPLE 0 data->chip->num_regs
NO_OVERFLOW_SIMPLE 0 data->irq

drivers/base/regmap/regmap-irq.c regmap_irq_thread() -> read_irq_data()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->chip 4096-ptr_max
PARAM_VALUE 0 data->map->dev->power.wakeirq->status 0-4294967295
DATA_SOURCE 0 data $1
HALF_LOCKED2 &chip->irq_drv_data->lock