sisfb_check_engine_and_sync identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/video/fbdev/sis/sis_main.c, line 3452 (as a function)

Referenced in 1 files:

drivers/video/fbdev/sis/sis_main.c
- line 3644
- line 3873

Smatch caller information:

drivers/video/fbdev/sis/sis_main.c sisfb_post_setmode() -> sisfb_check_engine_and_sync()

Type	Parameter	Key	Value
PARAM_VALUE	0	ivideo	4096-ptr_max
PARAM_VALUE	0	ivideo->cmdqueuelength	0-u16max
PARAM_VALUE	0	ivideo->currentvbflags	536870912-536895519,537395200-537419807,1074266112-1074290719
PARAM_VALUE	0	ivideo->sisvga_engine	1-2
BUF_SIZE	0	ivideo	2,4,16,24,32,128,216,248,256,1288,1984,2560
BUF_SIZE	0	ivideo	2,4,16,24,32,128,216,248,256,1288,1984,2560
DATA_SOURCE	0	ivideo	$0
FUZZY_MAX	0	ivideo->sisvga_engine	1
BIT_INFO	0	ivideo->currentvbflags	0x0,0x60087fff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	ivideo->CRT2LCDType	0-u32max
HOST_DATA	0	ivideo->CRT2_write_enable	s32min-s32max
HOST_DATA	0	ivideo->CommandReg	0-u32max
HOST_DATA	0	ivideo->DstColor	0-u16max
HOST_DATA	0	ivideo->LFBsize	0-u64max
HOST_DATA	0	ivideo->SiS310_AccelDepth	0-u32max
HOST_DATA	0	ivideo->SiS_Pr.CHSyncStart	0-u16max
HOST_DATA	0	ivideo->SiS_Pr.IOAddress	0-u64max
HOST_DATA	0	ivideo->SiS_Pr.SiS_DDC_Clk	1,64
HOST_DATA	0	ivideo->SiS_Pr.SiS_DDC_Index	10,17
HOST_DATA	0	ivideo->SiS_Pr.SiS_DDC_NClk	14,65471,65534
HOST_DATA	0	ivideo->SiS_Pr.SiS_VBInfo	0-u16max[c]
HOST_DATA	0	ivideo->UMAsize	0-u64max
HOST_DATA	0	ivideo->accel	(-1)-0
HOST_DATA	0	ivideo->caps	0-255
HOST_DATA	0	ivideo->cardnumber	s32min-s32max
HOST_DATA	0	ivideo->chip	0-u32max
HOST_DATA	0	ivideo->chip_id	0-u16max
HOST_DATA	0	ivideo->chip_real_id	0-u32max
HOST_DATA	0	ivideo->chip_vendor	0-u16max
HOST_DATA	0	ivideo->chronteltype	1-2
HOST_DATA	0	ivideo->cmdQueueSize	0-u32max
HOST_DATA	0	ivideo->cmdqueuelength	0-u16max
HOST_DATA	0	ivideo->curDSTN	0-u32max
HOST_DATA	0	ivideo->curFSTN	0-1
HOST_DATA	0	ivideo->current_base	0-u32max
HOST_DATA	0	ivideo->current_bpp	s32min-s32max
HOST_DATA	0	ivideo->current_height	s32min-s32max
HOST_DATA	0	ivideo->current_htotal	s32min-s32max
HOST_DATA	0	ivideo->current_linelength	s32min-s32max
HOST_DATA	0	ivideo->current_pixclock	0-u32max
HOST_DATA	0	ivideo->current_refresh_rate	s32min-s32max
HOST_DATA	0	ivideo->current_vtotal	s32min-s32max
HOST_DATA	0	ivideo->current_width	s32min-s32max
HOST_DATA	0	ivideo->currentvbflags	536870912-536895519,537395200-537419807,1074266112-1074290719[c
HOST_DATA	0	ivideo->default_var.accel_flags	0-u32max
HOST_DATA	0	ivideo->default_var.activate	0-u32max
HOST_DATA	0	ivideo->default_var.bits_per_pixel	0-u32max
HOST_DATA	0	ivideo->default_var.blue.length	0-u32max
HOST_DATA	0	ivideo->default_var.blue.msb_right	0-u32max
HOST_DATA	0	ivideo->default_var.blue.offset	0-u32max
HOST_DATA	0	ivideo->default_var.colorspace	0-u32max
HOST_DATA	0	ivideo->default_var.grayscale	0-u32max
HOST_DATA	0	ivideo->default_var.green.length	0-u32max
HOST_DATA	0	ivideo->default_var.green.msb_right	0-u32max
HOST_DATA	0	ivideo->default_var.green.offset	0-u32max
HOST_DATA	0	ivideo->default_var.height	0-u32max
HOST_DATA	0	ivideo->default_var.hsync_len	0-u32max
HOST_DATA	0	ivideo->default_var.left_margin	0-u32max
HOST_DATA	0	ivideo->default_var.lower_margin	0-u32max
HOST_DATA	0	ivideo->default_var.nonstd	0-u32max
HOST_DATA	0	ivideo->default_var.pixclock	0-u32max
HOST_DATA	0	ivideo->default_var.red.length	0-u32max
HOST_DATA	0	ivideo->default_var.red.msb_right	0-u32max
HOST_DATA	0	ivideo->default_var.red.offset	0-u32max
HOST_DATA	0	ivideo->default_var.right_margin	0-u32max
HOST_DATA	0	ivideo->default_var.rotate	0-u32max
HOST_DATA	0	ivideo->default_var.sync	0-u32max
HOST_DATA	0	ivideo->default_var.transp.length	0-u32max
HOST_DATA	0	ivideo->default_var.transp.msb_right	0-u32max
HOST_DATA	0	ivideo->default_var.transp.offset	0-u32max
HOST_DATA	0	ivideo->default_var.upper_margin	0-u32max
HOST_DATA	0	ivideo->default_var.vmode	0-u32max
HOST_DATA	0	ivideo->default_var.vsync_len	0-u32max
HOST_DATA	0	ivideo->default_var.width	0-u32max
HOST_DATA	0	ivideo->default_var.xoffset	0-u32max
HOST_DATA	0	ivideo->default_var.xres	0-u32max
HOST_DATA	0	ivideo->default_var.xres_virtual	0-u32max
HOST_DATA	0	ivideo->default_var.yoffset	0-u32max
HOST_DATA	0	ivideo->default_var.yres	0-u32max
HOST_DATA	0	ivideo->default_var.yres_virtual	0-u32max
HOST_DATA	0	ivideo->defmodeidx	s32min-s32max
HOST_DATA	0	ivideo->detectedlcda	0-255
HOST_DATA	0	ivideo->detectedpdc	0-255
HOST_DATA	0	ivideo->detectedpdca	0-255
HOST_DATA	0	ivideo->engineok	s32min-s32max
HOST_DATA	0	ivideo->haveXGIROM	s32min-s32max
HOST_DATA	0	ivideo->havenoheap	s32min-s32max
HOST_DATA	0	ivideo->heapstart	0-u32max
HOST_DATA	0	ivideo->hwcursor_size	s32min-s32max
HOST_DATA	0	ivideo->lcddefmodeidx	s32min-s32max
HOST_DATA	0	ivideo->lcdxres	320,640,800,848,856,1024,1152,1280,1360,1400,1600,1680
HOST_DATA	0	ivideo->lcdyres	240,480,600,720,768,800,854,864,960,1024,1050,1200
HOST_DATA	0	ivideo->mmio_base	0-u64max
HOST_DATA	0	ivideo->mmio_size	0-u64max
HOST_DATA	0	ivideo->mni	s32min-s32max
HOST_DATA	0	ivideo->mode_no	0,20-25,29-54,56-63,65-66,68-69,71-72,74-75,77-105,107-122,124-
HOST_DATA	0	ivideo->modeprechange	0-255
HOST_DATA	0	ivideo->newrom	s32min-s32max
HOST_DATA	0	ivideo->p2_01	0-255
HOST_DATA	0	ivideo->p2_02	0-255
HOST_DATA	0	ivideo->p2_1f	0-255
HOST_DATA	0	ivideo->p2_20	0-255
HOST_DATA	0	ivideo->p2_2b	0-255
HOST_DATA	0	ivideo->p2_42	0-255
HOST_DATA	0	ivideo->p2_43	0-255
HOST_DATA	0	ivideo->pcibus	0-u32max
HOST_DATA	0	ivideo->pcifunc	0-u32max
HOST_DATA	0	ivideo->pcislot	0-u32max
HOST_DATA	0	ivideo->rate_idx	0-255
HOST_DATA	0	ivideo->refresh_rate	0-u32max
HOST_DATA	0	ivideo->registered	s32min-s32max
HOST_DATA	0	ivideo->revision_id	0-255
HOST_DATA	0	ivideo->scrnpitchCRT1	s32min-s32max
HOST_DATA	0	ivideo->sisfb_accel	s32min-s32max
HOST_DATA	0	ivideo->sisfb_can_post	0-255
HOST_DATA	0	ivideo->sisfb_card_posted	0-255
HOST_DATA	0	ivideo->sisfb_command.sisfb_cmd	0-u32max
HOST_DATA	0	ivideo->sisfb_crt1off	0-1
HOST_DATA	0	ivideo->sisfb_crt2flags	s32min-s32max
HOST_DATA	0	ivideo->sisfb_crt2type	s32min-s32max
HOST_DATA	0	ivideo->sisfb_dstn	s32min-s32max
HOST_DATA	0	ivideo->sisfb_fix.accel	0-u32max
HOST_DATA	0	ivideo->sisfb_fix.capabilities	0-u16max
HOST_DATA	0	ivideo->sisfb_fix.line_length	0-u32max
HOST_DATA	0	ivideo->sisfb_fix.mmio_len	0-u32max
HOST_DATA	0	ivideo->sisfb_fix.mmio_start	0-u64max
HOST_DATA	0	ivideo->sisfb_fix.smem_len	0-u32max
HOST_DATA	0	ivideo->sisfb_fix.smem_start	0-u64max
HOST_DATA	0	ivideo->sisfb_fix.type	0-u32max
HOST_DATA	0	ivideo->sisfb_fix.type_aux	0-u32max
HOST_DATA	0	ivideo->sisfb_fix.visual	0-u32max
HOST_DATA	0	ivideo->sisfb_fix.xpanstep	0-u16max
HOST_DATA	0	ivideo->sisfb_fix.ypanstep	0-u16max
HOST_DATA	0	ivideo->sisfb_fix.ywrapstep	0-u16max
HOST_DATA	0	ivideo->sisfb_forcecrt1	s32min-s32max
HOST_DATA	0	ivideo->sisfb_fstn	0-1
HOST_DATA	0	ivideo->sisfb_heap.max_freesize	0-u32max
HOST_DATA	0	ivideo->sisfb_heap.oh_free.offset	0-u32max
HOST_DATA	0	ivideo->sisfb_heap.oh_free.size	0-u32max
HOST_DATA	0	ivideo->sisfb_heap.oh_used.offset	0-u32max
HOST_DATA	0	ivideo->sisfb_heap.oh_used.size	0-u32max
HOST_DATA	0	ivideo->sisfb_heap_size	0-u32max
HOST_DATA	0	ivideo->sisfb_id	0-u32max
HOST_DATA	0	ivideo->sisfb_infoblock.chip_id	0-u32max
HOST_DATA	0	ivideo->sisfb_infoblock.fbvidmode	0-255
HOST_DATA	0	ivideo->sisfb_infoblock.heapstart	0-u32max
HOST_DATA	0	ivideo->sisfb_infoblock.memory	0-u32max
HOST_DATA	0	ivideo->sisfb_infoblock.sisfb_can_post	0-255
HOST_DATA	0	ivideo->sisfb_infoblock.sisfb_caps	0-255
HOST_DATA	0	ivideo->sisfb_infoblock.sisfb_card_posted	0-255
HOST_DATA	0	ivideo->sisfb_infoblock.sisfb_curdstn	0-u32max
HOST_DATA	0	ivideo->sisfb_infoblock.sisfb_curfstn	0-u32max
HOST_DATA	0	ivideo->sisfb_infoblock.sisfb_currentvbflags	0-u32max
HOST_DATA	0	ivideo->sisfb_infoblock.sisfb_emi30	0-255
HOST_DATA	0	ivideo->sisfb_infoblock.sisfb_emi31	0-255
HOST_DATA	0	ivideo->sisfb_infoblock.sisfb_emi32	0-255
HOST_DATA	0	ivideo->sisfb_infoblock.sisfb_emi33	0-255
HOST_DATA	0	ivideo->sisfb_infoblock.sisfb_haveemi	0-255
HOST_DATA	0	ivideo->sisfb_infoblock.sisfb_haveemilcd	0-255
HOST_DATA	0	ivideo->sisfb_infoblock.sisfb_heapsize	0-u32max
HOST_DATA	0	ivideo->sisfb_infoblock.sisfb_id	0-u32max
HOST_DATA	0	ivideo->sisfb_infoblock.sisfb_lcda	0-255
HOST_DATA	0	ivideo->sisfb_infoblock.sisfb_lcdpdc	0-255
HOST_DATA	0	ivideo->sisfb_infoblock.sisfb_lcdpdca	0-255
HOST_DATA	0	ivideo->sisfb_infoblock.sisfb_patchlevel	0-255
HOST_DATA	0	ivideo->sisfb_infoblock.sisfb_pci_vendor	0-u16max
HOST_DATA	0	ivideo->sisfb_infoblock.sisfb_pcibus	0-u32max
HOST_DATA	0	ivideo->sisfb_infoblock.sisfb_pcifunc	0-u32max
HOST_DATA	0	ivideo->sisfb_infoblock.sisfb_pcislot	0-u32max
HOST_DATA	0	ivideo->sisfb_infoblock.sisfb_revision	0-255
HOST_DATA	0	ivideo->sisfb_infoblock.sisfb_scalelcd	0-u32max
HOST_DATA	0	ivideo->sisfb_infoblock.sisfb_specialtiming	0-u32max
HOST_DATA	0	ivideo->sisfb_infoblock.sisfb_tqlen	0-u32max
HOST_DATA	0	ivideo->sisfb_infoblock.sisfb_tvxpos	0-u16max
HOST_DATA	0	ivideo->sisfb_infoblock.sisfb_tvypos	0-u16max
HOST_DATA	0	ivideo->sisfb_infoblock.sisfb_vbflags	0-u32max
HOST_DATA	0	ivideo->sisfb_infoblock.sisfb_vbflags2	0-u32max
HOST_DATA	0	ivideo->sisfb_infoblock.sisfb_version	0-255
HOST_DATA	0	ivideo->sisfb_infoblock.sisfb_videooffset	0-u32max
HOST_DATA	0	ivideo->sisfb_infoblock.sisfb_was_boot_device	0-255
HOST_DATA	0	ivideo->sisfb_max	s32min-s32max
HOST_DATA	0	ivideo->sisfb_mem	0-u32max
HOST_DATA	0	ivideo->sisfb_mode_idx	s32min-s32max
HOST_DATA	0	ivideo->sisfb_nocrt2rate	0-1
HOST_DATA	0	ivideo->sisfb_parm_mem	0-u32max
HOST_DATA	0	ivideo->sisfb_parm_rate	s32min-s32max
HOST_DATA	0	ivideo->sisfb_thismonitor.datavalid	0-1
HOST_DATA	0	ivideo->sisfb_thismonitor.dclockmax	0-u32max
HOST_DATA	0	ivideo->sisfb_thismonitor.feature	0-255
HOST_DATA	0	ivideo->sisfb_thismonitor.hmax	0-u16max
HOST_DATA	0	ivideo->sisfb_thismonitor.hmin	0-u16max
HOST_DATA	0	ivideo->sisfb_thismonitor.vmax	0-u16max
HOST_DATA	0	ivideo->sisfb_thismonitor.vmin	0-u16max
HOST_DATA	0	ivideo->sisfb_tvplug	s32min-s32max
HOST_DATA	0	ivideo->sisfb_tvstd	s32min-s32max
HOST_DATA	0	ivideo->sisfb_useoem	s32min-s32max
HOST_DATA	0	ivideo->sisfb_userom	s32min-s32max
HOST_DATA	0	ivideo->sisfb_was_boot_device	0-255
HOST_DATA	0	ivideo->sisfb_ypan	s32min-s32max
HOST_DATA	0	ivideo->sisfbinfo.chip_id	0-u32max
HOST_DATA	0	ivideo->sisfbinfo.fbvidmode	0-255
HOST_DATA	0	ivideo->sisfbinfo.heapstart	0-u32max
HOST_DATA	0	ivideo->sisfbinfo.memory	0-u32max
HOST_DATA	0	ivideo->sisfbinfo.sisfb_can_post	0-255
HOST_DATA	0	ivideo->sisfbinfo.sisfb_caps	0-255
HOST_DATA	0	ivideo->sisfbinfo.sisfb_card_posted	0-255
HOST_DATA	0	ivideo->sisfbinfo.sisfb_curdstn	0-u32max
HOST_DATA	0	ivideo->sisfbinfo.sisfb_curfstn	0-u32max
HOST_DATA	0	ivideo->sisfbinfo.sisfb_currentvbflags	0-u32max
HOST_DATA	0	ivideo->sisfbinfo.sisfb_emi30	0-255
HOST_DATA	0	ivideo->sisfbinfo.sisfb_emi31	0-255
HOST_DATA	0	ivideo->sisfbinfo.sisfb_emi32	0-255
HOST_DATA	0	ivideo->sisfbinfo.sisfb_emi33	0-255
HOST_DATA	0	ivideo->sisfbinfo.sisfb_haveemi	0-255
HOST_DATA	0	ivideo->sisfbinfo.sisfb_haveemilcd	0-255
HOST_DATA	0	ivideo->sisfbinfo.sisfb_heapsize	0-u32max
HOST_DATA	0	ivideo->sisfbinfo.sisfb_id	0-u32max
HOST_DATA	0	ivideo->sisfbinfo.sisfb_lcda	0-255
HOST_DATA	0	ivideo->sisfbinfo.sisfb_lcdpdc	0-255
HOST_DATA	0	ivideo->sisfbinfo.sisfb_lcdpdca	0-255
HOST_DATA	0	ivideo->sisfbinfo.sisfb_patchlevel	0-255
HOST_DATA	0	ivideo->sisfbinfo.sisfb_pci_vendor	0-u16max
HOST_DATA	0	ivideo->sisfbinfo.sisfb_pcibus	0-u32max
HOST_DATA	0	ivideo->sisfbinfo.sisfb_pcifunc	0-u32max
HOST_DATA	0	ivideo->sisfbinfo.sisfb_pcislot	0-u32max
HOST_DATA	0	ivideo->sisfbinfo.sisfb_revision	0-255
HOST_DATA	0	ivideo->sisfbinfo.sisfb_scalelcd	0-u32max
HOST_DATA	0	ivideo->sisfbinfo.sisfb_specialtiming	0-u32max
HOST_DATA	0	ivideo->sisfbinfo.sisfb_tqlen	0-u32max
HOST_DATA	0	ivideo->sisfbinfo.sisfb_tvxpos	0-u16max
HOST_DATA	0	ivideo->sisfbinfo.sisfb_tvypos	0-u16max
HOST_DATA	0	ivideo->sisfbinfo.sisfb_vbflags	0-u32max
HOST_DATA	0	ivideo->sisfbinfo.sisfb_vbflags2	0-u32max
HOST_DATA	0	ivideo->sisfbinfo.sisfb_version	0-255
HOST_DATA	0	ivideo->sisfbinfo.sisfb_videooffset	0-u32max
HOST_DATA	0	ivideo->sisfbinfo.sisfb_was_boot_device	0-255
HOST_DATA	0	ivideo->sisfblocked	0-1
HOST_DATA	0	ivideo->sisvga_enabled	s32min-s32max
HOST_DATA	0	ivideo->subsysdevice	0-u16max
HOST_DATA	0	ivideo->subsysvendor	0-u16max
HOST_DATA	0	ivideo->tvdefmodeidx	s32min-s32max
HOST_DATA	0	ivideo->tvx	0-3,256-259,u16max,65791
HOST_DATA	0	ivideo->tvxpos	(-32)-32
HOST_DATA	0	ivideo->tvy	0-3,256-259,u16max,65791
HOST_DATA	0	ivideo->tvypos	(-32)-32
HOST_DATA	0	ivideo->vbflags	0-u32max
HOST_DATA	0	ivideo->vbflags2	0,2-u32max
HOST_DATA	0	ivideo->vga_base	0-u64max
HOST_DATA	0	ivideo->video_base	0-u64max
HOST_DATA	0	ivideo->video_bpp	s32min-s32max
HOST_DATA	0	ivideo->video_cmap_len	s32min-s32max
HOST_DATA	0	ivideo->video_height	s32min-s32max
HOST_DATA	0	ivideo->video_linelength	s32min-s32max
HOST_DATA	0	ivideo->video_offset	0-u64max
HOST_DATA	0	ivideo->video_size	0-u64max
HOST_DATA	0	ivideo->video_width	s32min-s32max
HOST_DATA	0	ivideo->warncount	s32min-s32max
HOST_DATA	0	ivideo->wc_cookie	s32min-s32max
USER_DATA	0	ivideo->sisfb_command.sisfb_cmd	0-u32max
UNITS	0	ivideo	unit_byte
USER_PTR	0	ivideo->sisfb_command.sisfb_arg
USER_PTR	0	ivideo->sisfb_command.sisfb_result
HALF_LOCKED2		&info->lock

drivers/video/fbdev/sis/sis_main.c sisfb_pre_setmode() -> sisfb_check_engine_and_sync()

Type	Parameter	Key	Value
PARAM_VALUE	0	ivideo	4096-ptr_max
PARAM_VALUE	0	ivideo->currentvbflags	0-24607
PARAM_VALUE	0	ivideo->sisvga_engine	1-2
BUF_SIZE	0	ivideo	2,4,16,24,32,128,216,248,256,1288,1984,2560
BUF_SIZE	0	ivideo	2,4,16,24,32,128,216,248,256,1288,1984,2560
DATA_SOURCE	0	ivideo	$0
FUZZY_MAX	0	ivideo->sisvga_engine	2
BIT_INFO	0	ivideo->currentvbflags	0x0,0x1f707ffe
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	ivideo->sisfb_command.sisfb_cmd	0-u32max
UNITS	0	ivideo	unit_byte
USER_PTR	0	ivideo->sisfb_command.sisfb_arg
USER_PTR	0	ivideo->sisfb_command.sisfb_result
HALF_LOCKED2		&info->lock