Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/video/fbdev/matrox/matroxfb_base.c matroxfb_register_device() -> (struct matroxfb_driver)->probe()

Type Parameter Key Value
PARAM_VALUE 0 minfo 4096-ptr_max
PARAM_VALUE 0 minfo->altout.lock.dep_map->name 0-255
PARAM_VALUE 0 minfo->altout.lock.first_waiter->handoff_set 1
PARAM_VALUE 0 minfo->altout.lock.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 minfo->altout.lock.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 minfo->altout.lock.first_waiter->type 0-1
PARAM_VALUE 0 minfo->capable.cfb4 1
PARAM_VALUE 0 minfo->capable.cross4MB 0-1
PARAM_VALUE 0 minfo->capable.plnwt 0-1
PARAM_VALUE 0 minfo->capable.srcorg 0,4
PARAM_VALUE 0 minfo->capable.text 1
PARAM_VALUE 0 minfo->capable.vxres 4096-ptr_max
PARAM_VALUE 0 minfo->chip 0-8
PARAM_VALUE 0 minfo->crtc1.panpos (-1)
PARAM_VALUE 0 minfo->crtc1.vsync.wait.head.next 4096-ptr_max
PARAM_VALUE 0 minfo->crtc1.vsync.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 minfo->crtc1.vsync.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 minfo->crtc1.vsync.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 minfo->crtc1.vsync.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 minfo->crtc2.lock.count.counter 0
PARAM_VALUE 0 minfo->crtc2.lock.dep_map->name 0-255
PARAM_VALUE 0 minfo->crtc2.lock.first_waiter 0
PARAM_VALUE 0 minfo->crtc2.lock.magic 4096-ptr_max
PARAM_VALUE 0 minfo->crtc2.lock.osq.tail.counter 0
PARAM_VALUE 0 minfo->crtc2.lock.owner.counter 0
PARAM_VALUE 0 minfo->crtc2.vsync.wait.head.next 4096-ptr_max
PARAM_VALUE 0 minfo->crtc2.vsync.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 minfo->crtc2.vsync.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 minfo->crtc2.vsync.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 minfo->crtc2.vsync.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 minfo->dead 0
PARAM_VALUE 0 minfo->devflags.accelerator 16-21,26
PARAM_VALUE 0 minfo->devflags.crtc2 0-1
PARAM_VALUE 0 minfo->devflags.dualhead 0-1
PARAM_VALUE 0 minfo->devflags.fbResource 16,20
PARAM_VALUE 0 minfo->devflags.g450dac 0-1
PARAM_VALUE 0 minfo->devflags.maven_capable 0-1
PARAM_VALUE 0 minfo->devflags.mga_24bpp_fix 0-1
PARAM_VALUE 0 minfo->devflags.nobios 0-1
PARAM_VALUE 0 minfo->devflags.noinit 0-1
PARAM_VALUE 0 minfo->devflags.nopciretry 0-1
PARAM_VALUE 0 minfo->devflags.novga 0-1
PARAM_VALUE 0 minfo->devflags.panellink 1
PARAM_VALUE 0 minfo->devflags.precise_width 0-1
PARAM_VALUE 0 minfo->devflags.sgram 0-1
PARAM_VALUE 0 minfo->devflags.support32MB 0-1
PARAM_VALUE 0 minfo->devflags.text_type_aux 3-4
PARAM_VALUE 0 minfo->devflags.textmode 1,4
PARAM_VALUE 0 minfo->devflags.textstep 4,8,16,32,64
PARAM_VALUE 0 minfo->devflags.textvram 16384,65536
PARAM_VALUE 0 minfo->devflags.vgastep 4,8,16
PARAM_VALUE 0 minfo->devflags.video64bits 0-1
PARAM_VALUE 0 minfo->devflags.ydstorg 0
PARAM_VALUE 0 minfo->fbcon->dev->kobj.release.timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 minfo->fbcon.cmap.blue 0
PARAM_VALUE 0 minfo->fbcon.cmap.green 0
PARAM_VALUE 0 minfo->fbcon.cmap.len 0
PARAM_VALUE 0 minfo->fbcon.cmap.red 0
PARAM_VALUE 0 minfo->fbcon.cmap.start 0
PARAM_VALUE 0 minfo->fbcon.cmap.transp 0
PARAM_VALUE 0 minfo->fbcon.count.refs.counter 1
PARAM_VALUE 0 minfo->fbcon.dev 0,4096-ptr_max
PARAM_VALUE 0 minfo->fbcon.dev->devres_head.next->next 4096-ptr_max
PARAM_VALUE 0 minfo->fbcon.dev->devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 minfo->fbcon.dev->devres_head.prev->prev 4096-ptr_max
PARAM_VALUE 0 minfo->fbcon.dev->dma_io_tlb_pools.next->next 4096-ptr_max
PARAM_VALUE 0 minfo->fbcon.dev->dma_io_tlb_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 minfo->fbcon.dev->dma_io_tlb_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 minfo->fbcon.dev->dma_pools.next->next 4096-ptr_max
PARAM_VALUE 0 minfo->fbcon.dev->dma_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 minfo->fbcon.dev->dma_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 minfo->fbcon.dev->flags 4096-ptr_max
PARAM_VALUE 0 minfo->fbcon.dev->fwnode->dev 4096-ptr_max
PARAM_VALUE 0 minfo->fbcon.dev->fwnode->suppliers.next->prev 4096-ptr_max
PARAM_VALUE 0 minfo->fbcon.dev->iommu_group->owner_cnt 0-4294967295
PARAM_VALUE 0 minfo->fbcon.dev->kobj.entry.next->next 4096-ptr_max
PARAM_VALUE 0 minfo->fbcon.dev->kobj.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 minfo->fbcon.dev->kobj.entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 minfo->fbcon.dev->kobj.ktype->child_ns_type 0,2344685749105987584,4089303432171261952,6274457576243130368,8186263191508828160
PARAM_VALUE 0 minfo->fbcon.dev->kobj.ktype->get_ownership 0,754295003445952512,1770093955000758272,2031763320308453376,9073032014207823872,9089295143347961856
PARAM_VALUE 0 minfo->fbcon.dev->kobj.parent->kset->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 minfo->fbcon.dev->kobj.parent->kset->kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 minfo->fbcon.dev->kobj.parent->kset->kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 minfo->fbcon.dev->kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 minfo->fbcon.dev->kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 minfo->fbcon.dev->kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 minfo->fbcon.dev->kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 minfo->fbcon.dev->kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 minfo->fbcon.dev->kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 minfo->fbcon.dev->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 minfo->fbcon.dev->kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 minfo->fbcon.dev->kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 minfo->fbcon.dev->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 minfo->fbcon.dev->links.consumers.next->next 4096-ptr_max
PARAM_VALUE 0 minfo->fbcon.dev->links.consumers.prev->next 4096-ptr_max
PARAM_VALUE 0 minfo->fbcon.dev->links.consumers.prev->prev 4096-ptr_max
PARAM_VALUE 0 minfo->fbcon.dev->links.defer_sync.next->next 4096-ptr_max
PARAM_VALUE 0 minfo->fbcon.dev->links.defer_sync.prev->next 4096-ptr_max
PARAM_VALUE 0 minfo->fbcon.dev->links.defer_sync.prev->prev 4096-ptr_max
PARAM_VALUE 0 minfo->fbcon.dev->links.suppliers.next->next 4096-ptr_max
PARAM_VALUE 0 minfo->fbcon.dev->links.suppliers.prev->next 4096-ptr_max
PARAM_VALUE 0 minfo->fbcon.dev->links.suppliers.prev->prev 4096-ptr_max
PARAM_VALUE 0 minfo->fbcon.dev->p->klist_children.get 2213798222526185472
PARAM_VALUE 0 minfo->fbcon.dev->p->klist_children.put 3126867300421632000
PARAM_VALUE 0 minfo->fbcon.dev->p->knode_class.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 minfo->fbcon.dev->p->knode_parent.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 minfo->fbcon.dev->power.entry.next->next 4096-ptr_max
PARAM_VALUE 0 minfo->fbcon.dev->power.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 minfo->fbcon.dev->power.entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 minfo->fbcon.dev->power.wait_queue.head.next->next 4096-ptr_max
PARAM_VALUE 0 minfo->fbcon.dev->power.wait_queue.head.prev->next 4096-ptr_max
PARAM_VALUE 0 minfo->fbcon.dev->power.wait_queue.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 minfo->fbcon.device 4096-ptr_max
PARAM_VALUE 0 minfo->fbcon.fbops 4096-ptr_max
PARAM_VALUE 0 minfo->fbcon.fix.accel 16-21,26
PARAM_VALUE 0 minfo->fbcon.fix.mmio_len 16384
PARAM_VALUE 0 minfo->fbcon.fix.mmio_start 1-u64max
PARAM_VALUE 0 minfo->fbcon.fix.xpanstep 8
PARAM_VALUE 0 minfo->fbcon.fix.ypanstep 1
PARAM_VALUE 0 minfo->fbcon.fix.ywrapstep 0
PARAM_VALUE 0 minfo->fbcon.lock.dep_map->name 0-255
PARAM_VALUE 0 minfo->fbcon.lock.first_waiter 0
PARAM_VALUE 0 minfo->fbcon.lock.magic 4096-ptr_max
PARAM_VALUE 0 minfo->fbcon.lock.osq.tail.counter 0
PARAM_VALUE 0 minfo->fbcon.lock.owner.counter 0
PARAM_VALUE 0 minfo->fbcon.mm_lock.dep_map->name 0-255
PARAM_VALUE 0 minfo->fbcon.mm_lock.first_waiter 0
PARAM_VALUE 0 minfo->fbcon.mm_lock.magic 4096-ptr_max
PARAM_VALUE 0 minfo->fbcon.mm_lock.osq.tail.counter 0
PARAM_VALUE 0 minfo->fbcon.mm_lock.owner.counter 0
PARAM_VALUE 0 minfo->fbcon.modelist.next->prev 4096-ptr_max
PARAM_VALUE 0 minfo->fbcon.modelist.prev 1-u64max
PARAM_VALUE 0 minfo->fbcon.monspecs.dpms 0
PARAM_VALUE 0 minfo->fbcon.monspecs.hfmin 0
PARAM_VALUE 0 minfo->fbcon.monspecs.vfmin 0
PARAM_VALUE 0 minfo->fbcon.node 0-31
PARAM_VALUE 0 minfo->fbcon.pixmap.offset 0
PARAM_VALUE 0 minfo->fbcon.var.accel_flags 0-1
PARAM_VALUE 0 minfo->fbcon.var.grayscale 0-1
PARAM_VALUE 0 minfo->fbcon.var.sync 0-4294967294
PARAM_VALUE 0 minfo->features.DAC1064.xvrefctrl 0,3
PARAM_VALUE 0 minfo->features.pll.feed_div_max 24,127
PARAM_VALUE 0 minfo->features.pll.feed_div_min 2,7,100
PARAM_VALUE 0 minfo->features.pll.in_div_max 31,63
PARAM_VALUE 0 minfo->features.pll.in_div_min 1-2
PARAM_VALUE 0 minfo->features.pll.post_shift_max 3
PARAM_VALUE 0 minfo->features.pll.ref_freq 14318,27000,114545
PARAM_VALUE 0 minfo->features.pll.vco_freq_min 62000,110000,130000
PARAM_VALUE 0 minfo->hw.MXoptionReg 0-1073741823
PARAM_VALUE 0 minfo->hw_switch 3848152888852234240,3939280889090199552,3981854283303309312
PARAM_VALUE 0 minfo->hw_switch->init 1528061852302155776,4062412453450661888,7709440902788485120
PARAM_VALUE 0 minfo->hw_switch->preinit 7325979667418214400,8201878153793626112,8688550111566778368
PARAM_VALUE 0 minfo->hw_switch->reset 507629783193030656,3519386956634927104,8503900883061334016
PARAM_VALUE 0 minfo->hw_switch->restore 290254743836680192,1419101308824948736,1671846785452597248
PARAM_VALUE 0 minfo->interleave 0-1
PARAM_VALUE 0 minfo->irq_flags 0
PARAM_VALUE 0 minfo->limits.pixel.vcomax 0-2032000
PARAM_VALUE 0 minfo->limits.pixel.vcomin 0-2032000
PARAM_VALUE 0 minfo->limits.system.vcomax 0-2032000
PARAM_VALUE 0 minfo->limits.system.vcomin 0-2032000
PARAM_VALUE 0 minfo->limits.video.vcomax 0-2032000
PARAM_VALUE 0 minfo->limits.video.vcomin 0-2032000
PARAM_VALUE 0 minfo->lock.DAC.rlock.dep_map->name 0-255
PARAM_VALUE 0 minfo->max_pixel_clock 0,180000,220000,230000,250000,300000,360000
PARAM_VALUE 0 minfo->millenium 1
PARAM_VALUE 0 minfo->milleniumII 0-1
PARAM_VALUE 0 minfo->mmio.base 1-u64max
PARAM_VALUE 0 minfo->mmio.len 16384
PARAM_VALUE 0 minfo->mmio.vbase.vaddr 0
PARAM_VALUE 0 minfo->next_fb.next 4096-ptr_max
PARAM_VALUE 0 minfo->next_fb.prev 6743285194989486080
PARAM_VALUE 0 minfo->pcidev 4096-ptr_max
PARAM_VALUE 0 minfo->pcidev->device 0,1305-1307,1310-1313,1317,1330,4096-4097,9511
PARAM_VALUE 0 minfo->pcidev->driver 4096-ptr_max
PARAM_VALUE 0 minfo->pcidev->error_state 0-2,4-u32max
PARAM_VALUE 0 minfo->pcidev->vendor 4139
PARAM_VALUE 0 minfo->usecount 0
PARAM_VALUE 0 minfo->userusecount 0
PARAM_VALUE 0 minfo->values.pll.system 0-1016000
PARAM_VALUE 0 minfo->values.pll.video 0-1016000
PARAM_VALUE 0 minfo->values.reg.maccess 0,16384
PARAM_VALUE 0 minfo->values.reg.mctlwtst_core 0-255,209798699
PARAM_VALUE 0 minfo->values.reg.memmisc 0-255,2147483652
PARAM_VALUE 0 minfo->values.reg.memrdbk 0-255,16781571
PARAM_VALUE 0 minfo->values.reg.opt 0-255,1024-7168,268436480,1078595936
PARAM_VALUE 0 minfo->values.reg.opt2 0-255,4096-1044480
PARAM_VALUE 0 minfo->video.base 1-u64max
PARAM_VALUE 0 minfo->video.len 0
PARAM_VALUE 0 minfo->video.len_maximum 8388608,16777216,33554432
PARAM_VALUE 0 minfo->video.len_usable 8388608,16777216
PARAM_VALUE 0 minfo->video.vbase.vaddr 0
PARAM_VALUE 0 minfo->wc_cookie (-38),(-28),(-22),(-19),(-6),0,1000-1255
PARAM_VALUE 0 *minfo->fbcon.fix->id 0-255
BUF_SIZE 0 minfo 4512
BUF_SIZE 0 minfo->pcidev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
CAPPED_DATA 0 minfo->pcidev->device 1
CAPPED_DATA 0 minfo->pcidev->revision 1
DATA_SOURCE 0 minfo $0
FUZZY_MAX 0 minfo->devflags.nobios 1
FUZZY_MAX 0 minfo->devflags.noinit 0
FUZZY_MAX 0 minfo->devflags.novga 1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 minfo->accel.ramdac_rev 0-255
HOST_DATA 0 minfo->bios.output.state 0-254
HOST_DATA 0 minfo->bios.version->vMaj 0-255
HOST_DATA 0 minfo->bios.version->vMin 0-255
HOST_DATA 0 minfo->bios.version->vRev 0-255
HOST_DATA 0 minfo->bios.version.vMin 0-15
HOST_DATA 0 minfo->devflags.dfp_type 0-255
HOST_DATA 0 minfo->hw.MXoptionReg 0-1073741823
HOST_DATA 0 minfo->pcidev->current_state 0-3[c]

drivers/video/fbdev/matrox/matroxfb_base.c matroxfb_register_driver() -> (struct matroxfb_driver)->probe()

Type Parameter Key Value
PARAM_VALUE 0 minfo 4096-ptr_max
PARAM_VALUE 0 minfo->drivers_count 0-4,6-u32max
CAPPED_DATA 0 &minfo->next_fb 1