Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/dvb-frontends/dib7000p.c dib7000p_demod_reset() -> dib7000p_write_tab()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 0 state->cfg.bw->timf 0,18179755,20199727,20199729,20452225
PARAM_VALUE 0 state->cfg.output_mode 1,5,7
PARAM_VALUE 0 state->current_bandwidth 8000
PARAM_VALUE 0 state->demod.demodulator_priv 4096-ptr_max
PARAM_VALUE 0 state->dib7090_tuner_adap->debugfs->d_inode->i_sb->s_fs_info->wbuf 0-255
PARAM_VALUE 0 state->dib7090_tuner_adap->debugfs->d_inode->i_sb->s_fs_info->wbuf_verify 0-255
PARAM_VALUE 0 state->dib7090_tuner_adap->debugfs->d_inode->i_wb->dwork.timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 state->dib7090_tuner_adap.bus_lock.dep_map->name 0-255
PARAM_VALUE 0 state->dib7090_tuner_adap.bus_recovery_info->pinctrl->dev->power.links_count 0-4294967295
PARAM_VALUE 0 state->dib7090_tuner_adap.bus_recovery_info->scl_gpiod 4096-ptr_max
PARAM_VALUE 0 state->dib7090_tuner_adap.bus_recovery_info->scl_gpiod->debounce_period_us 0-4294967295
PARAM_VALUE 0 state->dib7090_tuner_adap.debugfs->d_alias->next->pprev 1-u64max
PARAM_VALUE 0 state->dib7090_tuner_adap.debugfs->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 state->dib7090_tuner_adap.debugfs->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 state->dib7090_tuner_adap.debugfs->d_op->d_automount 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016
PARAM_VALUE 0 state->dib7090_tuner_adap.debugfs->d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 0 state->dib7090_tuner_adap.debugfs->d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 0 state->dib7090_tuner_adap.debugfs->d_op->d_manage 0,1859587847549206528
PARAM_VALUE 0 state->dib7090_tuner_adap.debugfs->d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 0 state->dib7090_tuner_adap.debugfs->d_op->d_real 0,4509355519306412032
PARAM_VALUE 0 state->dib7090_tuner_adap.debugfs->d_op->d_unalias_trylock 0,6635409759016140800
PARAM_VALUE 0 state->dib7090_tuner_adap.debugfs->d_op->d_unalias_unlock 0,6336447517789900800
PARAM_VALUE 0 state->dib7090_tuner_adap.debugfs->d_op->d_weak_revalidate 0,5632434648052031488,5669063523602272256,7231033168839651328
PARAM_VALUE 0 state->dib7090_tuner_adap.debugfs->d_parent->d_sb->__s_d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 0 state->dib7090_tuner_adap.debugfs->d_parent->d_sb->__s_d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 0 state->dib7090_tuner_adap.debugfs->d_parent->d_sb->__s_d_op->d_manage 0,1859587847549206528
PARAM_VALUE 0 state->dib7090_tuner_adap.debugfs->d_parent->d_sb->__s_d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 0 state->dib7090_tuner_adap.debugfs->d_parent->d_sb->__s_d_op->d_real 0,4509355519306412032
PARAM_VALUE 0 state->dib7090_tuner_adap.debugfs->d_rcu.func 1-u64max
PARAM_VALUE 0 state->dib7090_tuner_adap.debugfs->d_sb->__s_d_op->d_automount 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016
PARAM_VALUE 0 state->dib7090_tuner_adap.debugfs->d_sb->__s_d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 0 state->dib7090_tuner_adap.debugfs->d_sb->__s_d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 0 state->dib7090_tuner_adap.debugfs->d_sb->__s_d_op->d_manage 0,1859587847549206528
PARAM_VALUE 0 state->dib7090_tuner_adap.debugfs->d_sb->__s_d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 0 state->dib7090_tuner_adap.debugfs->d_sb->__s_d_op->d_real 0,4509355519306412032
PARAM_VALUE 0 state->dib7090_tuner_adap.debugfs->d_sb->__s_d_op->d_unalias_trylock 0,6635409759016140800
PARAM_VALUE 0 state->dib7090_tuner_adap.debugfs->d_sb->__s_d_op->d_unalias_unlock 0,6336447517789900800
PARAM_VALUE 0 state->dib7090_tuner_adap.debugfs->d_sb->__s_d_op->d_weak_revalidate 0,5632434648052031488,5669063523602272256,7231033168839651328
PARAM_VALUE 0 state->dib7090_tuner_adap.dev->driver_data->cis_virt (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.devres_head.next->next 4096-ptr_max
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.devres_head.prev->prev 4096-ptr_max
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.devres_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.dma_io_tlb_mem->dyn_alloc.data.counter 9007199250546704
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.dma_io_tlb_mem->dyn_alloc.entry.prev 1473117533515866344
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.dma_io_tlb_mem->dyn_alloc.func 1583282886040592384
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.dma_io_tlb_mem->pools.prev 1473117533515866320
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.dma_io_tlb_pools.next->next 4096-ptr_max
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.dma_io_tlb_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.dma_io_tlb_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.dma_pools.next->next 4096-ptr_max
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.dma_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.dma_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.driver_data->callback->add 5235430000054906880
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.driver_data->callback->early_resume 6956900869090054144
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.driver_data->callback->remove 1719268733136482304
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.driver_data->callback->requery 4713442613417914368
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.driver_data->callback->resume 5068206944467017728
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.driver_data->callback->suspend 2738892915008757760
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.driver_data->callback->validate 4934365872137547776
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.driver_data->cdev->kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.driver_data->cdev->kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.driver_data->cdev->kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.driver_data->cdev->kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.driver_data->cis_mem.flags 0,2-254
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.driver_data->d_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.driver_data->detaching.counter s32min-s32max
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.driver_data->dev.kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.driver_data->dev.kobj.release.cpu s32min-s32max
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.driver_data->dev.kobj.release.timer.flags 0-4294967295
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.driver_data->dev.kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.driver_data->dev.kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.driver_data->dev.kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.driver_data->dev.kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.driver_data->dev.parent->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.driver_data->device_count 0-1
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.driver_data->ops_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.driver_data->ops_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.driver_data->ops_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.driver_data->sfd_lock.dep_map->name 0-255
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.driver_data->sfd_lock.raw_lock.cnts.counter s32min-s32max
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.driver_data->skt_mutex.dep_map->name 0-255
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.driver_data->skt_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.driver_data->skt_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.driver_data->skt_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.kobj->release.timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.kobj.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.links.consumers.next->next 4096-ptr_max
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.links.consumers.prev->next 4096-ptr_max
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.links.consumers.prev->prev 4096-ptr_max
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.links.defer_sync.next->next 4096-ptr_max
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.links.defer_sync.prev->next 4096-ptr_max
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.links.defer_sync.prev->prev 4096-ptr_max
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.links.suppliers.next->next 4096-ptr_max
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.links.suppliers.prev->next 4096-ptr_max
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.links.suppliers.prev->prev 4096-ptr_max
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.p->dead 0-1
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.p->deferred_probe_reason 0-s64max
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.p->klist_children.get 2213798222526185472
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.p->klist_children.put 3126867300421632000
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.p->knode_class->n_klist (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.p->knode_class.n_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.p->knode_parent->n_klist (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.p->knode_parent.n_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.parent->kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.power.entry.next->next 4096-ptr_max
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.power.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.power.entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.power.wait_queue.head.next->next 4096-ptr_max
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.power.wait_queue.head.prev->next 4096-ptr_max
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.power.wait_queue.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 state->dib7090_tuner_adap.dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 state->dib7090_tuner_adap.dev_released.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 state->dib7090_tuner_adap.dev_released.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 state->dib7090_tuner_adap.dev_released.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 state->dib7090_tuner_adap.dev_released.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 state->dib7090_tuner_adap.dev_released.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 state->dib7090_tuner_adap.mux_lock.dep_map->name 0-255
PARAM_VALUE 0 state->dib7090_tuner_adap.userspace_clients.next->next 4096-ptr_max
PARAM_VALUE 0 state->dib7090_tuner_adap.userspace_clients.prev->next 4096-ptr_max
PARAM_VALUE 0 state->dib7090_tuner_adap.userspace_clients.prev->prev 4096-ptr_max
PARAM_VALUE 0 state->dib7090_tuner_adap.userspace_clients_lock.dep_map->name 0-255
PARAM_VALUE 0 state->dib7090_tuner_adap.userspace_clients_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 state->dib7090_tuner_adap.userspace_clients_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 state->i2c_adap 4096-ptr_max
PARAM_VALUE 0 state->i2c_adap->bus_lock.rtmutex.waiters.rb_leftmost->rb_right 0
PARAM_VALUE 0 state->i2c_adap->dev.driver_data->adev->pm.bus_locked 0-1
PARAM_VALUE 0 state->i2c_adap->dev.driver_data->adev->pm.mutex.dep_map->name 0-255
PARAM_VALUE 0 state->i2c_adap->dev.driver_data->adev->pm.mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 state->i2c_adap->dev.driver_data->adev->pm.mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 state->i2c_adap->dev.driver_data->adev->pm.mutex.first_waiter->task->blocked_on 0
PARAM_VALUE 0 state->i2c_adap->dev.driver_data->adev->pm.mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 state->i2c_buffer_lock.dep_map->name 0-255
PARAM_VALUE 0 state->i2c_buffer_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 state->i2c_buffer_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 state->i2c_buffer_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 state->i2c_buffer_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 state->i2c_buffer_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 state->i2c_buffer_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 state->i2c_buffer_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 state->i2c_buffer_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 state->i2c_buffer_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 state->i2c_master.msg->addr 0-u16max
PARAM_VALUE 0 state->i2c_master.msg->flags 0-u16max
PARAM_VALUE 0 state->i2c_master.msg->len 0-u16max
PARAM_VALUE 0 state->msg->addr 0-u16max
PARAM_VALUE 0 state->msg->flags 0-u16max
PARAM_VALUE 0 state->msg->len 0-u16max
PARAM_VALUE 1 buf 220763475435118592
BUF_SIZE 0 state 14072
BUF_SIZE 0 state->i2c_adap (-1),2336
BUF_SIZE 1 buf 154
CAPPED_DATA 0 state->i2c_addr 1
DATA_SOURCE 0 state $0
FUZZY_MAX 0 state->cfg.output_mode 5
BIT_INFO 0 state->cfg.output_mode 0x1,0xffffffffffffffff
MEM_ZERO 0 state->msg
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL