Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/video/fbdev/savage/savagefb_driver.c savagefb_probe() -> savagefb_delete_i2c_busses()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 0 info->bl_curve_mutex.dep_map->name 0-255
PARAM_VALUE 0 info->bl_curve_mutex.first_waiter 0
PARAM_VALUE 0 info->bl_curve_mutex.magic 4096-ptr_max
PARAM_VALUE 0 info->bl_curve_mutex.osq.tail.counter 0
PARAM_VALUE 0 info->bl_curve_mutex.owner.counter 0
PARAM_VALUE 0 info->cmap.blue 0,16,4096-ptr_max
PARAM_VALUE 0 info->cmap.green 0,16,4096-ptr_max
PARAM_VALUE 0 info->cmap.len 0
PARAM_VALUE 0 info->cmap.red 0,16,4096-ptr_max
PARAM_VALUE 0 info->cmap.start 0
PARAM_VALUE 0 info->cmap.transp 0,16,4096-ptr_max
PARAM_VALUE 0 info->dev->dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 0 info->dev->dma_io_tlb_mem->debugfs 0-s64max
PARAM_VALUE 0 info->dev->dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 info->dev->dma_io_tlb_mem->force_bounce 0-1
PARAM_VALUE 0 info->dev->dma_io_tlb_mem->nslabs 0-s64max
PARAM_VALUE 0 info->dev->dma_io_tlb_mem->phys_limit 0-s64max
PARAM_VALUE 0 info->dev->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 info->device 4096-ptr_max
PARAM_VALUE 0 info->fbcon_rotate_hint (-1)
PARAM_VALUE 0 info->fbops 630246154020749312
PARAM_VALUE 0 info->fbops->fb_blank 1653799004248092672
PARAM_VALUE 0 info->fbops->fb_check_var 5377875364523634688
PARAM_VALUE 0 info->fbops->fb_compat_ioctl 0
PARAM_VALUE 0 info->fbops->fb_copyarea 4793636255011749888
PARAM_VALUE 0 info->fbops->fb_cursor 0
PARAM_VALUE 0 info->fbops->fb_destroy 0
PARAM_VALUE 0 info->fbops->fb_fillrect 4616113771248513024
PARAM_VALUE 0 info->fbops->fb_get_caps 0
PARAM_VALUE 0 info->fbops->fb_imageblit 7278899767417057280
PARAM_VALUE 0 info->fbops->fb_ioctl 0
PARAM_VALUE 0 info->fbops->fb_mmap 4284069163380785152
PARAM_VALUE 0 info->fbops->fb_open 7081743742344003584
PARAM_VALUE 0 info->fbops->fb_pan_display 4558443289777491968
PARAM_VALUE 0 info->fbops->fb_read 5235798533754040320
PARAM_VALUE 0 info->fbops->fb_release 3047797749842219008
PARAM_VALUE 0 info->fbops->fb_set_par 8349139970459889664
PARAM_VALUE 0 info->fbops->fb_setcmap 0
PARAM_VALUE 0 info->fbops->fb_setcolreg 2184523752360497152
PARAM_VALUE 0 info->fbops->fb_sync 5633647785304494080
PARAM_VALUE 0 info->fbops->fb_write 2547212261812817920
PARAM_VALUE 0 info->fbops->owner 0
PARAM_VALUE 0 info->fix.type 0
PARAM_VALUE 0 info->fix.type_aux 0
PARAM_VALUE 0 info->fix.ypanstep 1
PARAM_VALUE 0 info->fix.ywrapstep 0
PARAM_VALUE 0 info->modelist.next->next 4096-ptr_max
PARAM_VALUE 0 info->modelist.prev 1-u64max
PARAM_VALUE 0 info->modelist.prev->next 4096-ptr_max
PARAM_VALUE 0 info->modelist.prev->prev 4096-ptr_max
PARAM_VALUE 0 info->par 4096-ptr_max
PARAM_VALUE 0 info->par->SavageWaitFifo 5367325323622420480,6529300863769989120,9192222418585075712
PARAM_VALUE 0 info->par->SavageWaitIdle 2240182910513463296,7030359939669987328,7994454439327440896
PARAM_VALUE 0 info->par->chan.adapter.algo 2610810065881677824
PARAM_VALUE 0 info->par->chan.adapter.algo->functionality 8727176152441765888
PARAM_VALUE 0 info->par->chan.adapter.algo->master_xfer 6903517551141847040
PARAM_VALUE 0 info->par->chan.adapter.algo->master_xfer_atomic 8408291852463726592
PARAM_VALUE 0 info->par->chan.adapter.algo->xfer 6903517551141847040
PARAM_VALUE 0 info->par->chan.adapter.algo->xfer_atomic 8408291852463726592
PARAM_VALUE 0 info->par->chan.adapter.bus_lock.dep_map->name 0-255
PARAM_VALUE 0 info->par->chan.adapter.dev.driver_data->adev->pm.bus_locked 0-1
PARAM_VALUE 0 info->par->chan.adapter.dev.driver_data->ast->modeset_lock->wait_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 info->par->chan.adapter.dev.driver_data->ast->modeset_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 info->par->chan.adapter.dev.driver_data->mdev->rmmio_lock->wait_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 info->par->chan.adapter.dev.driver_data->mdev->rmmio_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 info->par->chan.adapter.dev.driver_data->mutex->wait_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 info->par->chan.adapter.dev.parent->devt 0-4294967295
PARAM_VALUE 0 info->par->chan.adapter.dev.parent->dma_uses_io_tlb 0-1
PARAM_VALUE 0 info->par->chan.adapter.dev.parent->id 0-4294967295
PARAM_VALUE 0 info->par->chan.adapter.dev.parent->kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 info->par->chan.adapter.dev.parent->kobj.release.cpu s32min-s32max
PARAM_VALUE 0 info->par->chan.adapter.dev.parent->kobj.release.timer.flags 0-4294967295
PARAM_VALUE 0 info->par->chan.adapter.dev.parent->kobj.state_add_uevent_sent 0-1
PARAM_VALUE 0 info->par->chan.adapter.dev.parent->kobj.state_in_sysfs 0-1
PARAM_VALUE 0 info->par->chan.adapter.dev.parent->kobj.state_initialized 0-1
PARAM_VALUE 0 info->par->chan.adapter.dev.parent->kobj.state_remove_uevent_sent 0-1
PARAM_VALUE 0 info->par->chan.adapter.dev.parent->kobj.uevent_suppress 0-1
PARAM_VALUE 0 info->par->chan.adapter.dev.parent->links.status 0-4294967295
PARAM_VALUE 0 info->par->chan.adapter.dev.parent->numa_node s32min-s32max
PARAM_VALUE 0 info->par->chan.adapter.dev.parent->removable 0-4294967295
PARAM_VALUE 0 info->par->chan.adapter.owner 0
PARAM_VALUE 0 info->par->chan.adapter.quirks->flags 16
PARAM_VALUE 0 info->par->chan.adapter.retries 3
PARAM_VALUE 0 info->par->chan.algo.getscl 6031829633569394688,7717979176215531520
PARAM_VALUE 0 info->par->chan.algo.getsda 2052584274971226112,2356042328019963904
PARAM_VALUE 0 info->par->chan.algo.setscl 4605150433173430272,6539621216382738432
PARAM_VALUE 0 info->par->chan.algo.setsda 5824097036627111936,8044776222370099200
PARAM_VALUE 0 info->par->chan.algo.timeout 20
PARAM_VALUE 0 info->par->chan.algo.udelay 10
PARAM_VALUE 0 info->par->chan.reg 160,177,65312
PARAM_VALUE 0 info->par->chip 1-8
PARAM_VALUE 0 info->par->mmio.len 524288
PARAM_VALUE 0 info->par->mmio.pbase 0-4294967295
PARAM_VALUE 0 info->par->mmio.vbase 0
PARAM_VALUE 0 info->par->pcidev 4096-ptr_max
PARAM_VALUE 0 info->par->video.len 0-s32max
PARAM_VALUE 0 info->par->video.pbase 0-4294967295
PARAM_VALUE 0 info->par->video.vbase 0
PARAM_VALUE 0 info->var.accel_flags 1
PARAM_VALUE 0 info->var.height 0
PARAM_VALUE 0 info->var.nonstd 0
PARAM_VALUE 0 info->var.width 0
PARAM_VALUE 0 *info->fix.id 0-255
PARAM_VALUE 0 *info->par->chan.ioaddr 0-255
BUF_SIZE 0 info s32min-s32max
BUF_SIZE 0 info->device 1616
CAPPED_DATA 0 &info->modelist 1
DATA_SOURCE 0 info r framebuffer_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 info->fix.smem_len 0-s32max[c]
HOST_DATA 0 info->par->pcidev->current_state 0-3[c]
HOST_DATA 0 info->var.pixclock 1-64000000,123456789[c]
HOST_DATA 0 info->var.yoffset 1-2147483646[c]
HOST_DATA 0 info->var.yres 1-u32max[c]

drivers/video/fbdev/savage/savagefb_driver.c savagefb_remove() -> savagefb_delete_i2c_busses()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 0 info->device 0,4096-ptr_max
PARAM_VALUE 0 info->modelist.next 4096-ptr_max
PARAM_VALUE 0 info->pixmap.addr 0
BUF_SIZE 0 info s32min-(-2),1-s32max
BUF_SIZE 0 info s32min-(-2),1-s32max
CAPPED_DATA 0 info 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 info unit_byte