Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/nouveau/nouveau_drm.c nouveau_drm_device_fini() -> nouveau_debugfs_fini()

Type Parameter Key Value
PARAM_VALUE 0 drm 4096-ptr_max
PARAM_VALUE 0 drm->cechan->chan.func->gpfifo.kick 63550537915269120,1073918497856270336
PARAM_VALUE 0 drm->cechan->chan.func->gpfifo.post 0,6579321081391046656
PARAM_VALUE 0 drm->cechan->chan.func->gpfifo.post_size 0,5-6
PARAM_VALUE 0 drm->cechan->chan.func->gpfifo.push 2629813392513253376
PARAM_VALUE 0 drm->cechan->chan.func->gpfifo.read_get 4958656422837399552,6932260089935314944
PARAM_VALUE 0 drm->cechan->chan.func->push.read_get 1463686336268337152,3575051502871060480
PARAM_VALUE 0 drm->cechan->chan.func->sem.release 0,7472446114176565248,7892661721119178752
PARAM_VALUE 0 drm->channel->chan.func->gpfifo.kick 63550537915269120,1073918497856270336
PARAM_VALUE 0 drm->channel->chan.func->gpfifo.post 0,6579321081391046656
PARAM_VALUE 0 drm->channel->chan.func->gpfifo.post_size 0,5-6
PARAM_VALUE 0 drm->channel->chan.func->gpfifo.push 2629813392513253376
PARAM_VALUE 0 drm->channel->chan.func->gpfifo.read_get 4958656422837399552,6932260089935314944
PARAM_VALUE 0 drm->channel->chan.func->push.read_get 1463686336268337152,3575051502871060480
PARAM_VALUE 0 drm->channel->chan.func->sem.release 0,7472446114176565248,7892661721119178752
PARAM_VALUE 0 drm->client.base.driver->init 4993881434127015936
PARAM_VALUE 0 drm->client.base.driver->ioctl 5580444956888313856
PARAM_VALUE 0 drm->client.base.driver->map 7557096745487220736
PARAM_VALUE 0 drm->client.base.driver->name 7711903667357495296
PARAM_VALUE 0 drm->client.base.driver->resume 7503885847233396736
PARAM_VALUE 0 drm->client.base.driver->suspend 1368418361874120704
PARAM_VALUE 0 drm->client.base.driver->unmap 2092298419146608640
PARAM_VALUE 0 drm->dev 4096-ptr_max
PARAM_VALUE 0 drm->dev->anon_inode->i_mapping->host->i_sb->s_export_op->encode_fh 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max
PARAM_VALUE 0 drm->dev->anon_inode->i_mapping->host->i_sb->s_export_op->fh_to_dentry 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max
PARAM_VALUE 0 drm->dev->anon_inode->i_mapping->host->i_sb->s_export_op->fh_to_parent 0,5297,148606482432692224,436469935444291584,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000,3511613614414655488-s64max
PARAM_VALUE 0 drm->dev->anon_inode->i_mapping->host->i_sb->s_export_op->get_parent 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max
PARAM_VALUE 0 drm->dev->anon_inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 drm->dev->anon_inode->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 drm->dev->debugfs_root->d_children.first 4096-ptr_max
PARAM_VALUE 0 drm->dev->debugfs_root->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 drm->dev->debugfs_root->d_inode->i_rwsem.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 drm->dev->debugfs_root->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 drm->dev->debugfs_root->d_sb 4096-ptr_max
PARAM_VALUE 0 drm->dev->dev_private 4096-ptr_max
PARAM_VALUE 0 drm->dev->dev_private->led->led.blink_timer.lockdep_map->name 0-255
PARAM_VALUE 0 drm->dev->dev_private->led->led.set_brightness_work.lockdep_map->name 0-255
PARAM_VALUE 0 drm->dev->dev_private->led->led.trigger_data->lock->wait_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 drm->dev->dev_private->led->led.trigger_data->timer.lockdep_map->name 0-255
PARAM_VALUE 0 drm->dev->dev_private->led->led.trigger_lock.first_waiter->handoff_set 1
PARAM_VALUE 0 drm->dev->dev_private->led->led.trigger_lock.first_waiter->type 0-1
PARAM_VALUE 0 drm->dev->dev_private->shutdown 1
PARAM_VALUE 0 drm->dev->driver 4096-ptr_max
PARAM_VALUE 0 drm->dev->huge_mnt->mnt_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648,2704,2712
PARAM_VALUE 0 drm->dev->mode_config.funcs->atomic_commit 0,1709437739929436160,3385958169767186432,9025212985888776192
PARAM_VALUE 0 drm->dev->mode_config.funcs->atomic_state_alloc 0,4313866966076465152,8746944527109378048
PARAM_VALUE 0 drm->dev->mode_config.funcs->atomic_state_clear 0,3327168810821279744,3688275810139275264
PARAM_VALUE 0 drm->dev->mode_config.funcs->atomic_state_free 0,358897174564036608,2978086218190217216
PARAM_VALUE 0 drm->dev->mode_config.helper_private->atomic_commit_setup 0,2854509176089305088,4835567830784204800,7680721074952196096
PARAM_VALUE 0 drm->dev->mode_config.helper_private->atomic_commit_tail 0,234517204248432640,264416658693812224,1002985563129995264,1135616218159751168,1435312838172803072,1559742614509715456,1682444203744997376,2792895115794366464,3649211429048074240,4264110321136541696,4348468181405868032-s64max
PARAM_VALUE 0 drm->dev->unplugged 1
PARAM_VALUE 0 drm->dmem 0,4096-ptr_max
PARAM_VALUE 0 drm->notify->func->acquire 0,5351045347342757888,6099861650541039616
PARAM_VALUE 0 drm->notify->func->map 0,4314142577791733760,5813302368079769600
PARAM_VALUE 0 drm->notify->func->rd32 0,1412466373555200000,1477639721399631872,5213892458862817280
PARAM_VALUE 0 drm->notify->func->release 0,4707012781462945792,6930913848629039104
PARAM_VALUE 0 drm->notify->func->wr32 0,2354007479838035968,5464638249898913792,8529216654203256832
PARAM_VALUE 0 drm->notify->parent->func->acquire 0,5351045347342757888,6099861650541039616
PARAM_VALUE 0 drm->notify->parent->func->map 0,4314142577791733760,5813302368079769600
PARAM_VALUE 0 drm->notify->parent->func->rd32 0,1412466373555200000,1477639721399631872,5213892458862817280
PARAM_VALUE 0 drm->notify->parent->func->release 0,4707012781462945792,6930913848629039104
PARAM_VALUE 0 drm->notify->parent->func->wr32 0,2354007479838035968,5464638249898913792,8529216654203256832
PARAM_VALUE 0 drm->nvkm->pci->agp.size 0-2251799812636672
PARAM_VALUE 0 drm->svm 0
PARAM_VALUE 0 drm->ttm.bdev.funcs->access_memory 0,1017633713053646848,3225919106585391104,6129073923208413184
PARAM_VALUE 0 drm->ttm.bdev.funcs->delete_mem_notify 0,1324054607772385280,3362702293586616320,3508674538459328512,4046619066990776320,4672322443624128512,6012858452504408064
PARAM_VALUE 0 drm->ttm.bdev.funcs->evict_flags 0,4096-ptr_max
PARAM_VALUE 0 drm->ttm.bdev.funcs->eviction_valuable 0,1858549247423643648,2081513394135252992,4678632391305342976,8260624757114155008
PARAM_VALUE 0 drm->ttm.bdev.funcs->io_mem_free 0,2194093600872873984
PARAM_VALUE 0 drm->ttm.bdev.funcs->io_mem_pfn 0,2706132887046717440,3654902622055292928,7331281985970253824
PARAM_VALUE 0 drm->ttm.bdev.funcs->io_mem_reserve 0,4096-ptr_max
PARAM_VALUE 0 drm->ttm.bdev.funcs->move 0,4096-ptr_max
PARAM_VALUE 0 drm->ttm.bdev.funcs->release_notify 0,6700952100510887936,8497440169773187072
PARAM_VALUE 0 drm->ttm.bdev.funcs->swap_notify 0,444935274221056000,3637901885053157376,5073818069448499200
PARAM_VALUE 0 drm->ttm.bdev.funcs->ttm_tt_create 4096-ptr_max
PARAM_VALUE 0 drm->ttm.bdev.funcs->ttm_tt_destroy 0,4096-ptr_max
PARAM_VALUE 0 drm->ttm.bdev.funcs->ttm_tt_populate 0,222258046416863232,3994591000577544192,4134842942852018176,4222010675217444864,4805071350855475200,7664591298186248192,8057603946702434304
PARAM_VALUE 0 drm->ttm.bdev.funcs->ttm_tt_unpopulate 0,4666166901115146240,5282055296047239168,6183271797138042880,6595337069447958528,7578260243328782336,7595606228058984448,7854353412451688448
PARAM_VALUE 0 drm->ttm.bdev.sysman.func->alloc 0,4096-ptr_max
PARAM_VALUE 0 drm->ttm.bdev.sysman.func->compatible 0,274508856900993024,942966462427676672,2838048026806190080,3899080206247886848,6557464253006684160,8487539334912819200,8783362542734950400
PARAM_VALUE 0 drm->ttm.bdev.sysman.func->debug 0,1142380444699836416,2168929095995453440,4293063542262321152,4674121973590315008,5056297650213752832,7683926893538705408,7996272259696484352
PARAM_VALUE 0 drm->ttm.bdev.sysman.func->free 0,4096-ptr_max
PARAM_VALUE 0 drm->ttm.bdev.sysman.func->intersects 0,277556496761421824,351631188507971584,1562901022217814016,3048074332517179392,6329539114600038400,7579390472687497216
BUF_SIZE 0 drm s32min-(-1),1-s32max
BUF_SIZE 0 drm s32min-(-1),1-s32max
BUF_SIZE 0 drm->sched_wq (-1),512,528-8720
DATA_SOURCE 0 drm $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 drm->cechan->userd->map.size
NO_OVERFLOW_SIMPLE 0 drm->client.drm->mmu.heap_nr
NO_OVERFLOW_SIMPLE 0 drm->client.drm->mmu.kind_nr
NO_OVERFLOW_SIMPLE 0 drm->client.drm->mmu.type_nr
NO_OVERFLOW_SIMPLE 0 drm->client.mmu.heap_nr
NO_OVERFLOW_SIMPLE 0 drm->client.mmu.kind_nr
NO_OVERFLOW_SIMPLE 0 drm->client.mmu.type_nr
NO_OVERFLOW_SIMPLE 0 drm->client.vmm.cli->mmu.heap_nr
NO_OVERFLOW_SIMPLE 0 drm->client.vmm.cli->mmu.kind_nr
NO_OVERFLOW_SIMPLE 0 drm->client.vmm.cli->mmu.type_nr
NO_OVERFLOW_SIMPLE 0 drm->client.vmm.vmm.page_nr
NO_OVERFLOW_SIMPLE 0 drm->dmem->drm->client.mmu.heap_nr
NO_OVERFLOW_SIMPLE 0 drm->dmem->drm->client.mmu.kind_nr
NO_OVERFLOW_SIMPLE 0 drm->dmem->drm->client.mmu.type_nr
NO_OVERFLOW_SIMPLE 0 drm->dmem->drm->client.vmm.vmm.page_nr
NO_OVERFLOW_SIMPLE 0 drm->dmem->drm->mmu.heap_nr
NO_OVERFLOW_SIMPLE 0 drm->dmem->drm->mmu.kind_nr
NO_OVERFLOW_SIMPLE 0 drm->dmem->drm->mmu.type_nr
NO_OVERFLOW_SIMPLE 0 drm->dmem->drm->runl_nr
NO_OVERFLOW_SIMPLE 0 drm->dmem->drm->ttm.type_vram
NO_OVERFLOW_SIMPLE 0 drm->runl_nr
NO_OVERFLOW_SIMPLE 0 drm->svm->drm->client.mmu.heap_nr
NO_OVERFLOW_SIMPLE 0 drm->svm->drm->client.mmu.kind_nr
NO_OVERFLOW_SIMPLE 0 drm->svm->drm->client.mmu.type_nr
NO_OVERFLOW_SIMPLE 0 drm->svm->drm->client.vmm.vmm.page_nr
NO_OVERFLOW_SIMPLE 0 drm->svm->drm->mmu.heap_nr
NO_OVERFLOW_SIMPLE 0 drm->svm->drm->mmu.kind_nr
NO_OVERFLOW_SIMPLE 0 drm->svm->drm->mmu.type_nr
NO_OVERFLOW_SIMPLE 0 drm->svm->drm->runl_nr
NO_OVERFLOW_SIMPLE 0 drm->svm->drm->ttm.type_vram
NO_OVERFLOW_SIMPLE 0 drm->ttm.type_vram
UNITS 0 drm unit_byte