Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mfd/88pm860x-core.c pm860x_device_init() -> device_8607_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->companion 0,4096-ptr_max
PARAM_VALUE 0 chip->core_irq 0
PARAM_VALUE 0 chip->dev 4096-ptr_max
PARAM_VALUE 0 chip->dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 chip->dev->driver_data 4096-ptr_max
PARAM_VALUE 0 chip->id 2
PARAM_VALUE 0 chip->regmap 0-ptr_max
PARAM_VALUE 0 chip->regmap_companion 0-ptr_max
PARAM_VALUE 1 i2c 4096-ptr_max
PARAM_VALUE 1 i2c->adapter 4096-ptr_max
PARAM_VALUE 1 i2c->debugfs 4096-u64max
PARAM_VALUE 1 i2c->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 1 i2c->devres_group_id 4096-ptr_max
PARAM_VALUE 2 pdata 4096-ptr_max
BUF_SIZE 0 chip 384
BUF_SIZE 0 chip->dev 1616
BUF_SIZE 2 pdata 1-s32max
BUF_SIZE 2 pdata 1-s32max
CAPPED_DATA 0 chip->client->irq 1
CAPPED_DATA 1 i2c->irq 1
CAPPED_DATA 2 pdata->companion_addr 1
DATA_SOURCE 0 chip $0
DATA_SOURCE 2 pdata $1
MEM_ZERO 0 chip
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 chip->client->irq
NO_OVERFLOW_SIMPLE 1 i2c->irq

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

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->buck3_double 0
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->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 chip->client->dev.driver_data->osc_lock->magic (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 chip->client->dev.driver_data->osc_lock.dep_map->name 0-255
PARAM_VALUE 0 chip->client->devres_group_id 4096-ptr_max
PARAM_VALUE 0 chip->companion 4096-ptr_max
PARAM_VALUE 0 chip->core_irq 0
PARAM_VALUE 0 chip->dev 4096-ptr_max
PARAM_VALUE 0 chip->dev->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 chip->dev->kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 chip->dev->kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 chip->id 1
PARAM_VALUE 0 chip->irq_base 0
PARAM_VALUE 0 chip->irq_lock.dep_map->name 0-255
PARAM_VALUE 0 chip->irq_mode 0
PARAM_VALUE 0 chip->regmap 0-ptr_max
PARAM_VALUE 0 chip->regmap_companion 0-ptr_max
PARAM_VALUE 1 i2c 4096-ptr_max
PARAM_VALUE 2 pdata 4096-ptr_max
PARAM_VALUE 2 pdata->chg_desc->charger_regulators 8255845160808632320
PARAM_VALUE 2 pdata->chg_desc->num_charger_regulators 1
PARAM_VALUE 2 pdata->num_backlights 3
PARAM_VALUE 2 pdata->num_leds 6
BUF_SIZE 0 chip 384
BUF_SIZE 0 chip->dev 1616
BUF_SIZE 2 pdata 1-s32max
BUF_SIZE 2 pdata 1-s32max
CAPPED_DATA 0 chip->client 1
CAPPED_DATA 0 chip->client->irq 1
CAPPED_DATA 2 pdata->companion_addr 1
DATA_SOURCE 0 chip $0
DATA_SOURCE 2 pdata $1
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