nvidiafb_check_var identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/video/fbdev/nvidia/nvidia.c, line 763 (as a function)

Referenced in 1 files:

drivers/video/fbdev/nvidia/nvidia.c
- line 1036
- line 1205

Smatch caller information:

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

Type	Parameter	Key	Value
PARAM_VALUE	0	var	4096-ptr_max
PARAM_VALUE	0	var->accel_flags	0-1
PARAM_VALUE	0	var->xoffset	0
PARAM_VALUE	0	var->yoffset	0
PARAM_VALUE	1	info	4096-ptr_max
PARAM_VALUE	1	info->bl_curve_mutex.dep_map->name	0-255
PARAM_VALUE	1	info->bl_curve_mutex.first_waiter	0
PARAM_VALUE	1	info->bl_curve_mutex.magic	4096-ptr_max
PARAM_VALUE	1	info->bl_curve_mutex.osq.tail.counter	0
PARAM_VALUE	1	info->bl_curve_mutex.owner.counter	0
PARAM_VALUE	1	info->blank	0
PARAM_VALUE	1	info->cmap.blue	0,16,4096-ptr_max
PARAM_VALUE	1	info->cmap.green	0,16,4096-ptr_max
PARAM_VALUE	1	info->cmap.len	0
PARAM_VALUE	1	info->cmap.red	0,16,4096-ptr_max
PARAM_VALUE	1	info->cmap.transp	0,16,4096-ptr_max
PARAM_VALUE	1	info->device	4096-ptr_max
PARAM_VALUE	1	info->fbcon_rotate_hint	(-1)
PARAM_VALUE	1	info->fbops	1954600423336452096
PARAM_VALUE	1	info->fix.visual	3-4
PARAM_VALUE	1	info->flags	9984
PARAM_VALUE	1	info->modelist.next->next	4096-ptr_max
PARAM_VALUE	1	info->modelist.prev	4096-ptr_max
PARAM_VALUE	1	info->modelist.prev->next	4096-ptr_max
PARAM_VALUE	1	info->modelist.prev->prev	4096-ptr_max
PARAM_VALUE	1	info->monspecs.modedb	0
PARAM_VALUE	1	info->par	4096-ptr_max
PARAM_VALUE	1	info->pixmap.access_align	32
PARAM_VALUE	1	info->pixmap.addr	4096-ptr_max
PARAM_VALUE	1	info->pixmap.buf_align	4
PARAM_VALUE	1	info->pixmap.flags	2
PARAM_VALUE	1	info->pixmap.scan_align	4
PARAM_VALUE	1	info->pixmap.size	8192
PARAM_VALUE	1	info->screen_buffer	0
PARAM_VALUE	1	info->screen_size	0-66977792,4294393856-u32max
PARAM_VALUE	1	info->var.accel_flags	0-1
PARAM_VALUE	1	info->var.xoffset	0
PARAM_VALUE	1	info->var.yoffset	0
BUF_SIZE	1	info->device	1616
BUF_SIZE	1	info->fbops	168
BUF_SIZE	1	info->pixmap.addr	8192
BUF_SIZE	1	info->pseudo_palette	64
CAPPED_DATA	1	info->monspecs.modedb_len	1
CAPPED_DATA	1	&info->modelist	1
DATA_SOURCE	1	info	$0
FUZZY_MAX	1	info->fix.visual	4
FUZZY_MAX	1	info->var.accel_flags	1
HARD_MAX	1	info->fix.visual	4
HARD_MAX	1	info->var.accel_flags	1
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/fbmem.c fb_set_var() -> (struct fb_ops)->fb_check_var()

Type	Parameter	Key	Value
PARAM_VALUE	0	var	4096-ptr_max
PARAM_VALUE	0	var->xres	8-u32max
PARAM_VALUE	0	var->yres	8-u32max
PARAM_VALUE	1	info	4096-ptr_max
PARAM_VALUE	1	info->fbcon_par->bitops->bmove	358624830283558912,720436299731693568,831468009678733312,5647362587788095488,8504779760420265984
PARAM_VALUE	1	info->fbcon_par->bitops->clear	521403232646520832,551109980336709632,2946937881798750208,5928266012869279744,8021089253971767296
PARAM_VALUE	1	info->fbcon_par->bitops->clear_margins	2332376742054326272,3869344602472914944,6310568554524909568,7948939035621462016,8218489519675916288
PARAM_VALUE	1	info->fbcon_par->bitops->cursor	868574231927816192,1057466323525296128,5348809894935224320,6414243839333818368,8306283402744143872
PARAM_VALUE	1	info->fbcon_par->bitops->putcs	2160703045434204160,3282196084730585088,3915716234231488512,5524593610357645312,5974748255006371840
PARAM_VALUE	1	info->fbcon_par->bitops->rotate_font	0,2820989491178905600
PARAM_VALUE	1	info->fbcon_par->bitops->update_start	1284623903226216448,2343379461867827200,5536275800052752384,8034552877633937408,8573967883634688000
PARAM_VALUE	1	info->fbops	4096-ptr_max
PARAM_VALUE	1	info->fbops->fb_check_var	1-u64max
PARAM_VALUE	1	info->fix.capabilities	1-u16max
BUF_SIZE	1	info	s32min-(-1),1-s32max
BUF_SIZE	1	info	s32min-(-1),1-s32max
BUF_SIZE	1	info->device	(-1),1616
BUF_SIZE	1	info->fbops	(-1),168
CAPPED_DATA	1	info	1
DATA_SOURCE	0	var	$1
DATA_SOURCE	1	info	$0
CONTAINER	1	-40-1416+0	$(-1)
BIT_INFO	0	var->activate	0x0,0xfffffeff
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	var->blue.msb_right	0-u32max
HOST_DATA	0	var->green.msb_right	0-u32max
HOST_DATA	0	var->red.msb_right	0-u32max
HOST_DATA	0	var->transp.length	0-u32max
HOST_DATA	0	var->transp.msb_right	0-u32max
HOST_DATA	0	var->transp.offset	0-u32max
HOST_DATA	0	var->xres	8-u32max
HOST_DATA	0	var->xres_virtual	0-u32max
HOST_DATA	0	var->yres	8-u32max
HOST_DATA	1	info->var.blue.msb_right	0-u32max
HOST_DATA	1	info->var.green.msb_right	0-u32max
HOST_DATA	1	info->var.red.msb_right	0-u32max
HOST_DATA	1	info->var.transp.length	0-u32max
HOST_DATA	1	info->var.transp.msb_right	0-u32max
HOST_DATA	1	info->var.transp.offset	0-u32max
HOST_DATA	1	info->var.xres	0-u32max
HOST_DATA	1	info->var.xres_virtual	0-u32max
HOST_DATA	1	info->var.yres	0-u32max
USER_DATA	0	var->accel_flags	0-u32max
USER_DATA	0	var->activate	0-u32max[c]
USER_DATA	0	var->bits_per_pixel	0-u32max
USER_DATA	0	var->blue.length	0-u32max
USER_DATA	0	var->blue.msb_right	0-u32max
USER_DATA	0	var->blue.offset	0-u32max
USER_DATA	0	var->colorspace	0-u32max
USER_DATA	0	var->grayscale	0-u32max
USER_DATA	0	var->green.length	0-u32max
USER_DATA	0	var->green.msb_right	0-u32max
USER_DATA	0	var->green.offset	0-u32max
USER_DATA	0	var->height	0-u32max
USER_DATA	0	var->hsync_len	0-u32max
USER_DATA	0	var->left_margin	0-u32max
USER_DATA	0	var->lower_margin	0-u32max
USER_DATA	0	var->nonstd	0-u32max
USER_DATA	0	var->pixclock	0-u32max
USER_DATA	0	var->red.length	0-u32max
USER_DATA	0	var->red.msb_right	0-u32max
USER_DATA	0	var->red.offset	0-u32max
USER_DATA	0	var->right_margin	0-u32max
USER_DATA	0	var->rotate	0-u32max
USER_DATA	0	var->sync	0-u32max
USER_DATA	0	var->transp.length	0-u32max
USER_DATA	0	var->transp.msb_right	0-u32max
USER_DATA	0	var->transp.offset	0-u32max
USER_DATA	0	var->upper_margin	0-u32max
USER_DATA	0	var->vmode	0-u32max
USER_DATA	0	var->vsync_len	0-u32max
USER_DATA	0	var->width	0-u32max
USER_DATA	0	var->xoffset	0-u32max
USER_DATA	0	var->xres	8-u32max
USER_DATA	0	var->xres_virtual	0-u32max
USER_DATA	0	var->yoffset	0-u32max
USER_DATA	0	var->yres	8-u32max
USER_DATA	0	var->yres_virtual	0-u32max
NO_OVERFLOW_SIMPLE	1	info->fbdefio_state->npagerefs
NO_OVERFLOW_SIMPLE	1	info->fix.mmio_start
NO_OVERFLOW_SIMPLE	1	info->var.xres
NO_OVERFLOW_SIMPLE	1	info->var.xres_virtual
NO_OVERFLOW_SIMPLE	1	info->var.yres
NO_OVERFLOW_SIMPLE	1	info->var.yres_virtual
USER_PTR	0	var->reserved
HALF_LOCKED2		&of->mutex
HALF_LOCKED2		global &console_sem
HALF_LOCKED2	1	&info->lock

drivers/video/fbdev/mb862xx/mb862xxfbdrv.c mb862xxfb_init_fbinfo() -> (struct fb_ops)->fb_check_var()

Type	Parameter	Key	Value
PARAM_VALUE	0	var	4096-ptr_max
PARAM_VALUE	0	var->accel_flags	0
PARAM_VALUE	0	var->activate	0
PARAM_VALUE	0	var->grayscale	0
PARAM_VALUE	0	var->height	u32max
PARAM_VALUE	0	var->nonstd	0
PARAM_VALUE	0	var->vmode	0
PARAM_VALUE	0	var->width	u32max
PARAM_VALUE	0	var->xoffset	0
PARAM_VALUE	0	var->yoffset	0
PARAM_VALUE	1	info	4096-ptr_max
PARAM_VALUE	1	info->bl_curve_mutex.dep_map->name	0-255
PARAM_VALUE	1	info->bl_curve_mutex.first_waiter	0
PARAM_VALUE	1	info->bl_curve_mutex.magic	4096-ptr_max
PARAM_VALUE	1	info->bl_curve_mutex.osq.tail.counter	0
PARAM_VALUE	1	info->bl_curve_mutex.owner.counter	0
PARAM_VALUE	1	info->blank	0
PARAM_VALUE	1	info->device	4096-ptr_max
PARAM_VALUE	1	info->fbcon_rotate_hint	(-1)
PARAM_VALUE	1	info->fbops	1884875155591716864
PARAM_VALUE	1	info->fix.accel	0
PARAM_VALUE	1	info->fix.type	0
PARAM_VALUE	1	info->fix.type_aux	0
PARAM_VALUE	1	info->fix.xpanstep	1
PARAM_VALUE	1	info->fix.ypanstep	1
PARAM_VALUE	1	info->fix.ywrapstep	0
PARAM_VALUE	1	info->flags	12288
PARAM_VALUE	1	info->par	4096-ptr_max
PARAM_VALUE	1	info->var.accel_flags	0
PARAM_VALUE	1	info->var.activate	0
PARAM_VALUE	1	info->var.grayscale	0
PARAM_VALUE	1	info->var.height	u32max
PARAM_VALUE	1	info->var.nonstd	0
PARAM_VALUE	1	info->var.vmode	0
PARAM_VALUE	1	info->var.width	u32max
PARAM_VALUE	1	info->var.xoffset	0
PARAM_VALUE	1	info->var.yoffset	0
BUF_SIZE	1	info->device	1616
BUF_SIZE	1	info->fbops	168
BUF_SIZE	1	info->pseudo_palette	64
DATA_SOURCE	1	info	$0
STR_LEN	1	info->fix.id	9
CONTAINER	0	-40-1416+320	$(-1)
CONTAINER	1	-40-1416+0	$(-1)
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	var->hsync_len	1-256[c]
HOST_DATA	0	var->left_margin	0-4094,4294967040-u32max[c]
HOST_DATA	0	var->lower_margin	0-4095,4294963201-u32max[c]
HOST_DATA	0	var->pixclock	0-64000000[c]
HOST_DATA	0	var->right_margin	0-u16max,4294963201-u32max[c]
HOST_DATA	0	var->upper_margin	0-4094,4294967232-u32max[c]
HOST_DATA	0	var->vsync_len	1-64[c]
HOST_DATA	0	var->xres	1-4096[c]
HOST_DATA	0	var->xres_virtual	1-4096[c]
HOST_DATA	0	var->yres	1-4096[c]
HOST_DATA	0	var->yres_virtual	1-4096[c]
HOST_DATA	1	info->var.hsync_len	1-256[c]
HOST_DATA	1	info->var.left_margin	0-4094,4294967040-u32max[c]
HOST_DATA	1	info->var.lower_margin	0-4095,4294963201-u32max[c]
HOST_DATA	1	info->var.pixclock	0-64000000[c]
HOST_DATA	1	info->var.right_margin	0-u16max,4294963201-u32max[c]
HOST_DATA	1	info->var.upper_margin	0-4094,4294967232-u32max[c]
HOST_DATA	1	info->var.vsync_len	1-64[c]
HOST_DATA	1	info->var.xres	1-4096[c]
HOST_DATA	1	info->var.xres_virtual	1-4096[c]
HOST_DATA	1	info->var.yres	1-4096[c]
HOST_DATA	1	info->var.yres_virtual	1-4096[c]

drivers/video/fbdev/core/modedb.c fb_try_mode() -> (struct fb_ops)->fb_check_var()

Type	Parameter	Key	Value
PARAM_VALUE	0	var	4096-ptr_max
PARAM_VALUE	0	var->activate	0,2-u32max
PARAM_VALUE	0	var->xoffset	0
PARAM_VALUE	0	var->yoffset	0
PARAM_VALUE	1	info	4096-ptr_max
PARAM_VALUE	1	info->fbops	4096-ptr_max
PARAM_VALUE	1	info->fbops->fb_check_var	1-u64max
BUF_SIZE	0	var	(-1),160
BUF_SIZE	0	var	(-1),160
BUF_SIZE	1	info	s32min-(-1),1-s32max
BUF_SIZE	1	info	s32min-(-1),1-s32max
BUF_SIZE	1	info->device	(-1),1616
BUF_SIZE	1	info->fbops	(-1),168
BUF_SIZE	1	info->pixmap.addr	(-1),4096,6400,8192
BUF_SIZE	1	info->pseudo_palette	(-1),64
BUF_SIZE	1	info->screen_buffer	(-1)-s32max
DATA_SOURCE	0	var	$0
DATA_SOURCE	1	info	$1
STR_LEN	0	var	(-1),10,12-14,30
STR_LEN	0	var	(-1),10,12-14,30
STR_LEN	1	info->fix.id	(-1),7,9-10,12
CONTAINER	1	-40-1416+0	$(-1)
BIT_INFO	0	var->activate	0x2,0xffffffff
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	1	info->fix.smem_len	0-4293918720[c]
HOST_DATA	1	info->screen_size	0-s32max,18446744071562067968-18446744073708503040[c]
USER_DATA	0	var->bits_per_pixel	0-u32max
USER_DATA	0	var->hsync_len	0[c]
USER_DATA	0	var->pixclock	123456789[c]
USER_DATA	0	var->right_margin	0
USER_DATA	0	var->xres	1-u32max
USER_DATA	0	var->xres_virtual	1-u32max
USER_DATA	0	var->yres	1-u32max
USER_DATA	0	var->yres_virtual	1-u32max
NO_OVERFLOW_SIMPLE	1	info->fix.smem_len

drivers/video/fbdev/sm501fb.c sm501fb_init_fb() -> (struct fb_ops)->fb_check_var()

Type	Parameter	Key	Value
PARAM_VALUE	0	var	4096-ptr_max
PARAM_VALUE	0	var->accel_flags	0
PARAM_VALUE	0	var->nonstd	0
PARAM_VALUE	0	var->xoffset	0
PARAM_VALUE	0	var->yoffset	0
PARAM_VALUE	1	info	4096-ptr_max
PARAM_VALUE	1	info->cmap.blue	0,16,4096-ptr_max
PARAM_VALUE	1	info->cmap.green	0,16,4096-ptr_max
PARAM_VALUE	1	info->cmap.len	0
PARAM_VALUE	1	info->cmap.red	0,16,4096-ptr_max
PARAM_VALUE	1	info->cmap.start	0
PARAM_VALUE	1	info->cmap.transp	0,16,4096-ptr_max
PARAM_VALUE	1	info->fbops	4096-ptr_max
PARAM_VALUE	1	info->fix.accel	0
PARAM_VALUE	1	info->fix.type	0
PARAM_VALUE	1	info->fix.type_aux	0
PARAM_VALUE	1	info->fix.xpanstep	1
PARAM_VALUE	1	info->fix.ypanstep	1
PARAM_VALUE	1	info->fix.ywrapstep	0
PARAM_VALUE	1	info->flags	13184,1061760
PARAM_VALUE	1	info->par	4096-ptr_max
PARAM_VALUE	1	info->var.accel_flags	0
PARAM_VALUE	1	info->var.nonstd	0
PARAM_VALUE	1	info->var.xoffset	0
PARAM_VALUE	1	info->var.yoffset	0
BUF_SIZE	1	info->fbops	168
DATA_SOURCE	1	info	$0
FUZZY_MAX	1	info->flags	13184
CONTAINER	0	-40-1416+320	$(-1)
CONTAINER	1	-40-1416+0	$(-1)
BIT_INFO	1	info->flags	0x3380,0x103380
RX_PATH
TASK_NOT_RUNNING