Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/mfd/88pm800.c device_800_init() -> device_rtc_init()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->dev 0,4096-ptr_max
PARAM_VALUE 0 chip->irq s32min-(-1),1-s32max
PARAM_VALUE 0 chip->regmap 4096-ptr_max
PARAM_VALUE 0 chip->regmap->async 0
PARAM_VALUE 0 chip->regmap->cache->cached_rbnode->base_reg 0-4294967295
PARAM_VALUE 0 chip->regmap->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 chip->regmap->cache_dirty 1
PARAM_VALUE 0 chip->regmap->lock 4096-ptr_max
PARAM_VALUE 0 chip->regmap->unlock 4096-ptr_max
PARAM_VALUE 0 chip->regmap_irq_chip 5751180479141126144
PARAM_VALUE 0 chip->subchip 4096-ptr_max
PARAM_VALUE 0 chip->subchip->gpadc_page 0,(-4095)-(-1)
PARAM_VALUE 0 chip->subchip->power_page 0,(-4095)-(-1)
PARAM_VALUE 0 chip->subchip->regmap_gpadc->cache->cached_rbnode->base_reg 0-4294967295
PARAM_VALUE 0 chip->subchip->regmap_gpadc->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 chip->subchip->regmap_gpadc->cache_dirty 1
PARAM_VALUE 1 pdata 0,4096-ptr_max
BUF_SIZE 0 chip s32min-(-2),1-s32max
BUF_SIZE 0 chip s32min-(-2),1-s32max
BUF_SIZE 0 chip->regmap_irq_chip 168
BUF_SIZE 0 chip->subchip 40
BUF_SIZE 1 pdata 1-s32max
BUF_SIZE 1 pdata 1-s32max
CAPPED_DATA 0 chip->regmap->rd_table->n_yes_ranges 1
CAPPED_DATA 0 chip->regmap->volatile_table->n_no_ranges 1
CAPPED_DATA 0 chip->regmap->volatile_table->n_yes_ranges 1
CAPPED_DATA 0 chip->subchip->regmap_gpadc->rd_table->n_yes_ranges 1
CAPPED_DATA 0 chip->subchip->regmap_gpadc->volatile_table->n_no_ranges 1
CAPPED_DATA 0 chip->subchip->regmap_gpadc->volatile_table->n_yes_ranges 1
DATA_SOURCE 0 chip $0
DATA_SOURCE 1 pdata $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 chip->regmap_irq_chip->num_irqs
UNITS 0 chip unit_byte

drivers/mfd/88pm860x-core.c device_8607_init() -> device_rtc_init()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->client 4096-ptr_max
PARAM_VALUE 0 chip->client->adapter 4096-ptr_max
PARAM_VALUE 0 chip->client->debugfs 4096-u64max
PARAM_VALUE 0 chip->client->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 chip->client->devres_group_id 4096-ptr_max
PARAM_VALUE 0 chip->core_irq 0
PARAM_VALUE 0 chip->dev 4096-ptr_max
PARAM_VALUE 0 chip->id 1-2
PARAM_VALUE 0 chip->irq_base 0-s32max
PARAM_VALUE 0 chip->irq_lock.dep_map->name 0-255
PARAM_VALUE 0 chip->irq_lock.first_waiter 0
PARAM_VALUE 0 chip->irq_lock.magic 4096-ptr_max
PARAM_VALUE 0 chip->irq_lock.osq.tail.counter 0
PARAM_VALUE 0 chip->irq_lock.owner.counter 0
PARAM_VALUE 0 chip->irq_mode 0-1
PARAM_VALUE 0 chip->regmap 0-ptr_max
PARAM_VALUE 0 chip->regmap_companion 0-ptr_max
PARAM_VALUE 1 pdata 4096-ptr_max
BUF_SIZE 0 chip 384
BUF_SIZE 0 chip->companion (-1)-0,8-s32max
BUF_SIZE 0 chip->dev 1616
BUF_SIZE 1 pdata 1-s32max
BUF_SIZE 1 pdata 1-s32max
CAPPED_DATA 0 chip->client 1
CAPPED_DATA 1 pdata->companion_addr 1
DATA_SOURCE 0 chip $0
DATA_SOURCE 1 pdata $2
FUZZY_MAX 0 chip->irq_base 0
HARD_MAX 0 chip->id 2
MEM_ZERO 0 chip
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 chip->client->irq
NO_OVERFLOW_SIMPLE 0 chip->core_irq