Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 9 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 var 4096-ptr_max
PARAM_VALUE 0 var->xres 0-u16max
PARAM_VALUE 0 var->yres 0-u16max
PARAM_VALUE 1 head 4096-ptr_max
DATA_SOURCE 0 var $0
STR_LEN 0 var (-1),10,12-14,30
STR_LEN 0 var (-1),10,12-14,30
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->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 1-64000000[c]
HOST_DATA 0 var->red.msb_right 0-u32max
HOST_DATA 0 var->right_margin 0-u16max,4294963201-u32max[c]
HOST_DATA 0 var->transp.msb_right 0-u32max
HOST_DATA 0 var->upper_margin 0-4094,4294967232-u32max[c]
HOST_DATA 0 var->vsync_len 1-64[c]
USER_DATA 0 var->accel_flags 0-u32max
USER_DATA 0 var->activate 0-u32max[c]
USER_DATA 0 var->blue.msb_right 0-u32max
USER_DATA 0 var->colorspace 0-u32max
USER_DATA 0 var->grayscale 0-u32max
USER_DATA 0 var->green.msb_right 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 1-u32max
USER_DATA 0 var->red.msb_right 0-u32max
USER_DATA 0 var->right_margin 0-u32max
USER_DATA 0 var->rotate 0-u32max
USER_DATA 0 var->transp.msb_right 0-u32max
USER_DATA 0 var->upper_margin 0-u32max
USER_DATA 0 var->vsync_len 0-u32max
USER_DATA 0 var->width 0-u32max
USER_PTR 0 var->reserved
HALF_LOCKED2 &info->lock

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

Type Parameter Key Value
PARAM_VALUE 0 var 4096-ptr_max
PARAM_VALUE 0 var->xres 640
PARAM_VALUE 0 var->yres 480
PARAM_VALUE 1 head 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/fbcon.c fbcon_resize() -> fb_find_best_mode()

Type Parameter Key Value
PARAM_VALUE 0 var 7323796834300264448
PARAM_VALUE 1 head 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 var->xres 2-4194176[c]
USER_DATA 0 var->yres 2-4194176[c]
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/pxa168fb.c pxa168fb_init_mode() -> fb_find_best_mode()

Type Parameter Key Value
PARAM_VALUE 0 var 4096-ptr_max
PARAM_VALUE 1 head 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 var 4096-ptr_max
PARAM_VALUE 1 head 4096-ptr_max
DATA_SOURCE 0 var $0
STR_LEN 0 var (-1),10,12-14,30
STR_LEN 0 var (-1),10,12-14,30
BIT_INFO 0 var->blue.length 0x0,0xd
BIT_INFO 0 var->green.length 0x0,0xe
BIT_INFO 0 var->green.offset 0x0,0xd
BIT_INFO 0 var->red.length 0x0,0xd
BIT_INFO 0 var->red.offset 0x0,0x1b
BIT_INFO 0 var->transp.length 0x0,0x8
BIT_INFO 0 var->transp.offset 0x0,0x18
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->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 1-64000000[c]
HOST_DATA 0 var->red.msb_right 0-u32max
HOST_DATA 0 var->right_margin 0-u16max,4294963201-u32max[c]
HOST_DATA 0 var->transp.msb_right 0-u32max
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-u32max
HOST_DATA 0 var->xres_virtual 0-u32max
HOST_DATA 0 var->yres 1-u32max
HOST_DATA 0 var->yres_virtual 1-4096[c]
USER_DATA 0 var->accel_flags 0-u32max
USER_DATA 0 var->activate 0-u32max[c]
USER_DATA 0 var->bits_per_pixel 8,16,32
USER_DATA 0 var->blue.length 8
USER_DATA 0 var->blue.msb_right 0-u32max
USER_DATA 0 var->colorspace 0-u32max
USER_DATA 0 var->grayscale 0-u32max
USER_DATA 0 var->green.msb_right 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 1-u32max
USER_DATA 0 var->red.msb_right 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.msb_right 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 1-u32max
USER_DATA 0 var->xres_virtual 0-u32max
USER_DATA 0 var->yoffset 0-u32max
USER_DATA 0 var->yres 1-u32max
USER_DATA 0 var->yres_virtual 0-u32max
USER_PTR 0 var->reserved

drivers/video/fbdev/mmp/fb/mmpfb.c var_update() -> fb_find_best_mode()

Type Parameter Key Value
PARAM_VALUE 0 var 4096-ptr_max
PARAM_VALUE 1 head 4096-ptr_max
BUF_SIZE 0 var 160
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.msb_right 0-u32max
HOST_DATA 0 var->xres 8-u32max[c]
HOST_DATA 0 var->xres_virtual 8-u32max
HOST_DATA 0 var->yres 8-s32max[c]
NO_OVERFLOW_SIMPLE 0 var->xres
NO_OVERFLOW_SIMPLE 0 var->xres_virtual
NO_OVERFLOW_SIMPLE 0 var->yres
NO_OVERFLOW_SIMPLE 0 var->yres_virtual
USER_PTR 0 var->reserved
HALF_LOCKED2 &info->lock
HALF_LOCKED2 &minfo->crtc2.lock

drivers/video/fbdev/core/modedb.c fb_find_best_display() -> fb_find_best_mode()

Type Parameter Key Value
PARAM_VALUE 0 var 1921794045093982208
PARAM_VALUE 0 var->xres 28-7228
PARAM_VALUE 0 var->yres 28-7228
PARAM_VALUE 1 head 4096-ptr_max
PARAM_VALUE 1 head->next 1-u64max
CAPPED_DATA 1 head 1
DATA_SOURCE 1 head $1
PARAM_COMPARE 1 head != $1->next
PARAM_COMPARE 1 head != $1->next
MEM_ZERO 0 var
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 var 4096-ptr_max
PARAM_VALUE 0 var->xres 0,8-u32max
PARAM_VALUE 1 head 4096-ptr_max
DATA_SOURCE 0 var $0
STR_LEN 0 var (-1),10,12-14,30
STR_LEN 0 var (-1),10,12-14,30
BIT_INFO 0 var->bits_per_pixel 0x0,0x38
BIT_INFO 0 var->blue.length 0x0,0xd
BIT_INFO 0 var->green.offset 0x0,0xd
BIT_INFO 0 var->red.length 0x0,0xd
BIT_INFO 0 var->transp.length 0x0,0x9
BIT_INFO 0 var->xres 0x0,0xfffffff8
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 1-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 0,8-u32max[c]
HOST_DATA 0 var->xres_virtual 0-u32max
HOST_DATA 0 var->yres 1-u32max
HOST_DATA 0 var->yres_virtual 1-4096[c]
USER_DATA 0 var->accel_flags 0-u32max
USER_DATA 0 var->activate 0-u32max[c]
USER_DATA 0 var->colorspace 0-u32max
USER_DATA 0 var->grayscale 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 1-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->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 0,8-u32max[c]
USER_DATA 0 var->xres_virtual 0-u32max
USER_DATA 0 var->yoffset 0-u32max
USER_DATA 0 var->yres 1-u32max
USER_DATA 0 var->yres_virtual 0-u32max
USER_PTR 0 var->reserved

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

Type Parameter Key Value
PARAM_VALUE 0 var 4096-ptr_max
PARAM_VALUE 0 var->xres 1-u32max
PARAM_VALUE 0 var->yres 1-u32max
PARAM_VALUE 1 head 4096-ptr_max
CAPPED_DATA 0 var->xres 1
CAPPED_DATA 0 var->yres 1
DATA_SOURCE 0 var $0
STR_LEN 0 var (-1),10,12-14,30
STR_LEN 0 var (-1),10,12-14,30
BIT_INFO 0 var->bits_per_pixel 0x0,0x38
BIT_INFO 0 var->blue.length 0x0,0xd
BIT_INFO 0 var->green.offset 0x0,0xd
BIT_INFO 0 var->red.length 0x0,0xd
BIT_INFO 0 var->transp.length 0x0,0x9
BIT_INFO 0 var->xres 0x0,0x7fffffff
BIT_INFO 0 var->yres 0x0,0x7fffffff
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 1-64000000,123456789[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_virtual 0-u32max
HOST_DATA 0 var->yres_virtual 1-4096[c]
USER_DATA 0 var->accel_flags 0-u32max
USER_DATA 0 var->activate 0-u32max[c]
USER_DATA 0 var->colorspace 0-u32max
USER_DATA 0 var->grayscale 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 1-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->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_virtual 0-u32max
USER_DATA 0 var->yoffset 0-u32max
USER_DATA 0 var->yres_virtual 0-u32max
USER_PTR 0 var->reserved

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

Type Parameter Key Value
PARAM_VALUE 0 var 4096-ptr_max
PARAM_VALUE 1 head 4096-ptr_max
DATA_SOURCE 0 var $0
STR_LEN 0 var (-1),10,12-14,30
STR_LEN 0 var (-1),10,12-14,30
BIT_INFO 0 var->bits_per_pixel 0x0,0x38
BIT_INFO 0 var->blue.length 0x0,0xd
BIT_INFO 0 var->green.offset 0x0,0xd
BIT_INFO 0 var->red.length 0x0,0xd
BIT_INFO 0 var->red.offset 0x0,0x1b
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->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 1-64000000[c]
HOST_DATA 0 var->red.msb_right 0-u32max
HOST_DATA 0 var->right_margin 0-u16max,4294963201-u32max[c]
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->upper_margin 0-4094,4294967232-u32max[c]
HOST_DATA 0 var->vsync_len 1-64[c]
HOST_DATA 0 var->xres 1-u32max
HOST_DATA 0 var->xres_virtual 0-u32max
HOST_DATA 0 var->yres 1-u32max
HOST_DATA 0 var->yres_virtual 1-4096[c]
USER_DATA 0 var->accel_flags 0-u32max
USER_DATA 0 var->activate 0-u32max[c]
USER_DATA 0 var->blue.msb_right 0-u32max
USER_DATA 0 var->colorspace 0-u32max
USER_DATA 0 var->grayscale 0-u32max
USER_DATA 0 var->green.msb_right 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 1-u32max
USER_DATA 0 var->red.msb_right 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 1-u32max
USER_DATA 0 var->xres_virtual 0-u32max
USER_DATA 0 var->yoffset 0-u32max
USER_DATA 0 var->yres 1-u32max
USER_DATA 0 var->yres_virtual 0-u32max
USER_PTR 0 var->reserved