Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mfd/wm831x-core.c wm831x_device_init() -> wm831x_otp_init()

Type Parameter Key Value
PARAM_VALUE 0 wm831x 4096-ptr_max
PARAM_VALUE 0 wm831x->auxadc_lock.dep_map->name 0-255
PARAM_VALUE 0 wm831x->auxadc_lock.first_waiter 0
PARAM_VALUE 0 wm831x->auxadc_lock.magic 4096-ptr_max
PARAM_VALUE 0 wm831x->auxadc_lock.osq.tail.counter 0
PARAM_VALUE 0 wm831x->auxadc_lock.owner.counter 0
PARAM_VALUE 0 wm831x->auxadc_pending.next 4096-ptr_max
PARAM_VALUE 0 wm831x->auxadc_pending.next->next 4096-ptr_max
PARAM_VALUE 0 wm831x->auxadc_pending.prev 4096-ptr_max
PARAM_VALUE 0 wm831x->auxadc_pending.prev->next 4096-ptr_max
PARAM_VALUE 0 wm831x->auxadc_pending.prev->prev 4096-ptr_max
PARAM_VALUE 0 wm831x->auxadc_read 7244055090203607040
PARAM_VALUE 0 wm831x->dev 4096-ptr_max
PARAM_VALUE 0 wm831x->io_lock.dep_map->name 0-255
PARAM_VALUE 0 wm831x->io_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 wm831x->io_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 wm831x->io_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 wm831x->io_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 wm831x->irq 0
PARAM_VALUE 0 wm831x->irq_domain 4096-ptr_max
PARAM_VALUE 0 wm831x->irq_lock.dep_map->name 0-255
PARAM_VALUE 0 wm831x->irq_lock.first_waiter 0
PARAM_VALUE 0 wm831x->irq_lock.magic 4096-ptr_max
PARAM_VALUE 0 wm831x->irq_lock.osq.tail.counter 0
PARAM_VALUE 0 wm831x->irq_lock.owner.counter 0
PARAM_VALUE 0 wm831x->key_lock.dep_map->name 0-255
PARAM_VALUE 0 wm831x->key_lock.first_waiter 0
PARAM_VALUE 0 wm831x->key_lock.magic 4096-ptr_max
PARAM_VALUE 0 wm831x->key_lock.osq.tail.counter 0
PARAM_VALUE 0 wm831x->key_lock.owner.counter 0
PARAM_VALUE 0 wm831x->locked 1
PARAM_VALUE 0 wm831x->num_gpio 12,16
PARAM_VALUE 0 wm831x->pdata.backlight 0
PARAM_VALUE 0 wm831x->pdata.disable_touch 0
PARAM_VALUE 0 wm831x->pdata.pre_init 0
PARAM_VALUE 0 wm831x->pdata.wm831x_num 0
PARAM_VALUE 0 wm831x->regmap 4096-ptr_max
PARAM_VALUE 0 wm831x->regmap->async 0-1
PARAM_VALUE 0 wm831x->regmap->cache->cached_rbnode->base_reg 0-4294967295
PARAM_VALUE 0 wm831x->regmap->cache->cached_rbnode->node.__rb_parent_color 0-1
PARAM_VALUE 0 wm831x->regmap->cache_dirty 0-1
PARAM_VALUE 0 wm831x->soft_shutdown 0
PARAM_VALUE 0 wm831x->type 1-u32max
PARAM_VALUE 0 *wm831x->irq_masks_cache u16max
PARAM_VALUE 0 *wm831x->irq_masks_cur u16max
BUF_SIZE 0 wm831x 1136
BUF_SIZE 0 wm831x->dev 1616
CAPPED_DATA 0 wm831x->type 1
DATA_SOURCE 0 wm831x $0
FUZZY_MAX 0 wm831x->num_gpio 16
BIT_INFO 0 wm831x->num_gpio 0x0,0x1c
HARD_MAX 0 wm831x->num_gpio 16
MEM_ZERO 0 wm831x
MEM_ZERO 0 wm831x->pdata.backlight
MEM_ZERO 0 wm831x->pdata.backup
MEM_ZERO 0 wm831x->pdata.battery
MEM_ZERO 0 wm831x->pdata.dcdc
MEM_ZERO 0 wm831x->pdata.epe
MEM_ZERO 0 wm831x->pdata.gpio_defaults
MEM_ZERO 0 wm831x->pdata.isink
MEM_ZERO 0 wm831x->pdata.ldo
MEM_ZERO 0 wm831x->pdata.post_init
MEM_ZERO 0 wm831x->pdata.pre_init
MEM_ZERO 0 wm831x->pdata.status
MEM_ZERO 0 wm831x->pdata.touch
MEM_ZERO 0 wm831x->pdata.watchdog
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 wm831x->irq
NO_OVERFLOW_SIMPLE 0 wm831x->irq_domain->hwirq_max
NO_OVERFLOW_SIMPLE 0 wm831x->irq_domain->revmap_size