Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/regulator/core.c regulator_init_coupling() -> of_check_coupling_data()

Type Parameter Key Value
PARAM_VALUE 0 rdev 4096-ptr_max
PARAM_VALUE 0 rdev->consumer_list.next->next 4096-ptr_max
PARAM_VALUE 0 rdev->consumer_list.prev->next 4096-ptr_max
PARAM_VALUE 0 rdev->consumer_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 rdev->coupling_desc.coupled_rdevs 4096-ptr_max
PARAM_VALUE 0 rdev->desc->name 1-u64max
PARAM_VALUE 0 rdev->desc->ops 4096-ptr_max
PARAM_VALUE 0 rdev->desc->type 0-1
PARAM_VALUE 0 rdev->dev.devres_head.next->next 4096-ptr_max
PARAM_VALUE 0 rdev->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 rdev->dev.devres_head.prev->prev 4096-ptr_max
PARAM_VALUE 0 rdev->dev.dma_io_tlb_mem->dyn_alloc.data.counter 9007199250546704
PARAM_VALUE 0 rdev->dev.dma_io_tlb_mem->dyn_alloc.entry.prev 1473117533515866344
PARAM_VALUE 0 rdev->dev.dma_io_tlb_mem->dyn_alloc.func 1583282886040592384
PARAM_VALUE 0 rdev->dev.dma_io_tlb_mem->pools.prev 1473117533515866320
PARAM_VALUE 0 rdev->dev.dma_io_tlb_pools.next->next 4096-ptr_max
PARAM_VALUE 0 rdev->dev.dma_io_tlb_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 rdev->dev.dma_io_tlb_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 rdev->dev.dma_pools.next->next 4096-ptr_max
PARAM_VALUE 0 rdev->dev.dma_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 rdev->dev.dma_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 rdev->dev.flags 4096-ptr_max
PARAM_VALUE 0 rdev->dev.links.consumers.next->next 4096-ptr_max
PARAM_VALUE 0 rdev->dev.links.consumers.prev->next 4096-ptr_max
PARAM_VALUE 0 rdev->dev.links.consumers.prev->prev 4096-ptr_max
PARAM_VALUE 0 rdev->dev.links.defer_sync.next->next 4096-ptr_max
PARAM_VALUE 0 rdev->dev.links.defer_sync.prev->next 4096-ptr_max
PARAM_VALUE 0 rdev->dev.links.defer_sync.prev->prev 4096-ptr_max
PARAM_VALUE 0 rdev->dev.links.suppliers.next->next 4096-ptr_max
PARAM_VALUE 0 rdev->dev.links.suppliers.prev->next 4096-ptr_max
PARAM_VALUE 0 rdev->dev.links.suppliers.prev->prev 4096-ptr_max
PARAM_VALUE 0 rdev->dev.of_node 4096-ptr_max
PARAM_VALUE 0 rdev->dev.power.entry.next->next 4096-ptr_max
PARAM_VALUE 0 rdev->dev.power.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 rdev->dev.power.entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 rdev->dev.power.wait_queue.head.next->next 4096-ptr_max
PARAM_VALUE 0 rdev->dev.power.wait_queue.head.prev->next 4096-ptr_max
PARAM_VALUE 0 rdev->dev.power.wait_queue.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 rdev->list.next->next 4096-ptr_max
PARAM_VALUE 0 rdev->list.prev->next 4096-ptr_max
PARAM_VALUE 0 rdev->list.prev->prev 4096-ptr_max
PARAM_VALUE 0 rdev->mutex.base.dep_map->name 0-255
PARAM_VALUE 0 rdev->mutex.ww_class->acquire_name 6123211227480948736
PARAM_VALUE 0 rdev->mutex.ww_class->is_wait_die 0
PARAM_VALUE 0 rdev->mutex.ww_class->mutex_name 8730023023955308544
PARAM_VALUE 0 rdev->supply->debugfs->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 rdev->supply->debugfs->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 rdev->supply->debugfs->d_op->d_automount 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016
PARAM_VALUE 0 rdev->supply->debugfs->d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 0 rdev->supply->debugfs->d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 0 rdev->supply->debugfs->d_op->d_manage 0,1859587847549206528
PARAM_VALUE 0 rdev->supply->debugfs->d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 0 rdev->supply->debugfs->d_op->d_real 0,4509355519306412032
PARAM_VALUE 0 rdev->supply->debugfs->d_op->d_unalias_trylock 0,6635409759016140800
PARAM_VALUE 0 rdev->supply->debugfs->d_op->d_unalias_unlock 0,6336447517789900800
PARAM_VALUE 0 rdev->supply->debugfs->d_op->d_weak_revalidate 0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328
PARAM_VALUE 0 rdev->supply->debugfs->d_parent->d_sb->__s_d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 0 rdev->supply->debugfs->d_parent->d_sb->__s_d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 0 rdev->supply->debugfs->d_parent->d_sb->__s_d_op->d_manage 0,1859587847549206528
PARAM_VALUE 0 rdev->supply->debugfs->d_parent->d_sb->__s_d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 0 rdev->supply->debugfs->d_parent->d_sb->__s_d_op->d_real 0,4509355519306412032
PARAM_VALUE 0 rdev->supply->debugfs->d_sb->__s_d_op->d_automount 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016
PARAM_VALUE 0 rdev->supply->debugfs->d_sb->__s_d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 0 rdev->supply->debugfs->d_sb->__s_d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 0 rdev->supply->debugfs->d_sb->__s_d_op->d_manage 0,1859587847549206528
PARAM_VALUE 0 rdev->supply->debugfs->d_sb->__s_d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 0 rdev->supply->debugfs->d_sb->__s_d_op->d_real 0,4509355519306412032
PARAM_VALUE 0 rdev->supply->debugfs->d_sb->__s_d_op->d_unalias_trylock 0,6635409759016140800
PARAM_VALUE 0 rdev->supply->debugfs->d_sb->__s_d_op->d_unalias_unlock 0,6336447517789900800
PARAM_VALUE 0 rdev->supply->debugfs->d_sb->__s_d_op->d_weak_revalidate 0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328
BUF_SIZE 0 rdev 4040
BUF_SIZE 0 rdev->constraints (-1),224
BUF_SIZE 0 rdev->coupling_desc.coupled_rdevs 0-u64max
BUF_SIZE 0 rdev->dev.class (-1),96
BUF_SIZE 0 rdev->dev.of_node (-1)-0,392
BUF_SIZE 0 rdev->reg_data s32min-(-1),1-s32max
BUF_SIZE 0 rdev->supply_name s32min,(-10),(-1),1-s32max
CAPPED_DATA 0 rdev 1
DATA_SOURCE 0 rdev $0
MEM_ZERO 0 &rdev->dev.power.suspend_timer
RX_PATH
TASK_NOT_RUNNING