Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/host1x/dev.c host1x_probe() -> host1x_debug_deinit()

Type Parameter Key Value
PARAM_VALUE 0 host1x 4096-ptr_max
PARAM_VALUE 0 host1x->bases 1-u64max
PARAM_VALUE 0 host1x->cache.lock.dep_map->name 0-255
PARAM_VALUE 0 host1x->cache.lock.first_waiter 0
PARAM_VALUE 0 host1x->cache.lock.magic 4096-ptr_max
PARAM_VALUE 0 host1x->cache.lock.osq.tail.counter 0
PARAM_VALUE 0 host1x->cache.lock.owner.counter 0
PARAM_VALUE 0 host1x->cdma_op 0,4096-ptr_max
PARAM_VALUE 0 host1x->cdma_op->flush 121158751027339264,1628670843280642048,3869856586907455488,4323367912911527936,4648157976840327168,4882780217086742528,7729716040036700160,8040233924639256576
PARAM_VALUE 0 host1x->cdma_op->freeze 687520733181927424,2086139531311022080,3839013337249570816,5899577968402292736,6115176842177224704,6239020684620738560,7344574088118067200,8502897228116303872
PARAM_VALUE 0 host1x->cdma_op->resume 651475050260758528,2593100281003708416,4863186670995443712,4888651289111171072,5309629640387960832,5390218756466216960,7698049175621402624,8890979048953978880
PARAM_VALUE 0 host1x->cdma_op->start 3341332487669972992,3920725477219102720,5075195004002713600,6849761105381126144,7159045568047788032,8104831153073483776,8267731114390130688,8685349378571415552
PARAM_VALUE 0 host1x->cdma_op->stop 146721063619072000,1232642811631566848,1639276898307624960,1905451963305312256,3108320635706269696,7940102085670494208,8624877199019937792,8653736742208008192
PARAM_VALUE 0 host1x->cdma_op->timeout_cpu_incr 314176922428141568,1944270856892538880,3679081779112828928,5219482395149574144,6806180765913460736,6851789557718179840,7250359332730429440,7252513619280285696
PARAM_VALUE 0 host1x->cdma_op->timeout_destroy 1200114256576819200,2063202488243564544,3828490275388186624,4682176426005008384,5612486205798248448,5968676643676348416,8951752748066369536,9192253146215587840
PARAM_VALUE 0 host1x->cdma_op->timeout_init 27692939866566656,2924737830076743680,3192877359350784000,3402096777579597824,3604539857621585920,4983801201042694144,6209556909084667904,7680082761181913088
PARAM_VALUE 0 host1x->cdma_pb_op 0,4096-ptr_max
PARAM_VALUE 0 host1x->cdma_pb_op->init 55676945430581248,473963209339891712,3599935935861829632,4933964713310674944,5360271364021571584,6177988272922652672,6277203389915701248,6734065762790793216
PARAM_VALUE 0 host1x->channel_list.allocated_channels 16,4096-ptr_max
PARAM_VALUE 0 host1x->channel_list.channels 16,4096-ptr_max
PARAM_VALUE 0 host1x->channel_list.lock.dep_map->name 0-255
PARAM_VALUE 0 host1x->channel_list.lock.first_waiter 0
PARAM_VALUE 0 host1x->channel_list.lock.magic 4096-ptr_max
PARAM_VALUE 0 host1x->channel_list.lock.owner.counter 0
PARAM_VALUE 0 host1x->channel_op 0,4096-ptr_max
PARAM_VALUE 0 host1x->channel_op->init 2229619103429902336,3744691855961788416,4890257432443736064,4912777932781899776,5031722422927683584,6958622521665576960,6998802702068899840,7909711259384426496
PARAM_VALUE 0 host1x->channel_op->submit 2459172577174573056,4746210450345177088,5033710553166835712,5751777356970283008,5774002292469088256,5885806467547983872,6936923614719840256,7070931430486302720
PARAM_VALUE 0 host1x->clk 0,4096-ptr_max
PARAM_VALUE 0 host1x->common_regs 0,4096-ptr_max
PARAM_VALUE 0 host1x->context_list.devs 0,16,4096-ptr_max
PARAM_VALUE 0 host1x->context_list.len 0
PARAM_VALUE 0 host1x->context_list.lock.dep_map->name 0-255
PARAM_VALUE 0 host1x->context_list.lock.first_waiter 0
PARAM_VALUE 0 host1x->context_list.lock.magic 4096-ptr_max
PARAM_VALUE 0 host1x->context_list.lock.owner.counter 0
PARAM_VALUE 0 host1x->debug_op 0,4096-ptr_max
PARAM_VALUE 0 host1x->debug_op->debug_init 0
PARAM_VALUE 0 host1x->debug_op->show_channel_cdma 3450694784764219392,3741250914135339008,4138615172456865792,4764179049285107712,5135476100028366848,7574884429290684416,8324859917413711872,9059858169841319936
PARAM_VALUE 0 host1x->debug_op->show_channel_fifo 259093406392942592,965971542996922368,2419737309253496832,2606623262377160704,3126177636439633920,4114309647051505664,8002778987880177664,8744995584341794816
PARAM_VALUE 0 host1x->debug_op->show_mlocks 246044924538335232,1385167748053118976,2379867216392036352,2601409176563032064,4224002727664750592,4410529981936820224,4448299113146183680,8181944925070921728
PARAM_VALUE 0 host1x->debugfs->d_children.first 4096-ptr_max
PARAM_VALUE 0 host1x->debugfs->d_sb 4096-ptr_max
PARAM_VALUE 0 host1x->debugfs->d_sb->s_fs_info->s_bmap_bits 0-4294967295
PARAM_VALUE 0 host1x->debugfs->d_sb->s_fs_info->s_bmap_count 0-4294967295
PARAM_VALUE 0 host1x->debugfs->d_sb->s_fs_info->s_data_blksize 0-4294967295
PARAM_VALUE 0 host1x->debugfs->d_sb->s_fs_info->s_hashsize s32min-s32max
PARAM_VALUE 0 host1x->debugfs->d_sb->s_fs_info->s_last_bmap 0-4294967295
PARAM_VALUE 0 host1x->debugfs->d_sb->s_fs_info->s_mode 0-u16max
PARAM_VALUE 0 host1x->debugfs->d_sb->s_fs_info->s_partition_size s32min-s32max
PARAM_VALUE 0 host1x->debugfs->d_sb->s_fs_info->s_reserved s32min-s32max
PARAM_VALUE 0 host1x->debugfs->d_sb->s_fs_info->s_root_block 0-4294967295
PARAM_VALUE 0 host1x->debugfs->d_sb->s_fs_info->work_queued s32min-s32max
PARAM_VALUE 0 host1x->dev 4096-ptr_max
PARAM_VALUE 0 host1x->dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 host1x->dev->devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 host1x->dev->devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 host1x->dev->dma_mask 4096-ptr_max
PARAM_VALUE 0 host1x->dev->dma_parms 4096-ptr_max
PARAM_VALUE 0 host1x->dev->dma_parms->max_segment_size u32max
PARAM_VALUE 0 host1x->dev->driver 4096-ptr_max
PARAM_VALUE 0 host1x->dev->iommu_group 0,4096-ptr_max
PARAM_VALUE 0 host1x->dev->iommu_group->devices_kobj->kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 host1x->devices.next 4096-ptr_max
PARAM_VALUE 0 host1x->devices.prev 4096-ptr_max
PARAM_VALUE 0 host1x->devices_lock.dep_map->name 0-255
PARAM_VALUE 0 host1x->devices_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 host1x->devices_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 host1x->devices_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 host1x->devices_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 host1x->devices_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 host1x->devices_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 host1x->domain 4096-ptr_max
PARAM_VALUE 0 host1x->group 0,4096-ptr_max
PARAM_VALUE 0 host1x->hv_regs 0,4096-ptr_max
PARAM_VALUE 0 host1x->info 4096-ptr_max
PARAM_VALUE 0 host1x->info->nb_pts 1-u32max
PARAM_VALUE 0 host1x->intr_mutex.dep_map->name 0-255
PARAM_VALUE 0 host1x->intr_mutex.first_waiter 0
PARAM_VALUE 0 host1x->intr_mutex.magic 4096-ptr_max
PARAM_VALUE 0 host1x->intr_mutex.osq.tail.counter 0
PARAM_VALUE 0 host1x->intr_mutex.owner.counter 0
PARAM_VALUE 0 host1x->intr_op 0,4096-ptr_max
PARAM_VALUE 0 host1x->intr_op->disable_all_syncpt_intrs 2107369302318485504,3138428997391605760,3526896489276698624,5310358815718871040,5515936614571962368,5553906108973277184,7021198960300007424,8054081041365610496
PARAM_VALUE 0 host1x->intr_op->disable_syncpt_intr 1761239753342312448,2083803685884608512,4886082395635277824,7595490705002995712,7911917706974523392,8702620503561109504,8967545297675964416,9032650900957270016
PARAM_VALUE 0 host1x->intr_op->enable_syncpt_intr 1687788259114352640,2606497522260025344,4377465203334283264,4981087192562765824,6404717920080363520,6463469122566000640,7854619599918698496,9124558384154116096
PARAM_VALUE 0 host1x->intr_op->free_syncpt_irq 0
PARAM_VALUE 0 host1x->intr_op->init_host_sync 985725258341273600,3903772805619286016,5662964881049251840,5912266739202224128,7587320776322990080,8236850668325801984,8364026198283735040,8679315977736884224
PARAM_VALUE 0 host1x->intr_op->isr 863451997998288896,1898394836655226880,2750759911960129536,4560035646256848896,5670328066331561984,6535422879521542144,7262342792078970880,7610595964628897792
PARAM_VALUE 0 host1x->intr_op->set_syncpt_threshold 601379729128214528,938214098064666624,3481590945982799872,4436960256040693760,4867727847643357184,6222958044565209088,7191776633691389952,7600791982901293056
PARAM_VALUE 0 host1x->iova.anchor.node.__rb_parent_color 1
PARAM_VALUE 0 host1x->iova.anchor.node.rb_left 4096-ptr_max
PARAM_VALUE 0 host1x->iova.anchor.node.rb_right 4096-ptr_max
PARAM_VALUE 0 host1x->iova.anchor.pfn_hi u64max
PARAM_VALUE 0 host1x->iova.anchor.pfn_lo u64max
PARAM_VALUE 0 host1x->iova.cached32_node 4096-ptr_max
PARAM_VALUE 0 host1x->iova.cached_node 4096-ptr_max
PARAM_VALUE 0 host1x->iova.granule 0-4096
PARAM_VALUE 0 host1x->iova.rbroot.rb_node 4096-ptr_max
PARAM_VALUE 0 host1x->iova.rbroot.rb_node->rb_left 0
PARAM_VALUE 0 host1x->iova.rbroot.rb_node->rb_right 0
PARAM_VALUE 0 host1x->list.next->next 4096-ptr_max
PARAM_VALUE 0 host1x->list.next->prev 4096-ptr_max
PARAM_VALUE 0 host1x->list.prev->next 4096-ptr_max
PARAM_VALUE 0 host1x->list.prev->prev 4096-ptr_max
PARAM_VALUE 0 host1x->nop_sp 4096-ptr_max
PARAM_VALUE 0 host1x->nop_sp->name 1-u64max
PARAM_VALUE 0 host1x->nop_sp->ref.refcount.refs.counter 1
PARAM_VALUE 0 host1x->nresets 2
PARAM_VALUE 0 host1x->num_syncpt_irqs 1-8
PARAM_VALUE 0 host1x->regs 4096-ptr_max
PARAM_VALUE 0 host1x->syncpt 1-u64max
PARAM_VALUE 0 host1x->syncpt_irqs 0
PARAM_VALUE 0 host1x->syncpt_mutex.dep_map->name 0-255
PARAM_VALUE 0 host1x->syncpt_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 host1x->syncpt_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 host1x->syncpt_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 host1x->syncpt_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 host1x->syncpt_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 host1x->syncpt_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 host1x->syncpt_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 host1x->syncpt_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 host1x->syncpt_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 host1x->syncpt_op 0,4096-ptr_max
PARAM_VALUE 0 host1x->syncpt_op->assign_to_channel 3566041216207683584,3912930852393443328,4135587780229328896,4605140181231042560,5938170336834154496,6006178179996516352,6985574116995211264,7100956228967698432
PARAM_VALUE 0 host1x->syncpt_op->cpu_incr 1011579272864038912,5465384338989744128,6499494437017309184,6921609711043698688,7478310207741837312,7575882739326562304,8334031629804666880,8551761024208203776
PARAM_VALUE 0 host1x->syncpt_op->enable_protection 2964945017061916672,3418600591845314560,4016792824810283008,4325007624651988992,5565238579023249408,5604428173937442816,5746541976019070976,6570296051290562560
PARAM_VALUE 0 host1x->syncpt_op->load 429259518799998976,1753099626057981952,3022982620804554752,7206413681077669888,7241828647791104000,7402403146104139776,7569649617170231296,8185611890747162624
PARAM_VALUE 0 host1x->syncpt_op->load_wait_base 2154543865161482240,2501252012813537280,2727103692999213056,3161288933282250752,3637705029640736768,4350020571314716672,6458686310814818304,6498694189098455040
PARAM_VALUE 0 host1x->syncpt_op->restore 493693561697517568,1829859857645850624,2019561002205700096,6099175282016067584,6196544960390819840,8354663845198458880,8784569663050915840,8887492927558291456
PARAM_VALUE 0 host1x->syncpt_op->restore_wait_base 120832191889215488,1375585854368256000,1677982322909810688,1963635610073661440,2568882391935025152,6350257769455894528,8144983485484322816,9000080812308086784
PARAM_VALUE 0 *host1x->debugfs->d_children.first->pprev 1-u64max
PARAM_VALUE 0 *host1x->dev->p->deferred_probe_reason 0-255
BUF_SIZE 0 host1x 1432
BUF_SIZE 0 host1x->clk (-1),1-s32max
BUF_SIZE 0 host1x->dev 1616
BUF_SIZE 0 host1x->dev->dma_parms 16
CAPPED_DATA 0 host1x->channel_list.channels 1
CAPPED_DATA 0 host1x->info->nb_bases 1
CAPPED_DATA 0 host1x->info->nb_pts 1
CAPPED_DATA 0 host1x->num_syncpt_irqs 1
DATA_SOURCE 0 host1x r devm_kzalloc
FUZZY_MAX 0 host1x->num_syncpt_irqs 1
MEM_ZERO 0 host1x
MEM_ZERO 0 host1x->cache.lock.dep_map.key
MEM_ZERO 0 host1x->cache.lock.dep_map.name
MEM_ZERO 0 host1x->context_list.lock.dep_map.key
MEM_ZERO 0 host1x->context_list.lock.dep_map.name
MEM_ZERO 0 host1x->context_list.lock.wait_lock.dep_map.key
MEM_ZERO 0 host1x->context_list.lock.wait_lock.dep_map.name
MEM_ZERO 0 host1x->context_list.lock.wait_lock.owner
MEM_ZERO 0 host1x->dev->dma_parms
MEM_ZERO 0 host1x->resets
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 host1x->info->nb_bases
NO_OVERFLOW_SIMPLE 0 host1x->info->nb_channels
NO_OVERFLOW_SIMPLE 0 host1x->info->nb_pts
NO_OVERFLOW_SIMPLE 0 host1x->num_syncpt_irqs

drivers/gpu/host1x/dev.c host1x_remove() -> host1x_debug_deinit()

Type Parameter Key Value
PARAM_VALUE 0 host1x 4096-ptr_max
PARAM_VALUE 0 host1x->devices_lock.dep_map->name 0-255
PARAM_VALUE 0 host1x->devices_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 host1x->devices_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 host1x->devices_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 host1x->devices_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 host1x->devices_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 host1x->devices_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 host1x->devices_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 host1x->devices_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 host1x->list.next->prev 4096-ptr_max
BUF_SIZE 0 host1x s32min-(-2),1-s32max
BUF_SIZE 0 host1x s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 host1x unit_byte
HALF_LOCKED2 &_dev->mutex