svga_match_format identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

include/linux/svga.h, line 122 (as a prototype)

Defined in 1 files as a function:

drivers/video/fbdev/core/svgalib.c, line 617 (as a function)

Referenced in 4 files:

Smatch caller information:

drivers/video/fbdev/s3fb.c s3fb_check_var() -> svga_match_format()

Type	Parameter	Key	Value
PARAM_VALUE	0	frm	297188218070962176
PARAM_VALUE	1	var	4096-ptr_max
PARAM_VALUE	2	fix	0
BUF_SIZE	0	frm	836
DATA_SOURCE	1	var	$0
STR_LEN	0	frm	(-1),10,12-14,30
STR_LEN	1	var	(-1),10,12-14,30
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	1	var->blue.msb_right	0-u32max
HOST_DATA	1	var->green.msb_right	0-u32max
HOST_DATA	1	var->hsync_len	1-256[c]
HOST_DATA	1	var->left_margin	0-4094,4294967040-u32max[c]
HOST_DATA	1	var->lower_margin	0-4095,4294963201-u32max[c]
HOST_DATA	1	var->pixclock	1-64000000[c]
HOST_DATA	1	var->red.msb_right	0-u32max
HOST_DATA	1	var->right_margin	0-u16max,4294963201-u32max[c]
HOST_DATA	1	var->transp.length	0-u32max
HOST_DATA	1	var->transp.msb_right	0-u32max
HOST_DATA	1	var->transp.offset	0-u32max
HOST_DATA	1	var->upper_margin	0-4094,4294967232-u32max[c]
HOST_DATA	1	var->vsync_len	1-64[c]
HOST_DATA	1	var->xres	1-u32max
HOST_DATA	1	var->xres_virtual	0-u32max
HOST_DATA	1	var->yres	1-u32max
HOST_DATA	1	var->yres_virtual	1-4096[c]
USER_DATA	1	var->accel_flags	0-u32max
USER_DATA	1	var->activate	0-u32max[c]
USER_DATA	1	var->bits_per_pixel	0-u32max
USER_DATA	1	var->blue.length	0-u32max
USER_DATA	1	var->blue.msb_right	0-u32max
USER_DATA	1	var->blue.offset	0-u32max
USER_DATA	1	var->colorspace	0-u32max
USER_DATA	1	var->grayscale	0-u32max
USER_DATA	1	var->green.length	0-u32max
USER_DATA	1	var->green.msb_right	0-u32max
USER_DATA	1	var->green.offset	0-u32max
USER_DATA	1	var->height	0-u32max
USER_DATA	1	var->hsync_len	0-u32max
USER_DATA	1	var->left_margin	0-u32max
USER_DATA	1	var->lower_margin	0-u32max
USER_DATA	1	var->nonstd	0-u32max
USER_DATA	1	var->pixclock	1-u32max
USER_DATA	1	var->red.length	0-u32max
USER_DATA	1	var->red.msb_right	0-u32max
USER_DATA	1	var->red.offset	0-u32max
USER_DATA	1	var->right_margin	0-u32max
USER_DATA	1	var->rotate	0-u32max
USER_DATA	1	var->sync	0-u32max
USER_DATA	1	var->transp.length	0-u32max
USER_DATA	1	var->transp.msb_right	0-u32max
USER_DATA	1	var->transp.offset	0-u32max
USER_DATA	1	var->upper_margin	0-u32max
USER_DATA	1	var->vmode	0-u32max
USER_DATA	1	var->vsync_len	0-u32max
USER_DATA	1	var->width	0-u32max
USER_DATA	1	var->xoffset	0-u32max
USER_DATA	1	var->xres	1-u32max
USER_DATA	1	var->xres_virtual	0-u32max
USER_DATA	1	var->yoffset	0-u32max
USER_DATA	1	var->yres	1-u32max
USER_DATA	1	var->yres_virtual	0-u32max
USER_PTR	1	var->reserved

drivers/video/fbdev/s3fb.c s3fb_set_par() -> svga_match_format()

Type	Parameter	Key	Value
PARAM_VALUE	0	frm	297188218070962176
PARAM_VALUE	1	var	4096-ptr_max
PARAM_VALUE	2	fix	4096-ptr_max
BUF_SIZE	0	frm	836
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	1	var->blue.msb_right	0-u32max
HOST_DATA	1	var->green.msb_right	0-u32max
HOST_DATA	1	var->red.msb_right	0-u32max
HOST_DATA	1	var->transp.length	0-u32max
HOST_DATA	1	var->transp.msb_right	0-u32max
HOST_DATA	1	var->transp.offset	0-u32max
HOST_DATA	1	var->xres	8-u32max[c]
HOST_DATA	1	var->xres_virtual	8-u32max
HOST_DATA	1	var->yres	8-s32max[c]
NO_OVERFLOW_SIMPLE	1	var->xres
NO_OVERFLOW_SIMPLE	1	var->xres_virtual
NO_OVERFLOW_SIMPLE	1	var->yres
NO_OVERFLOW_SIMPLE	1	var->yres_virtual
NO_OVERFLOW_SIMPLE	2	fix->mmio_start
USER_PTR	1	var->reserved
HALF_LOCKED2		&minfo->crtc2.lock
HALF_LOCKED2		&par->open_lock
HALF_LOCKED2		global &console_sem

drivers/video/fbdev/vt8623fb.c vt8623fb_check_var() -> svga_match_format()

Type	Parameter	Key	Value
PARAM_VALUE	0	frm	7391425436090105856
PARAM_VALUE	1	var	4096-ptr_max
PARAM_VALUE	2	fix	0
BUF_SIZE	0	frm	532
DATA_SOURCE	1	var	$0
STR_LEN	0	frm	(-1),10,12-14,30
STR_LEN	1	var	(-1),10,12-14,30
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	1	var->blue.msb_right	0-u32max
HOST_DATA	1	var->green.msb_right	0-u32max
HOST_DATA	1	var->hsync_len	1-256[c]
HOST_DATA	1	var->left_margin	0-4094,4294967040-u32max[c]
HOST_DATA	1	var->lower_margin	0-4095,4294963201-u32max[c]
HOST_DATA	1	var->pixclock	1-64000000[c]
HOST_DATA	1	var->red.msb_right	0-u32max
HOST_DATA	1	var->right_margin	0-u16max,4294963201-u32max[c]
HOST_DATA	1	var->transp.length	0-u32max
HOST_DATA	1	var->transp.msb_right	0-u32max
HOST_DATA	1	var->transp.offset	0-u32max
HOST_DATA	1	var->upper_margin	0-4094,4294967232-u32max[c]
HOST_DATA	1	var->vsync_len	1-64[c]
HOST_DATA	1	var->xres	1-u32max
HOST_DATA	1	var->xres_virtual	0-u32max
HOST_DATA	1	var->yres	1-u32max
HOST_DATA	1	var->yres_virtual	1-4096[c]
USER_DATA	1	var->accel_flags	0-u32max
USER_DATA	1	var->activate	0-u32max[c]
USER_DATA	1	var->bits_per_pixel	0-u32max
USER_DATA	1	var->blue.length	0-u32max
USER_DATA	1	var->blue.msb_right	0-u32max
USER_DATA	1	var->blue.offset	0-u32max
USER_DATA	1	var->colorspace	0-u32max
USER_DATA	1	var->grayscale	0-u32max
USER_DATA	1	var->green.length	0-u32max
USER_DATA	1	var->green.msb_right	0-u32max
USER_DATA	1	var->green.offset	0-u32max
USER_DATA	1	var->height	0-u32max
USER_DATA	1	var->hsync_len	0-u32max
USER_DATA	1	var->left_margin	0-u32max
USER_DATA	1	var->lower_margin	0-u32max
USER_DATA	1	var->nonstd	0-u32max
USER_DATA	1	var->pixclock	1-u32max
USER_DATA	1	var->red.length	0-u32max
USER_DATA	1	var->red.msb_right	0-u32max
USER_DATA	1	var->red.offset	0-u32max
USER_DATA	1	var->right_margin	0-u32max
USER_DATA	1	var->rotate	0-u32max
USER_DATA	1	var->sync	0-u32max
USER_DATA	1	var->transp.length	0-u32max
USER_DATA	1	var->transp.msb_right	0-u32max
USER_DATA	1	var->transp.offset	0-u32max
USER_DATA	1	var->upper_margin	0-u32max
USER_DATA	1	var->vmode	0-u32max
USER_DATA	1	var->vsync_len	0-u32max
USER_DATA	1	var->width	0-u32max
USER_DATA	1	var->xoffset	0-u32max
USER_DATA	1	var->xres	1-u32max
USER_DATA	1	var->xres_virtual	0-u32max
USER_DATA	1	var->yoffset	0-u32max
USER_DATA	1	var->yres	1-u32max
USER_DATA	1	var->yres_virtual	0-u32max
USER_PTR	1	var->reserved

drivers/video/fbdev/vt8623fb.c vt8623fb_set_par() -> svga_match_format()

Type	Parameter	Key	Value
PARAM_VALUE	0	frm	7391425436090105856
PARAM_VALUE	1	var	4096-ptr_max
PARAM_VALUE	2	fix	4096-ptr_max
BUF_SIZE	0	frm	532
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	1	var->blue.msb_right	0-u32max
HOST_DATA	1	var->green.msb_right	0-u32max
HOST_DATA	1	var->red.msb_right	0-u32max
HOST_DATA	1	var->transp.length	0-u32max
HOST_DATA	1	var->transp.msb_right	0-u32max
HOST_DATA	1	var->transp.offset	0-u32max
HOST_DATA	1	var->xres	8-u32max[c]
HOST_DATA	1	var->xres_virtual	8-u32max
HOST_DATA	1	var->yres	8-s32max[c]
NO_OVERFLOW_SIMPLE	1	var->xres
NO_OVERFLOW_SIMPLE	1	var->xres_virtual
NO_OVERFLOW_SIMPLE	1	var->yres
NO_OVERFLOW_SIMPLE	1	var->yres_virtual
NO_OVERFLOW_SIMPLE	2	fix->mmio_start
USER_PTR	1	var->reserved
HALF_LOCKED2		&minfo->crtc2.lock
HALF_LOCKED2		&par->open_lock
HALF_LOCKED2		global &console_sem

drivers/video/fbdev/arkfb.c arkfb_check_var() -> svga_match_format()

Type	Parameter	Key	Value
PARAM_VALUE	0	frm	1713276106245808128
PARAM_VALUE	1	var	4096-ptr_max
PARAM_VALUE	2	fix	0
BUF_SIZE	0	frm	684
DATA_SOURCE	1	var	$0
STR_LEN	0	frm	(-1),10,12-14,30
STR_LEN	1	var	(-1),10,12-14,30
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	1	var->blue.msb_right	0-u32max
HOST_DATA	1	var->green.msb_right	0-u32max
HOST_DATA	1	var->hsync_len	1-256[c]
HOST_DATA	1	var->left_margin	0-4094,4294967040-u32max[c]
HOST_DATA	1	var->lower_margin	0-4095,4294963201-u32max[c]
HOST_DATA	1	var->pixclock	1-64000000[c]
HOST_DATA	1	var->red.msb_right	0-u32max
HOST_DATA	1	var->right_margin	0-u16max,4294963201-u32max[c]
HOST_DATA	1	var->transp.length	0-u32max
HOST_DATA	1	var->transp.msb_right	0-u32max
HOST_DATA	1	var->transp.offset	0-u32max
HOST_DATA	1	var->upper_margin	0-4094,4294967232-u32max[c]
HOST_DATA	1	var->vsync_len	1-64[c]
HOST_DATA	1	var->xres	1-u32max
HOST_DATA	1	var->xres_virtual	0-u32max
HOST_DATA	1	var->yres	1-u32max
HOST_DATA	1	var->yres_virtual	1-4096[c]
USER_DATA	1	var->accel_flags	0-u32max
USER_DATA	1	var->activate	0-u32max[c]
USER_DATA	1	var->bits_per_pixel	0-u32max
USER_DATA	1	var->blue.length	0-u32max
USER_DATA	1	var->blue.msb_right	0-u32max
USER_DATA	1	var->blue.offset	0-u32max
USER_DATA	1	var->colorspace	0-u32max
USER_DATA	1	var->grayscale	0-u32max
USER_DATA	1	var->green.length	0-u32max
USER_DATA	1	var->green.msb_right	0-u32max
USER_DATA	1	var->green.offset	0-u32max
USER_DATA	1	var->height	0-u32max
USER_DATA	1	var->hsync_len	0-u32max
USER_DATA	1	var->left_margin	0-u32max
USER_DATA	1	var->lower_margin	0-u32max
USER_DATA	1	var->nonstd	0-u32max
USER_DATA	1	var->pixclock	1-u32max
USER_DATA	1	var->red.length	0-u32max
USER_DATA	1	var->red.msb_right	0-u32max
USER_DATA	1	var->red.offset	0-u32max
USER_DATA	1	var->right_margin	0-u32max
USER_DATA	1	var->rotate	0-u32max
USER_DATA	1	var->sync	0-u32max
USER_DATA	1	var->transp.length	0-u32max
USER_DATA	1	var->transp.msb_right	0-u32max
USER_DATA	1	var->transp.offset	0-u32max
USER_DATA	1	var->upper_margin	0-u32max
USER_DATA	1	var->vmode	0-u32max
USER_DATA	1	var->vsync_len	0-u32max
USER_DATA	1	var->width	0-u32max
USER_DATA	1	var->xoffset	0-u32max
USER_DATA	1	var->xres	1-u32max
USER_DATA	1	var->xres_virtual	0-u32max
USER_DATA	1	var->yoffset	0-u32max
USER_DATA	1	var->yres	1-u32max
USER_DATA	1	var->yres_virtual	0-u32max
USER_PTR	1	var->reserved

drivers/video/fbdev/arkfb.c arkfb_set_par() -> svga_match_format()

Type	Parameter	Key	Value
PARAM_VALUE	0	frm	1713276106245808128
PARAM_VALUE	1	var	4096-ptr_max
PARAM_VALUE	2	fix	4096-ptr_max
BUF_SIZE	0	frm	684
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	1	var->blue.msb_right	0-u32max
HOST_DATA	1	var->green.msb_right	0-u32max
HOST_DATA	1	var->red.msb_right	0-u32max
HOST_DATA	1	var->transp.length	0-u32max
HOST_DATA	1	var->transp.msb_right	0-u32max
HOST_DATA	1	var->transp.offset	0-u32max
HOST_DATA	1	var->xres	8-u32max[c]
HOST_DATA	1	var->xres_virtual	8-u32max
HOST_DATA	1	var->yres	8-s32max[c]
NO_OVERFLOW_SIMPLE	1	var->xres
NO_OVERFLOW_SIMPLE	1	var->xres_virtual
NO_OVERFLOW_SIMPLE	1	var->yres
NO_OVERFLOW_SIMPLE	1	var->yres_virtual
NO_OVERFLOW_SIMPLE	2	fix->mmio_start
USER_PTR	1	var->reserved
HALF_LOCKED2		&minfo->crtc2.lock
HALF_LOCKED2		&par->open_lock
HALF_LOCKED2		global &console_sem