fb_get_mode identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

include/linux/fb.h, line 792 (as a prototype)

Defined in 2 files as a function:

Referenced in 6 files:

Smatch caller information:

drivers/video/fbdev/uvesafb.c uvesafb_check_limits() -> fb_get_mode()

Type	Parameter	Key	Value
PARAM_VALUE	0	flags	257
PARAM_VALUE	1	val	60
PARAM_VALUE	2	var	4096-ptr_max
PARAM_VALUE	2	var->bits_per_pixel	0-14,16-255
PARAM_VALUE	2	var->blue.length	0-255
PARAM_VALUE	2	var->blue.offset	0-255
PARAM_VALUE	2	var->green.length	0-255
PARAM_VALUE	2	var->green.offset	0-255
PARAM_VALUE	2	var->pixclock	1-u32max
PARAM_VALUE	2	var->red.length	0-255
PARAM_VALUE	2	var->red.offset	0-255
PARAM_VALUE	2	var->sync	2
PARAM_VALUE	2	var->transp.length	0-255
PARAM_VALUE	2	var->transp.offset	0-255
PARAM_VALUE	2	var->vmode	0
PARAM_VALUE	2	var->xoffset	0
PARAM_VALUE	2	var->xres	0-u16max
PARAM_VALUE	2	var->xres_virtual	0-u16max
PARAM_VALUE	2	var->yoffset	0
PARAM_VALUE	2	var->yres	0-u16max
PARAM_VALUE	3	info	4096-ptr_max
PARAM_VALUE	3	info->fbops	4096-ptr_max
PARAM_VALUE	3	info->par	4096-ptr_max
BUF_SIZE	3	info	s32min-(-1),1-s32max
BUF_SIZE	3	info	s32min-(-1),1-s32max
BUF_SIZE	3	info->device	(-1),1616
BUF_SIZE	3	info->fbops	(-1),168
BUF_SIZE	3	info->par	(-1),2560
BUF_SIZE	3	info->pixmap.addr	(-1),4096,6400,8192
BUF_SIZE	3	info->pseudo_palette	(-1),64
BUF_SIZE	3	info->screen_base	(-1)-s32max
BUF_SIZE	3	info->screen_buffer	(-1)-s32max
DATA_SOURCE	2	var	$0
DATA_SOURCE	3	info	$1
STR_LEN	0	flags	(-1),10,12-14,30
STR_LEN	2	var	(-1),10,12-14,30
STR_LEN	3	info->fix.id	(-1),7,9-10,12
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	2	var->blue.msb_right	0-u32max
HOST_DATA	2	var->green.msb_right	0-u32max
HOST_DATA	2	var->hsync_len	1-256[c]
HOST_DATA	2	var->left_margin	0-4094,4294967040-u32max[c]
HOST_DATA	2	var->lower_margin	0-4095,4294963201-u32max[c]
HOST_DATA	2	var->pixclock	1-64000000[c]
HOST_DATA	2	var->red.msb_right	0-u32max
HOST_DATA	2	var->right_margin	0-u16max,4294963201-u32max[c]
HOST_DATA	2	var->transp.msb_right	0-u32max
HOST_DATA	2	var->upper_margin	0-4094,4294967232-u32max[c]
HOST_DATA	2	var->vsync_len	1-64[c]
HOST_DATA	3	info->fix.smem_len	0-4293918720[c]
HOST_DATA	3	info->screen_size	0-s32max,18446744071562067968-18446744073708503040[c]
HOST_DATA	3	info->var.blue.msb_right	0-u32max
HOST_DATA	3	info->var.green.msb_right	0-u32max
HOST_DATA	3	info->var.hsync_len	1-256[c]
HOST_DATA	3	info->var.left_margin	0-4094,4294967040-u32max[c]
HOST_DATA	3	info->var.lower_margin	0-4095,4294963201-u32max[c]
HOST_DATA	3	info->var.pixclock	0-64000000[c]
HOST_DATA	3	info->var.red.msb_right	0-u32max
HOST_DATA	3	info->var.right_margin	0-u16max,4294963201-u32max[c]
HOST_DATA	3	info->var.transp.length	0-u32max
HOST_DATA	3	info->var.transp.msb_right	0-u32max
HOST_DATA	3	info->var.transp.offset	0-u32max
HOST_DATA	3	info->var.upper_margin	0-4094,4294967232-u32max[c]
HOST_DATA	3	info->var.vsync_len	1-64[c]
HOST_DATA	3	info->var.xres	0-u32max
HOST_DATA	3	info->var.xres_virtual	0-u32max
HOST_DATA	3	info->var.yres	0-u32max
HOST_DATA	3	info->var.yres_virtual	1-4096[c]
USER_DATA	2	var->accel_flags	0-u32max
USER_DATA	2	var->activate	0-u32max[c]
USER_DATA	2	var->blue.msb_right	0-u32max
USER_DATA	2	var->colorspace	0-u32max
USER_DATA	2	var->grayscale	0-u32max
USER_DATA	2	var->green.msb_right	0-u32max
USER_DATA	2	var->height	0-u32max
USER_DATA	2	var->hsync_len	0-u32max
USER_DATA	2	var->left_margin	0-u32max
USER_DATA	2	var->lower_margin	0-u32max
USER_DATA	2	var->nonstd	0-u32max
USER_DATA	2	var->pixclock	1-u32max
USER_DATA	2	var->red.msb_right	0-u32max
USER_DATA	2	var->right_margin	0-u32max
USER_DATA	2	var->rotate	0-u32max
USER_DATA	2	var->transp.msb_right	0-u32max
USER_DATA	2	var->upper_margin	0-u32max
USER_DATA	2	var->vsync_len	0-u32max
USER_DATA	2	var->width	0-u32max
NO_OVERFLOW_SIMPLE	3	info->fbdefio_state->npagerefs
NO_OVERFLOW_SIMPLE	3	info->fix.mmio_len
NO_OVERFLOW_SIMPLE	3	info->fix.mmio_start
NO_OVERFLOW_SIMPLE	3	info->fix.smem_len
NO_OVERFLOW_SIMPLE	3	info->screen_size
NO_OVERFLOW_SIMPLE	3	info->var.xres
NO_OVERFLOW_SIMPLE	3	info->var.xres_virtual
NO_OVERFLOW_SIMPLE	3	info->var.yres
NO_OVERFLOW_SIMPLE	3	info->var.yres_virtual
USER_PTR	2	var->reserved
HALF_LOCKED2	3	&info->lock

drivers/video/fbdev/uvesafb.c uvesafb_check_limits() -> fb_get_mode()

Type	Parameter	Key	Value
PARAM_VALUE	0	flags	0
PARAM_VALUE	1	val	0
PARAM_VALUE	2	var	4096-ptr_max
PARAM_VALUE	2	var->bits_per_pixel	0-14,16-255
PARAM_VALUE	2	var->blue.length	0-255
PARAM_VALUE	2	var->blue.offset	0-255
PARAM_VALUE	2	var->green.length	0-255
PARAM_VALUE	2	var->green.offset	0-255
PARAM_VALUE	2	var->pixclock	1-u32max
PARAM_VALUE	2	var->red.length	0-255
PARAM_VALUE	2	var->red.offset	0-255
PARAM_VALUE	2	var->sync	2
PARAM_VALUE	2	var->transp.length	0-255
PARAM_VALUE	2	var->transp.offset	0-255
PARAM_VALUE	2	var->vmode	0
PARAM_VALUE	2	var->xoffset	0
PARAM_VALUE	2	var->xres	0-u16max
PARAM_VALUE	2	var->xres_virtual	0-u16max
PARAM_VALUE	2	var->yoffset	0
PARAM_VALUE	2	var->yres	0-u16max
PARAM_VALUE	3	info	4096-ptr_max
PARAM_VALUE	3	info->fbops	4096-ptr_max
PARAM_VALUE	3	info->monspecs.gtf	1
PARAM_VALUE	3	info->par	4096-ptr_max
BUF_SIZE	3	info	s32min-(-1),1-s32max
BUF_SIZE	3	info	s32min-(-1),1-s32max
BUF_SIZE	3	info->device	(-1),1616
BUF_SIZE	3	info->fbops	(-1),168
BUF_SIZE	3	info->par	(-1),2560
BUF_SIZE	3	info->pixmap.addr	(-1),4096,6400,8192
BUF_SIZE	3	info->pseudo_palette	(-1),64
BUF_SIZE	3	info->screen_base	(-1)-s32max
BUF_SIZE	3	info->screen_buffer	(-1)-s32max
CAPPED_DATA	2	var->xres	1
CAPPED_DATA	2	var->yres	1
DATA_SOURCE	2	var	$0
DATA_SOURCE	3	info	$1
STR_LEN	0	flags	(-1),10,12-14,30
STR_LEN	2	var	(-1),10,12-14,30
STR_LEN	3	info->fix.id	(-1),7,9-10,12
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	2	var->blue.msb_right	0-u32max
HOST_DATA	2	var->green.msb_right	0-u32max
HOST_DATA	2	var->hsync_len	1-256[c]
HOST_DATA	2	var->left_margin	0-4094,4294967040-u32max[c]
HOST_DATA	2	var->lower_margin	0-4095,4294963201-u32max[c]
HOST_DATA	2	var->pixclock	1-64000000[c]
HOST_DATA	2	var->red.msb_right	0-u32max
HOST_DATA	2	var->right_margin	0-u16max,4294963201-u32max[c]
HOST_DATA	2	var->transp.msb_right	0-u32max
HOST_DATA	2	var->upper_margin	0-4094,4294967232-u32max[c]
HOST_DATA	2	var->vsync_len	1-64[c]
HOST_DATA	3	info->fix.smem_len	0-4293918720[c]
HOST_DATA	3	info->screen_size	0-s32max,18446744071562067968-18446744073708503040[c]
HOST_DATA	3	info->var.blue.msb_right	0-u32max
HOST_DATA	3	info->var.green.msb_right	0-u32max
HOST_DATA	3	info->var.hsync_len	1-256[c]
HOST_DATA	3	info->var.left_margin	0-4094,4294967040-u32max[c]
HOST_DATA	3	info->var.lower_margin	0-4095,4294963201-u32max[c]
HOST_DATA	3	info->var.pixclock	0-64000000[c]
HOST_DATA	3	info->var.red.msb_right	0-u32max
HOST_DATA	3	info->var.right_margin	0-u16max,4294963201-u32max[c]
HOST_DATA	3	info->var.transp.length	0-u32max
HOST_DATA	3	info->var.transp.msb_right	0-u32max
HOST_DATA	3	info->var.transp.offset	0-u32max
HOST_DATA	3	info->var.upper_margin	0-4094,4294967232-u32max[c]
HOST_DATA	3	info->var.vsync_len	1-64[c]
HOST_DATA	3	info->var.xres	0-u32max
HOST_DATA	3	info->var.xres_virtual	0-u32max
HOST_DATA	3	info->var.yres	0-u32max
HOST_DATA	3	info->var.yres_virtual	1-4096[c]
USER_DATA	2	var->accel_flags	0-u32max
USER_DATA	2	var->activate	0-u32max[c]
USER_DATA	2	var->blue.msb_right	0-u32max
USER_DATA	2	var->colorspace	0-u32max
USER_DATA	2	var->grayscale	0-u32max
USER_DATA	2	var->green.msb_right	0-u32max
USER_DATA	2	var->height	0-u32max
USER_DATA	2	var->hsync_len	0-u32max
USER_DATA	2	var->left_margin	0-u32max
USER_DATA	2	var->lower_margin	0-u32max
USER_DATA	2	var->nonstd	0-u32max
USER_DATA	2	var->pixclock	1-u32max
USER_DATA	2	var->red.msb_right	0-u32max
USER_DATA	2	var->right_margin	0-u32max
USER_DATA	2	var->rotate	0-u32max
USER_DATA	2	var->transp.msb_right	0-u32max
USER_DATA	2	var->upper_margin	0-u32max
USER_DATA	2	var->vsync_len	0-u32max
USER_DATA	2	var->width	0-u32max
NO_OVERFLOW_SIMPLE	3	info->fbdefio_state->npagerefs
NO_OVERFLOW_SIMPLE	3	info->fix.mmio_len
NO_OVERFLOW_SIMPLE	3	info->fix.mmio_start
NO_OVERFLOW_SIMPLE	3	info->fix.smem_len
NO_OVERFLOW_SIMPLE	3	info->screen_size
NO_OVERFLOW_SIMPLE	3	info->var.xres
NO_OVERFLOW_SIMPLE	3	info->var.xres_virtual
NO_OVERFLOW_SIMPLE	3	info->var.yres
NO_OVERFLOW_SIMPLE	3	info->var.yres_virtual
USER_PTR	2	var->reserved
HALF_LOCKED2	3	&info->lock

drivers/video/fbdev/uvesafb.c uvesafb_vbe_getmonspecs() -> fb_get_mode()

Type	Parameter	Key	Value
PARAM_VALUE	0	flags	257
PARAM_VALUE	1	val	60
PARAM_VALUE	2	var	2620385321110220800
PARAM_VALUE	2	var->xres	0-u16max
PARAM_VALUE	2	var->yres	0-u16max
PARAM_VALUE	3	info	4096-ptr_max
PARAM_VALUE	3	info->bl_curve_mutex.dep_map->name	0-255
PARAM_VALUE	3	info->bl_curve_mutex.first_waiter	0
PARAM_VALUE	3	info->bl_curve_mutex.magic	4096-ptr_max
PARAM_VALUE	3	info->bl_curve_mutex.osq.tail.counter	0
PARAM_VALUE	3	info->bl_curve_mutex.owner.counter	0
PARAM_VALUE	3	info->blank	0
PARAM_VALUE	3	info->device	4096-ptr_max
PARAM_VALUE	3	info->fbcon_rotate_hint	(-1)
PARAM_VALUE	3	info->modelist.next->next	4096-ptr_max
PARAM_VALUE	3	info->modelist.prev	4096-ptr_max
PARAM_VALUE	3	info->modelist.prev->next	4096-ptr_max
PARAM_VALUE	3	info->modelist.prev->prev	4096-ptr_max
PARAM_VALUE	3	info->monspecs.dclkmin	0
PARAM_VALUE	3	info->monspecs.hfmax	0,1000-65535000
PARAM_VALUE	3	info->monspecs.hfmin	0,29000
PARAM_VALUE	3	info->monspecs.vfmin	0,60
PARAM_VALUE	3	info->par	4096-ptr_max
BUF_SIZE	3	info->device	1616
DATA_SOURCE	3	info	$1
FUZZY_MAX	3	info->monspecs.hfmax	0
FUZZY_MAX	3	info->monspecs.hfmin	29000
FUZZY_MAX	3	info->monspecs.vfmin	60
HARD_MAX	3	info->monspecs.hfmin	29000
HARD_MAX	3	info->monspecs.vfmin	60
MEM_ZERO	2	var
MEM_ZERO	3	&info->monspecs
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/uvesafb.c uvesafb_vbe_init_mode() -> fb_get_mode()

Type	Parameter	Key	Value
PARAM_VALUE	0	flags	257
PARAM_VALUE	1	val	60
PARAM_VALUE	2	var	4096-ptr_max
PARAM_VALUE	2	var->bits_per_pixel	0-14,16-255
PARAM_VALUE	2	var->blue.length	0-255
PARAM_VALUE	2	var->blue.offset	0-255
PARAM_VALUE	2	var->green.length	0-255
PARAM_VALUE	2	var->green.offset	0-255
PARAM_VALUE	2	var->red.length	0-255
PARAM_VALUE	2	var->red.offset	0-255
PARAM_VALUE	2	var->sync	2
PARAM_VALUE	2	var->transp.length	0-255
PARAM_VALUE	2	var->transp.offset	0-255
PARAM_VALUE	2	var->vmode	0
PARAM_VALUE	2	var->xoffset	0
PARAM_VALUE	2	var->xres	0-u16max
PARAM_VALUE	2	var->xres_virtual	0-u16max
PARAM_VALUE	2	var->yoffset	0
PARAM_VALUE	2	var->yres	0-u16max
PARAM_VALUE	3	info	4096-ptr_max
PARAM_VALUE	3	info->bl_curve_mutex.dep_map->name	0-255
PARAM_VALUE	3	info->bl_curve_mutex.first_waiter	0
PARAM_VALUE	3	info->bl_curve_mutex.magic	4096-ptr_max
PARAM_VALUE	3	info->bl_curve_mutex.osq.tail.counter	0
PARAM_VALUE	3	info->bl_curve_mutex.owner.counter	0
PARAM_VALUE	3	info->blank	0
PARAM_VALUE	3	info->device	4096-ptr_max
PARAM_VALUE	3	info->fbcon_rotate_hint	(-1)
PARAM_VALUE	3	info->fbops	7649295106032898048
PARAM_VALUE	3	info->par	4096-ptr_max
PARAM_VALUE	3	info->var.bits_per_pixel	0-14,16-255
PARAM_VALUE	3	info->var.blue.length	0-255
PARAM_VALUE	3	info->var.blue.offset	0-255
PARAM_VALUE	3	info->var.green.length	0-255
PARAM_VALUE	3	info->var.green.offset	0-255
PARAM_VALUE	3	info->var.red.length	0-255
PARAM_VALUE	3	info->var.red.offset	0-255
PARAM_VALUE	3	info->var.sync	2
PARAM_VALUE	3	info->var.transp.length	0-255
PARAM_VALUE	3	info->var.transp.offset	0-255
PARAM_VALUE	3	info->var.vmode	0
PARAM_VALUE	3	info->var.xoffset	0
PARAM_VALUE	3	info->var.xres	0-u16max
PARAM_VALUE	3	info->var.xres_virtual	0-u16max
PARAM_VALUE	3	info->var.yoffset	0
PARAM_VALUE	3	info->var.yres	0-u16max
BUF_SIZE	3	info->device	1616
BUF_SIZE	3	info->fbops	168
DATA_SOURCE	3	info	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/uvesafb.c uvesafb_vbe_init_mode() -> fb_get_mode()

Type	Parameter	Key	Value
PARAM_VALUE	0	flags	257
PARAM_VALUE	1	val	60
PARAM_VALUE	2	var	4096-ptr_max
PARAM_VALUE	2	var->bits_per_pixel	0-14,16-255
PARAM_VALUE	2	var->blue.length	0-255
PARAM_VALUE	2	var->blue.offset	0-255
PARAM_VALUE	2	var->green.length	0-255
PARAM_VALUE	2	var->green.offset	0-255
PARAM_VALUE	2	var->red.length	0-255
PARAM_VALUE	2	var->red.offset	0-255
PARAM_VALUE	2	var->sync	2
PARAM_VALUE	2	var->transp.length	0-255
PARAM_VALUE	2	var->transp.offset	0-255
PARAM_VALUE	2	var->vmode	0
PARAM_VALUE	2	var->xoffset	0
PARAM_VALUE	2	var->xres	0-u16max
PARAM_VALUE	2	var->xres_virtual	0-u16max
PARAM_VALUE	2	var->yoffset	0
PARAM_VALUE	2	var->yres	0-u16max
PARAM_VALUE	3	info	4096-ptr_max
PARAM_VALUE	3	info->bl_curve_mutex.dep_map->name	0-255
PARAM_VALUE	3	info->bl_curve_mutex.first_waiter	0
PARAM_VALUE	3	info->bl_curve_mutex.magic	4096-ptr_max
PARAM_VALUE	3	info->bl_curve_mutex.osq.tail.counter	0
PARAM_VALUE	3	info->bl_curve_mutex.owner.counter	0
PARAM_VALUE	3	info->blank	0
PARAM_VALUE	3	info->device	4096-ptr_max
PARAM_VALUE	3	info->fbcon_rotate_hint	(-1)
PARAM_VALUE	3	info->fbops	7649295106032898048
PARAM_VALUE	3	info->par	4096-ptr_max
PARAM_VALUE	3	info->var.bits_per_pixel	0-14,16-255
PARAM_VALUE	3	info->var.blue.length	0-255
PARAM_VALUE	3	info->var.blue.offset	0-255
PARAM_VALUE	3	info->var.green.length	0-255
PARAM_VALUE	3	info->var.green.offset	0-255
PARAM_VALUE	3	info->var.red.length	0-255
PARAM_VALUE	3	info->var.red.offset	0-255
PARAM_VALUE	3	info->var.sync	2
PARAM_VALUE	3	info->var.transp.length	0-255
PARAM_VALUE	3	info->var.transp.offset	0-255
PARAM_VALUE	3	info->var.vmode	0
PARAM_VALUE	3	info->var.xoffset	0
PARAM_VALUE	3	info->var.xres	0-u16max
PARAM_VALUE	3	info->var.xres_virtual	0-u16max
PARAM_VALUE	3	info->var.yoffset	0
PARAM_VALUE	3	info->var.yres	0-u16max
BUF_SIZE	3	info->device	1616
BUF_SIZE	3	info->fbops	168
CAPPED_DATA	3	&info->modelist	1
DATA_SOURCE	3	info	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/uvesafb.c uvesafb_vbe_init_mode() -> fb_get_mode()

Type	Parameter	Key	Value
PARAM_VALUE	0	flags	257
PARAM_VALUE	1	val	60
PARAM_VALUE	2	var	4096-ptr_max
PARAM_VALUE	2	var->bits_per_pixel	0-14,16-255
PARAM_VALUE	2	var->blue.length	0-255
PARAM_VALUE	2	var->blue.offset	0-255
PARAM_VALUE	2	var->green.length	0-255
PARAM_VALUE	2	var->green.offset	0-255
PARAM_VALUE	2	var->red.length	0-255
PARAM_VALUE	2	var->red.offset	0-255
PARAM_VALUE	2	var->sync	2
PARAM_VALUE	2	var->transp.length	0-255
PARAM_VALUE	2	var->transp.offset	0-255
PARAM_VALUE	2	var->vmode	0
PARAM_VALUE	2	var->xoffset	0
PARAM_VALUE	2	var->xres	0-u16max
PARAM_VALUE	2	var->xres_virtual	0-u16max
PARAM_VALUE	2	var->yoffset	0
PARAM_VALUE	2	var->yres	0-u16max
PARAM_VALUE	3	info	4096-ptr_max
PARAM_VALUE	3	info->bl_curve_mutex.dep_map->name	0-255
PARAM_VALUE	3	info->bl_curve_mutex.first_waiter	0
PARAM_VALUE	3	info->bl_curve_mutex.magic	4096-ptr_max
PARAM_VALUE	3	info->bl_curve_mutex.osq.tail.counter	0
PARAM_VALUE	3	info->bl_curve_mutex.owner.counter	0
PARAM_VALUE	3	info->blank	0
PARAM_VALUE	3	info->device	4096-ptr_max
PARAM_VALUE	3	info->fbcon_rotate_hint	(-1)
PARAM_VALUE	3	info->fbops	7649295106032898048
PARAM_VALUE	3	info->par	4096-ptr_max
PARAM_VALUE	3	info->var.bits_per_pixel	0-14,16-255
PARAM_VALUE	3	info->var.blue.length	0-255
PARAM_VALUE	3	info->var.blue.offset	0-255
PARAM_VALUE	3	info->var.green.length	0-255
PARAM_VALUE	3	info->var.green.offset	0-255
PARAM_VALUE	3	info->var.red.length	0-255
PARAM_VALUE	3	info->var.red.offset	0-255
PARAM_VALUE	3	info->var.sync	2
PARAM_VALUE	3	info->var.transp.length	0-255
PARAM_VALUE	3	info->var.transp.offset	0-255
PARAM_VALUE	3	info->var.vmode	0
PARAM_VALUE	3	info->var.xoffset	0
PARAM_VALUE	3	info->var.xres	0-u16max
PARAM_VALUE	3	info->var.xres_virtual	0-u16max
PARAM_VALUE	3	info->var.yoffset	0
PARAM_VALUE	3	info->var.yres	0-u16max
BUF_SIZE	3	info->device	1616
BUF_SIZE	3	info->fbops	168
DATA_SOURCE	3	info	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/savage/savagefb_driver.c savagefb_check_var() -> fb_get_mode()

Type	Parameter	Key	Value
PARAM_VALUE	0	flags	0
PARAM_VALUE	1	val	0
PARAM_VALUE	2	var	4096-ptr_max
PARAM_VALUE	2	var->bits_per_pixel	8,16,32
PARAM_VALUE	2	var->blue.length	5,8
PARAM_VALUE	2	var->blue.offset	0
PARAM_VALUE	2	var->green.length	6,8
PARAM_VALUE	2	var->green.offset	0,5,8
PARAM_VALUE	2	var->pixclock	1-u32max
PARAM_VALUE	2	var->red.length	5,8
PARAM_VALUE	2	var->red.offset	0,11,16
PARAM_VALUE	2	var->transp.length	0,8
PARAM_VALUE	2	var->transp.offset	0,24
PARAM_VALUE	3	info	4096-ptr_max
PARAM_VALUE	3	info->fbops	4096-ptr_max
PARAM_VALUE	3	info->monspecs.dclkmax	1-u32max
PARAM_VALUE	3	info->monspecs.gtf	1
PARAM_VALUE	3	info->monspecs.hfmax	1-u32max
PARAM_VALUE	3	info->monspecs.vfmax	1-u16max
PARAM_VALUE	3	*info->fix.id	0-255
BUF_SIZE	3	info	s32min-(-1),1-s32max
BUF_SIZE	3	info	s32min-(-1),1-s32max
BUF_SIZE	3	info->device	(-1),1616
BUF_SIZE	3	info->fbops	(-1),168
BUF_SIZE	3	info->par	(-1),2560
BUF_SIZE	3	info->pixmap.addr	(-1),4096,6400,8192
BUF_SIZE	3	info->pseudo_palette	(-1),64
BUF_SIZE	3	info->screen_buffer	(-1)-s32max
CAPPED_DATA	3	info	1
DATA_SOURCE	2	var	$0
DATA_SOURCE	3	info	$1
FUZZY_MAX	2	var->blue.length	8
FUZZY_MAX	2	var->green.length	8
FUZZY_MAX	2	var->green.offset	8
FUZZY_MAX	2	var->red.length	8
FUZZY_MAX	2	var->red.offset	16
FUZZY_MAX	2	var->transp.length	8
FUZZY_MAX	2	var->transp.offset	24
STR_LEN	0	flags	(-1),10,12-14,30
STR_LEN	2	var	(-1),10,12-14,30
STR_LEN	3	info->fix.id	(-1),7,9-10,12
BIT_INFO	2	var->blue.length	0x0,0xd
BIT_INFO	2	var->green.length	0x0,0xe
BIT_INFO	2	var->green.offset	0x0,0xd
BIT_INFO	2	var->red.length	0x0,0xd
BIT_INFO	2	var->red.offset	0x0,0x1b
BIT_INFO	2	var->transp.length	0x0,0x8
BIT_INFO	2	var->transp.offset	0x0,0x18
HARD_MAX	2	var->transp.length	8
HARD_MAX	2	var->transp.offset	24
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	2	var->blue.msb_right	0-u32max
HOST_DATA	2	var->green.msb_right	0-u32max
HOST_DATA	2	var->hsync_len	1-256[c]
HOST_DATA	2	var->left_margin	0-4094,4294967040-u32max[c]
HOST_DATA	2	var->lower_margin	0-4095,4294963201-u32max[c]
HOST_DATA	2	var->pixclock	1-64000000[c]
HOST_DATA	2	var->red.msb_right	0-u32max
HOST_DATA	2	var->right_margin	0-u16max,4294963201-u32max[c]
HOST_DATA	2	var->transp.msb_right	0-u32max
HOST_DATA	2	var->upper_margin	0-4094,4294967232-u32max[c]
HOST_DATA	2	var->vsync_len	1-64[c]
HOST_DATA	2	var->xres	1-u32max
HOST_DATA	2	var->xres_virtual	0-u32max
HOST_DATA	2	var->yres	1-u32max
HOST_DATA	2	var->yres_virtual	1-4096[c]
HOST_DATA	3	info->fix.smem_len	0-4293918720[c]
HOST_DATA	3	info->screen_size	0-s32max,18446744071562067968-18446744073708503040[c]
HOST_DATA	3	info->var.blue.msb_right	0-u32max
HOST_DATA	3	info->var.green.msb_right	0-u32max
HOST_DATA	3	info->var.hsync_len	1-256[c]
HOST_DATA	3	info->var.left_margin	0-4094,4294967040-u32max[c]
HOST_DATA	3	info->var.lower_margin	0-4095,4294963201-u32max[c]
HOST_DATA	3	info->var.pixclock	0-64000000[c]
HOST_DATA	3	info->var.red.msb_right	0-u32max
HOST_DATA	3	info->var.right_margin	0-u16max,4294963201-u32max[c]
HOST_DATA	3	info->var.transp.length	0-u32max
HOST_DATA	3	info->var.transp.msb_right	0-u32max
HOST_DATA	3	info->var.transp.offset	0-u32max
HOST_DATA	3	info->var.upper_margin	0-4094,4294967232-u32max[c]
HOST_DATA	3	info->var.vsync_len	1-64[c]
HOST_DATA	3	info->var.xres	0-u32max
HOST_DATA	3	info->var.xres_virtual	0-u32max
HOST_DATA	3	info->var.yres	0-u32max
HOST_DATA	3	info->var.yres_virtual	1-4096[c]
USER_DATA	2	var->accel_flags	0-u32max
USER_DATA	2	var->activate	0-u32max[c]
USER_DATA	2	var->bits_per_pixel	8,16,32
USER_DATA	2	var->blue.length	8
USER_DATA	2	var->blue.msb_right	0-u32max
USER_DATA	2	var->colorspace	0-u32max
USER_DATA	2	var->grayscale	0-u32max
USER_DATA	2	var->green.msb_right	0-u32max
USER_DATA	2	var->height	0-u32max
USER_DATA	2	var->hsync_len	0-u32max
USER_DATA	2	var->left_margin	0-u32max
USER_DATA	2	var->lower_margin	0-u32max
USER_DATA	2	var->nonstd	0-u32max
USER_DATA	2	var->pixclock	1-u32max
USER_DATA	2	var->red.msb_right	0-u32max
USER_DATA	2	var->right_margin	0-u32max
USER_DATA	2	var->rotate	0-u32max
USER_DATA	2	var->sync	0-u32max
USER_DATA	2	var->transp.msb_right	0-u32max
USER_DATA	2	var->upper_margin	0-u32max
USER_DATA	2	var->vmode	0-u32max
USER_DATA	2	var->vsync_len	0-u32max
USER_DATA	2	var->width	0-u32max
USER_DATA	2	var->xoffset	0-u32max
USER_DATA	2	var->xres	1-u32max
USER_DATA	2	var->xres_virtual	0-u32max
USER_DATA	2	var->yoffset	0-u32max
USER_DATA	2	var->yres	1-u32max
USER_DATA	2	var->yres_virtual	0-u32max
NO_OVERFLOW_SIMPLE	3	info->fbdefio_state->npagerefs
NO_OVERFLOW_SIMPLE	3	info->fix.mmio_len
NO_OVERFLOW_SIMPLE	3	info->fix.mmio_start
NO_OVERFLOW_SIMPLE	3	info->fix.smem_len
NO_OVERFLOW_SIMPLE	3	info->var.xres
NO_OVERFLOW_SIMPLE	3	info->var.xres_virtual
NO_OVERFLOW_SIMPLE	3	info->var.yres
NO_OVERFLOW_SIMPLE	3	info->var.yres_virtual
USER_PTR	2	var->reserved
HALF_LOCKED2	3	&info->lock

drivers/video/fbdev/nvidia/nvidia.c nvidiafb_check_var() -> fb_get_mode()

Type	Parameter	Key	Value
PARAM_VALUE	0	flags	0
PARAM_VALUE	1	val	0
PARAM_VALUE	2	var	4096-ptr_max
PARAM_VALUE	2	var->bits_per_pixel	8,16,32
PARAM_VALUE	2	var->blue.length	5,8
PARAM_VALUE	2	var->blue.msb_right	0
PARAM_VALUE	2	var->blue.offset	0
PARAM_VALUE	2	var->green.length	5-6,8
PARAM_VALUE	2	var->green.msb_right	0
PARAM_VALUE	2	var->green.offset	0,5,8
PARAM_VALUE	2	var->pixclock	1-u32max
PARAM_VALUE	2	var->red.length	5,8
PARAM_VALUE	2	var->red.msb_right	0
PARAM_VALUE	2	var->red.offset	0,10-11,16
PARAM_VALUE	2	var->transp.length	0-1,8
PARAM_VALUE	2	var->transp.msb_right	0
PARAM_VALUE	2	var->transp.offset	0-15,24
PARAM_VALUE	2	var->xres	0,8-u32max
PARAM_VALUE	3	info	4096-ptr_max
PARAM_VALUE	3	info->fbops	4096-ptr_max
PARAM_VALUE	3	info->monspecs.dclkmax	1-u32max
PARAM_VALUE	3	info->monspecs.gtf	1
PARAM_VALUE	3	info->monspecs.hfmax	1-u32max
PARAM_VALUE	3	info->monspecs.vfmax	1-u16max
BUF_SIZE	3	info	s32min-(-1),1-s32max
BUF_SIZE	3	info	s32min-(-1),1-s32max
BUF_SIZE	3	info->device	(-1),1616
BUF_SIZE	3	info->fbops	(-1),168
BUF_SIZE	3	info->par	(-1),2560
BUF_SIZE	3	info->pixmap.addr	(-1),4096,6400,8192
BUF_SIZE	3	info->pseudo_palette	(-1),64
BUF_SIZE	3	info->screen_buffer	(-1)-s32max
CAPPED_DATA	3	info	1
DATA_SOURCE	2	var	$0
DATA_SOURCE	3	info	$1
FUZZY_MAX	2	var->blue.length	8
FUZZY_MAX	2	var->green.length	8
FUZZY_MAX	2	var->green.offset	8
FUZZY_MAX	2	var->red.length	8
FUZZY_MAX	2	var->red.offset	16
FUZZY_MAX	2	var->transp.length	8
FUZZY_MAX	2	var->transp.offset	24
STR_LEN	0	flags	(-1),10,12-14,30
STR_LEN	2	var	(-1),10,12-14,30
STR_LEN	3	info->fix.id	(-1),7,9-10,12
BIT_INFO	2	var->bits_per_pixel	0x0,0x38
BIT_INFO	2	var->blue.length	0x0,0xd
BIT_INFO	2	var->green.offset	0x0,0xd
BIT_INFO	2	var->red.length	0x0,0xd
BIT_INFO	2	var->transp.length	0x0,0x9
BIT_INFO	2	var->xres	0x0,0xfffffff8
HARD_MAX	2	var->blue.length	8
HARD_MAX	2	var->green.length	8
HARD_MAX	2	var->green.offset	8
HARD_MAX	2	var->red.length	8
HARD_MAX	2	var->red.offset	16
HARD_MAX	2	var->transp.length	8
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	2	var->hsync_len	1-256[c]
HOST_DATA	2	var->left_margin	0-4094,4294967040-u32max[c]
HOST_DATA	2	var->lower_margin	0-4095,4294963201-u32max[c]
HOST_DATA	2	var->pixclock	1-64000000[c]
HOST_DATA	2	var->right_margin	0-u16max,4294963201-u32max[c]
HOST_DATA	2	var->upper_margin	0-4094,4294967232-u32max[c]
HOST_DATA	2	var->vsync_len	1-64[c]
HOST_DATA	2	var->xres	0,8-u32max[c]
HOST_DATA	2	var->xres_virtual	0-u32max
HOST_DATA	2	var->yres	1-u32max
HOST_DATA	2	var->yres_virtual	1-4096[c]
HOST_DATA	3	info->fix.smem_len	0-4293918720[c]
HOST_DATA	3	info->screen_size	0-s32max,18446744071562067968-18446744073708503040[c]
HOST_DATA	3	info->var.blue.msb_right	0-u32max
HOST_DATA	3	info->var.green.msb_right	0-u32max
HOST_DATA	3	info->var.hsync_len	1-256[c]
HOST_DATA	3	info->var.left_margin	0-4094,4294967040-u32max[c]
HOST_DATA	3	info->var.lower_margin	0-4095,4294963201-u32max[c]
HOST_DATA	3	info->var.pixclock	0-64000000[c]
HOST_DATA	3	info->var.red.msb_right	0-u32max
HOST_DATA	3	info->var.right_margin	0-u16max,4294963201-u32max[c]
HOST_DATA	3	info->var.transp.length	0-u32max
HOST_DATA	3	info->var.transp.msb_right	0-u32max
HOST_DATA	3	info->var.transp.offset	0-u32max
HOST_DATA	3	info->var.upper_margin	0-4094,4294967232-u32max[c]
HOST_DATA	3	info->var.vsync_len	1-64[c]
HOST_DATA	3	info->var.xres	0-u32max
HOST_DATA	3	info->var.xres_virtual	0-u32max
HOST_DATA	3	info->var.yres	0-u32max
HOST_DATA	3	info->var.yres_virtual	1-4096[c]
USER_DATA	2	var->accel_flags	0-u32max
USER_DATA	2	var->activate	0-u32max[c]
USER_DATA	2	var->colorspace	0-u32max
USER_DATA	2	var->grayscale	0-u32max
USER_DATA	2	var->height	0-u32max
USER_DATA	2	var->hsync_len	0-u32max
USER_DATA	2	var->left_margin	0-u32max
USER_DATA	2	var->lower_margin	0-u32max
USER_DATA	2	var->nonstd	0-u32max
USER_DATA	2	var->pixclock	1-u32max
USER_DATA	2	var->right_margin	0-u32max
USER_DATA	2	var->rotate	0-u32max
USER_DATA	2	var->sync	0-u32max
USER_DATA	2	var->upper_margin	0-u32max
USER_DATA	2	var->vmode	0-u32max
USER_DATA	2	var->vsync_len	0-u32max
USER_DATA	2	var->width	0-u32max
USER_DATA	2	var->xoffset	0-u32max
USER_DATA	2	var->xres	0,8-u32max[c]
USER_DATA	2	var->xres_virtual	0-u32max
USER_DATA	2	var->yoffset	0-u32max
USER_DATA	2	var->yres	1-u32max
USER_DATA	2	var->yres_virtual	0-u32max
NO_OVERFLOW_SIMPLE	3	info->fbdefio_state->npagerefs
NO_OVERFLOW_SIMPLE	3	info->fix.mmio_len
NO_OVERFLOW_SIMPLE	3	info->fix.mmio_start
NO_OVERFLOW_SIMPLE	3	info->fix.smem_len
NO_OVERFLOW_SIMPLE	3	info->var.xres
NO_OVERFLOW_SIMPLE	3	info->var.xres_virtual
NO_OVERFLOW_SIMPLE	3	info->var.yres
NO_OVERFLOW_SIMPLE	3	info->var.yres_virtual
USER_PTR	2	var->reserved
HALF_LOCKED2	3	&info->lock

drivers/video/fbdev/riva/fbdev.c rivafb_check_var() -> fb_get_mode()

Type	Parameter	Key	Value
PARAM_VALUE	0	flags	0
PARAM_VALUE	1	val	0
PARAM_VALUE	2	var	4096-ptr_max
PARAM_VALUE	2	var->bits_per_pixel	8,16,32
PARAM_VALUE	2	var->blue.length	5,8
PARAM_VALUE	2	var->blue.offset	0
PARAM_VALUE	2	var->green.length	5-6,8
PARAM_VALUE	2	var->green.offset	0,5,8
PARAM_VALUE	2	var->pixclock	1-u32max
PARAM_VALUE	2	var->red.length	5,8
PARAM_VALUE	2	var->red.offset	0,10-11,16
PARAM_VALUE	3	info	4096-ptr_max
PARAM_VALUE	3	info->fbops	4096-ptr_max
PARAM_VALUE	3	info->monspecs.gtf	1
BUF_SIZE	3	info	s32min-(-1),1-s32max
BUF_SIZE	3	info	s32min-(-1),1-s32max
BUF_SIZE	3	info->device	(-1),1616
BUF_SIZE	3	info->fbops	(-1),168
BUF_SIZE	3	info->par	(-1),2560
BUF_SIZE	3	info->pixmap.addr	(-1),4096,6400,8192
BUF_SIZE	3	info->pseudo_palette	(-1),64
BUF_SIZE	3	info->screen_buffer	(-1)-s32max
CAPPED_DATA	3	info	1
DATA_SOURCE	2	var	$0
DATA_SOURCE	3	info	$1
FUZZY_MAX	2	var->bits_per_pixel	32
FUZZY_MAX	2	var->blue.length	8
FUZZY_MAX	2	var->green.length	6
FUZZY_MAX	2	var->green.offset	8
FUZZY_MAX	2	var->red.length	5
FUZZY_MAX	2	var->red.offset	16
STR_LEN	0	flags	(-1),10,12-14,30
STR_LEN	2	var	(-1),10,12-14,30
STR_LEN	3	info->fix.id	(-1),7,9-10,12
BIT_INFO	2	var->bits_per_pixel	0x0,0x38
BIT_INFO	2	var->blue.length	0x0,0xd
BIT_INFO	2	var->green.offset	0x0,0xd
BIT_INFO	2	var->red.length	0x0,0xd
BIT_INFO	2	var->red.offset	0x0,0x1b
HARD_MAX	2	var->bits_per_pixel	32
HARD_MAX	2	var->blue.length	8
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	2	var->blue.msb_right	0-u32max
HOST_DATA	2	var->green.msb_right	0-u32max
HOST_DATA	2	var->hsync_len	1-256[c]
HOST_DATA	2	var->left_margin	0-4094,4294967040-u32max[c]
HOST_DATA	2	var->lower_margin	0-4095,4294963201-u32max[c]
HOST_DATA	2	var->pixclock	1-64000000[c]
HOST_DATA	2	var->red.msb_right	0-u32max
HOST_DATA	2	var->right_margin	0-u16max,4294963201-u32max[c]
HOST_DATA	2	var->transp.length	0-u32max
HOST_DATA	2	var->transp.msb_right	0-u32max
HOST_DATA	2	var->transp.offset	0-u32max
HOST_DATA	2	var->upper_margin	0-4094,4294967232-u32max[c]
HOST_DATA	2	var->vsync_len	1-64[c]
HOST_DATA	2	var->xres	1-u32max
HOST_DATA	2	var->xres_virtual	0-u32max
HOST_DATA	2	var->yres	1-u32max
HOST_DATA	2	var->yres_virtual	1-4096[c]
HOST_DATA	3	info->fix.smem_len	0-4293918720[c]
HOST_DATA	3	info->screen_size	0-s32max,18446744071562067968-18446744073708503040[c]
HOST_DATA	3	info->var.blue.msb_right	0-u32max
HOST_DATA	3	info->var.green.msb_right	0-u32max
HOST_DATA	3	info->var.hsync_len	1-256[c]
HOST_DATA	3	info->var.left_margin	0-4094,4294967040-u32max[c]
HOST_DATA	3	info->var.lower_margin	0-4095,4294963201-u32max[c]
HOST_DATA	3	info->var.pixclock	0-64000000[c]
HOST_DATA	3	info->var.red.msb_right	0-u32max
HOST_DATA	3	info->var.right_margin	0-u16max,4294963201-u32max[c]
HOST_DATA	3	info->var.transp.length	0-u32max
HOST_DATA	3	info->var.transp.msb_right	0-u32max
HOST_DATA	3	info->var.transp.offset	0-u32max
HOST_DATA	3	info->var.upper_margin	0-4094,4294967232-u32max[c]
HOST_DATA	3	info->var.vsync_len	1-64[c]
HOST_DATA	3	info->var.xres	0-u32max
HOST_DATA	3	info->var.xres_virtual	0-u32max
HOST_DATA	3	info->var.yres	0-u32max
HOST_DATA	3	info->var.yres_virtual	1-4096[c]
USER_DATA	2	var->accel_flags	0-u32max
USER_DATA	2	var->activate	0-u32max[c]
USER_DATA	2	var->blue.msb_right	0-u32max
USER_DATA	2	var->colorspace	0-u32max
USER_DATA	2	var->grayscale	0-u32max
USER_DATA	2	var->green.msb_right	0-u32max
USER_DATA	2	var->height	0-u32max
USER_DATA	2	var->hsync_len	0-u32max
USER_DATA	2	var->left_margin	0-u32max
USER_DATA	2	var->lower_margin	0-u32max
USER_DATA	2	var->nonstd	0-u32max
USER_DATA	2	var->pixclock	1-u32max
USER_DATA	2	var->red.msb_right	0-u32max
USER_DATA	2	var->right_margin	0-u32max
USER_DATA	2	var->rotate	0-u32max
USER_DATA	2	var->sync	0-u32max
USER_DATA	2	var->transp.length	0-u32max
USER_DATA	2	var->transp.msb_right	0-u32max
USER_DATA	2	var->transp.offset	0-u32max
USER_DATA	2	var->upper_margin	0-u32max
USER_DATA	2	var->vmode	0-u32max
USER_DATA	2	var->vsync_len	0-u32max
USER_DATA	2	var->width	0-u32max
USER_DATA	2	var->xoffset	0-u32max
USER_DATA	2	var->xres	1-u32max
USER_DATA	2	var->xres_virtual	0-u32max
USER_DATA	2	var->yoffset	0-u32max
USER_DATA	2	var->yres	1-u32max
USER_DATA	2	var->yres_virtual	0-u32max
NO_OVERFLOW_SIMPLE	3	info->fbdefio_state->npagerefs
NO_OVERFLOW_SIMPLE	3	info->fix.mmio_len
NO_OVERFLOW_SIMPLE	3	info->fix.mmio_start
NO_OVERFLOW_SIMPLE	3	info->fix.smem_len
NO_OVERFLOW_SIMPLE	3	info->var.xres
NO_OVERFLOW_SIMPLE	3	info->var.xres_virtual
NO_OVERFLOW_SIMPLE	3	info->var.yres
NO_OVERFLOW_SIMPLE	3	info->var.yres_virtual
USER_PTR	2	var->reserved
HALF_LOCKED2	3	&info->lock

drivers/video/fbdev/core/fbmon.c calc_mode_timings() -> fb_get_mode()

Type	Parameter	Key	Value
PARAM_VALUE	0	flags	257
PARAM_VALUE	1	val	60-123
PARAM_VALUE	2	var	4096-ptr_max
PARAM_VALUE	2	var->xres	257-2288
PARAM_VALUE	2	var->yres	144-2288
PARAM_VALUE	3	info	0
BUF_SIZE	2	var	160
DATA_SOURCE	1	val	$2
DATA_SOURCE	2	var	r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&of->mutex