intel_fbdev_init_bios identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/gpu/drm/i915/display/intel_fbdev.c, line 394 (as a function)

Referenced in 1 files:

drivers/gpu/drm/i915/display/intel_fbdev.c, line 566

Smatch caller information:

drivers/gpu/drm/i915/display/intel_fbdev.c intel_fbdev_setup() -> intel_fbdev_init_bios()

Type	Parameter	Key	Value
PARAM_VALUE	0	display	4096-ptr_max
PARAM_VALUE	0	display->audio.component_registered	1
PARAM_VALUE	0	display->audio.lpe.irq	(-1)-s32max
PARAM_VALUE	0	display->audio.lpe.platdev	0,4096-ptr_max
PARAM_VALUE	0	display->audio.lpe.platdev->dev.bus->dev_groups	890666487010902016
PARAM_VALUE	0	display->audio.lpe.platdev->dev.bus->dma_cleanup	2567693292227600384
PARAM_VALUE	0	display->audio.lpe.platdev->dev.bus->dma_configure	7339647197731467264
PARAM_VALUE	0	display->audio.lpe.platdev->dev.bus->match	1790182723300528128
PARAM_VALUE	0	display->audio.lpe.platdev->dev.bus->pm	5393334728557981696
PARAM_VALUE	0	display->audio.lpe.platdev->dev.bus->probe	3034367972688941056
PARAM_VALUE	0	display->audio.lpe.platdev->dev.bus->remove	3664030250746302464
PARAM_VALUE	0	display->audio.lpe.platdev->dev.bus->shutdown	4550783666758901760
PARAM_VALUE	0	display->audio.lpe.platdev->dev.bus->uevent	7642397512928026624
PARAM_VALUE	0	display->audio.lpe.platdev->dev.fwnode->dev->power.set_latency_tolerance	5740181548905971712
PARAM_VALUE	0	display->audio.lpe.platdev->dev.iommu_group->owner_cnt	0-4294967295
PARAM_VALUE	0	display->audio.lpe.platdev->dev.kobj.parent->kset->kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	display->audio.lpe.platdev->dev.kobj.parent->kset->kobj.release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	display->audio.lpe.platdev->dev.kobj.parent->kset->kobj.release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	display->audio.lpe.platdev->dev.kobj.parent->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	display->audio.lpe.platdev->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	display->audio.lpe.platdev->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	display->audio.lpe.platdev->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	display->audio.lpe.platdev->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	display->audio.lpe.platdev->dev.kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	display->audio.lpe.platdev->dev.kobj.release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	display->audio.lpe.platdev->dev.kobj.release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	display->audio.lpe.platdev->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	display->audio.lpe.platdev->dev.p->klist_children.get	2213798222526185472
PARAM_VALUE	0	display->audio.lpe.platdev->dev.p->klist_children.put	3126867300421632000
PARAM_VALUE	0	display->audio.lpe.platdev->dev.p->knode_class.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	display->audio.lpe.platdev->dev.p->knode_parent.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	display->audio.lpe.platdev->dev.parent->init_name	7173432766328545280
PARAM_VALUE	0	display->audio.lpe.platdev->dev.power.no_callbacks	1
PARAM_VALUE	0	display->audio.lpe.platdev->id	0-s32max
PARAM_VALUE	0	display->audio.lpe.platdev->id_auto	1
PARAM_VALUE	0	display->drm	4096-ptr_max
PARAM_VALUE	0	display->drm->debugfs_root->d_inode->i_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	display->drm->debugfs_root->d_inode->i_rwsem.first_waiter->list.next	2212933610777083904,2624917664208203776
PARAM_VALUE	0	display->drm->debugfs_root->d_inode->i_rwsem.first_waiter->list.prev	2212933610777083904
PARAM_VALUE	0	display->drm->debugfs_root->d_inode->i_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	display->drm->debugfs_root->d_sb->s_fs_info->s_bmap_bits	0-4294967295
PARAM_VALUE	0	display->drm->debugfs_root->d_sb->s_fs_info->s_bmap_count	0-4294967295
PARAM_VALUE	0	display->drm->debugfs_root->d_sb->s_fs_info->s_data_blksize	0-4294967295
PARAM_VALUE	0	display->drm->debugfs_root->d_sb->s_fs_info->s_hashsize	s32min-s32max
PARAM_VALUE	0	display->drm->debugfs_root->d_sb->s_fs_info->s_last_bmap	0-4294967295
PARAM_VALUE	0	display->drm->debugfs_root->d_sb->s_fs_info->s_mode	0-u16max
PARAM_VALUE	0	display->drm->debugfs_root->d_sb->s_fs_info->s_partition_size	s32min-s32max
PARAM_VALUE	0	display->drm->debugfs_root->d_sb->s_fs_info->s_reserved	s32min-s32max
PARAM_VALUE	0	display->drm->debugfs_root->d_sb->s_fs_info->s_root_block	0-4294967295
PARAM_VALUE	0	display->drm->debugfs_root->d_sb->s_fs_info->work_queued	s32min-s32max
PARAM_VALUE	0	display->drm->dev	4096-ptr_max
PARAM_VALUE	0	display->drm->driver	4096-ptr_max
PARAM_VALUE	0	display->drm->managed.resources.next	4096-ptr_max
PARAM_VALUE	0	display->drm->managed.resources.next->next	4096-ptr_max
PARAM_VALUE	0	display->drm->managed.resources.next->prev	4096-ptr_max
PARAM_VALUE	0	display->drm->mode_config.output_poll_work.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	display->drm->mode_config.poll_enabled	1
PARAM_VALUE	0	display->drm->mode_config.poll_running	1
PARAM_VALUE	0	display->drm->primary	4096-ptr_max
PARAM_VALUE	0	display->fbdev.fbdev	1-u64max
PARAM_VALUE	0	display->hotplug.detection_work_enabled	1
PARAM_VALUE	0	display->hotplug.hotplug_work->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	display->hotplug.hotplug_work.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	display->info.__device_info	4096-ptr_max
PARAM_VALUE	0	display->opregion	0,4096-ptr_max
PARAM_VALUE	0	display->opregion->acpi->drdy	1
PARAM_VALUE	0	display->opregion->acpi_notifier.notifier_call	4522691308333449216
PARAM_VALUE	0	display->opregion->asle->ardy	1
PARAM_VALUE	0	display->opregion->asle->tche	2
PARAM_VALUE	0	display->opregion->swsci->parm	0-4294967295
PARAM_VALUE	0	display->opregion->swsci->scic	9,13,265,1289,1805,2061
PARAM_VALUE	0	display->params.enable_dmc_wl	0-1
PARAM_VALUE	0	display->wl.taken	1
PARAM_VALUE	0	display->wl.work->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	display->wl.work.work.entry.next	1-u64max
PARAM_VALUE	0	display->wl.work.work.entry.next->next	1-u64max
PARAM_VALUE	0	display->wl.work.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	display->wl.work.work.entry.prev	1-u64max
PARAM_VALUE	0	display->wl.work.work.entry.prev->next	1-u64max
PARAM_VALUE	0	display->wl.work.work.entry.prev->prev	1-u64max
PARAM_VALUE	1	ifbdev	1-u64max
BUF_SIZE	0	display	8416
DATA_SOURCE	0	display	$0
DATA_SOURCE	1	ifbdev	r drmm_kzalloc
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	display->audio.freq_cntrl	0-u32max
NO_OVERFLOW_SIMPLE	0	display->audio.lpe.platdev->num_resources
NO_OVERFLOW_SIMPLE	0	display->audio.lpe.platdev->pdev.id
HALF_LOCKED2		&pdev->dev.mutex
HALF_LOCKED2		&pool->lock