Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/video/fbdev/core/modedb.c fb_find_mode() -> fb_try_mode()

Type Parameter Key Value
PARAM_VALUE 2 mode 471263237004992512
PARAM_VALUE 2 mode->hsync_len 0,8,32
PARAM_VALUE 2 mode->left_margin 0,8-u32max
PARAM_VALUE 2 mode->lower_margin 0
PARAM_VALUE 2 mode->pixclock 123456789
PARAM_VALUE 2 mode->refresh 1-4294967294
PARAM_VALUE 2 mode->right_margin 0
PARAM_VALUE 2 mode->sync 1-2
PARAM_VALUE 2 mode->upper_margin 0
PARAM_VALUE 2 mode->vmode 0
PARAM_VALUE 2 mode->vsync_len 4-10
PARAM_VALUE 2 mode->xres 1-u32max
PARAM_VALUE 2 mode->yres 1-u32max
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
MEM_ZERO 2 mode
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 2 mode->hsync_len 0[c]
USER_DATA 2 mode->left_margin 0,8-u32max[c]
USER_DATA 2 mode->pixclock 123456789[c]
USER_DATA 2 mode->refresh 1-4294967294
USER_DATA 2 mode->right_margin 0[c]
USER_DATA 2 mode->xres 1-u32max
USER_DATA 2 mode->yres 1-u32max
USER_DATA 3 bpp 0-u32max
UNITS 1 info unit_byte

drivers/video/fbdev/core/modedb.c fb_find_mode() -> fb_try_mode()

Type Parameter Key Value
PARAM_VALUE 2 mode 4096-ptr_max
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
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
USER_DATA 3 bpp 0-u32max
UNITS 1 info unit_byte

drivers/video/fbdev/core/modedb.c fb_find_mode() -> fb_try_mode()

Type Parameter Key Value
PARAM_VALUE 2 mode 4096-ptr_max
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
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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
USER_DATA 3 bpp 0-u32max
UNITS 1 info unit_byte

drivers/video/fbdev/core/modedb.c fb_find_mode() -> fb_try_mode()

Type Parameter Key Value
PARAM_VALUE 2 mode 4096-ptr_max
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
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
USER_DATA 3 bpp 0-u32max
UNITS 1 info unit_byte

drivers/video/fbdev/core/modedb.c fb_find_mode() -> fb_try_mode()

Type Parameter Key Value
PARAM_VALUE 0 var 4096-ptr_max
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 2 mode 4096-ptr_max
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
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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
USER_DATA 3 bpp 0-u32max
UNITS 1 info unit_byte

drivers/video/fbdev/core/modedb.c fb_find_mode() -> fb_try_mode()

Type Parameter Key Value
PARAM_VALUE 2 mode 1-u64max
PARAM_VALUE 3 bpp 1-u32max
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
BUF_SIZE 2 mode (-1)-s32max
BUF_SIZE 2 mode (-1)-s32max
DATA_SOURCE 0 var $0
DATA_SOURCE 1 info $1
DATA_SOURCE 2 mode $5 [m]
DATA_SOURCE 3 bpp $6 [m]
FUZZY_MAX 3 bpp 8
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
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
UNITS 1 info unit_byte

drivers/video/fbdev/core/modedb.c fb_find_mode() -> fb_try_mode()

Type Parameter Key Value
PARAM_VALUE 0 var 4096-ptr_max
PARAM_VALUE 0 var->bits_per_pixel 1-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 2 mode 4096-ptr_max
PARAM_VALUE 3 bpp 1-u32max
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
DATA_SOURCE 3 bpp $6 [m]
FUZZY_MAX 3 bpp 8
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
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 1-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
UNITS 1 info unit_byte