Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/video/fbdev/core/fbcon.c fbcon_mode_deleted() -> fb_mode_is_equal()

Type Parameter Key Value
PARAM_VALUE 0 mode1 1-u64max
PARAM_VALUE 1 mode2 1158842034155593728
PARAM_VALUE 1 mode2->vmode 0-255
DATA_SOURCE 1 mode2 $1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 mode2->hsync_len 1-256[c]
HOST_DATA 1 mode2->left_margin 0-4094,4294967040-u32max[c]
HOST_DATA 1 mode2->lower_margin 0-4095,4294963201-u32max[c]
HOST_DATA 1 mode2->right_margin 0-u16max,4294963201-u32max[c]
HOST_DATA 1 mode2->upper_margin 0-4094,4294967232-u32max[c]
HOST_DATA 1 mode2->vsync_len 1-64[c]
HOST_DATA 1 mode2->xres 0-u32max
HOST_DATA 1 mode2->yres 0-u32max
USER_DATA 1 mode2->hsync_len 0-u32max
USER_DATA 1 mode2->left_margin 0-u32max
USER_DATA 1 mode2->lower_margin 0-u32max
USER_DATA 1 mode2->right_margin 0-u32max
USER_DATA 1 mode2->sync 0-u32max
USER_DATA 1 mode2->upper_margin 0-u32max
USER_DATA 1 mode2->vmode 0-255[c]
USER_DATA 1 mode2->vsync_len 0-u32max
USER_DATA 1 mode2->xres 0-u32max
USER_DATA 1 mode2->yres 0-u32max
HALF_LOCKED2 &info->lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/core/fbmem.c fb_new_modelist() -> fb_mode_is_equal()

Type Parameter Key Value
PARAM_VALUE 0 mode1 4096-ptr_max
PARAM_VALUE 1 mode2 5730565467195883520
PARAM_VALUE 1 mode2->vmode 0-255
BUF_SIZE 0 mode1 64
RX_PATH
TASK_NOT_RUNNING
LOCK2 &info->lock
LOCK2 &of->mutex
LOCK2 global &console_sem
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct fb_info)->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/video/fbdev/core/fbmem.c fb_set_var() -> fb_mode_is_equal()

Type Parameter Key Value
PARAM_VALUE 0 mode1 1158842034155593728
PARAM_VALUE 0 mode1->vmode 0-255
PARAM_VALUE 1 mode2 6145838038420197376
PARAM_VALUE 1 mode2->vmode 0-255
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 mode1->hsync_len 1-256[c]
HOST_DATA 0 mode1->left_margin 0-4094,4294967040-u32max[c]
HOST_DATA 0 mode1->lower_margin 0-4095,4294963201-u32max[c]
HOST_DATA 0 mode1->right_margin 0-u16max,4294963201-u32max[c]
HOST_DATA 0 mode1->upper_margin 0-4094,4294967232-u32max[c]
HOST_DATA 0 mode1->vsync_len 1-64[c]
HOST_DATA 0 mode1->xres 0-u32max
HOST_DATA 0 mode1->yres 0-u32max
HOST_DATA 1 mode2->hsync_len 1-256[c]
HOST_DATA 1 mode2->left_margin 0-4094,4294967040-u32max[c]
HOST_DATA 1 mode2->lower_margin 0-4095,4294963201-u32max[c]
HOST_DATA 1 mode2->right_margin 0-u16max,4294963201-u32max[c]
HOST_DATA 1 mode2->upper_margin 0-4094,4294967232-u32max[c]
HOST_DATA 1 mode2->vsync_len 1-64[c]
HOST_DATA 1 mode2->xres 0-u32max
HOST_DATA 1 mode2->yres 0-u32max
USER_DATA 0 mode1->hsync_len 0-u32max
USER_DATA 0 mode1->left_margin 0-u32max
USER_DATA 0 mode1->lower_margin 0-u32max
USER_DATA 0 mode1->right_margin 0-u32max
USER_DATA 0 mode1->sync 0-u32max
USER_DATA 0 mode1->upper_margin 0-u32max
USER_DATA 0 mode1->vmode 0-255[c]
USER_DATA 0 mode1->vsync_len 0-u32max
USER_DATA 0 mode1->xres 0-u32max
USER_DATA 0 mode1->yres 0-u32max
HALF_LOCKED2 &info->lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/core/fbmem.c fb_set_var() -> fb_mode_is_equal()

Type Parameter Key Value
PARAM_VALUE 0 mode1 1-u64max
PARAM_VALUE 1 mode2 1158842034155593728
PARAM_VALUE 1 mode2->vmode 0-255
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 mode2->hsync_len 1-256[c]
HOST_DATA 1 mode2->left_margin 0-4094,4294967040-u32max[c]
HOST_DATA 1 mode2->lower_margin 0-4095,4294963201-u32max[c]
HOST_DATA 1 mode2->right_margin 0-u16max,4294963201-u32max[c]
HOST_DATA 1 mode2->upper_margin 0-4094,4294967232-u32max[c]
HOST_DATA 1 mode2->vsync_len 1-64[c]
HOST_DATA 1 mode2->xres 0-u32max
HOST_DATA 1 mode2->yres 0-u32max
USER_DATA 1 mode2->hsync_len 0-u32max
USER_DATA 1 mode2->left_margin 0-u32max
USER_DATA 1 mode2->lower_margin 0-u32max
USER_DATA 1 mode2->right_margin 0-u32max
USER_DATA 1 mode2->sync 0-u32max
USER_DATA 1 mode2->upper_margin 0-u32max
USER_DATA 1 mode2->vmode 0-255[c]
USER_DATA 1 mode2->vsync_len 0-u32max
USER_DATA 1 mode2->xres 0-u32max
USER_DATA 1 mode2->yres 0-u32max
HALF_LOCKED2 &info->lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/sh_mobile_lcdcfb.c sh_mobile_fb_reconfig() -> fb_mode_is_equal()

Type Parameter Key Value
PARAM_VALUE 0 mode1 4096-ptr_max
PARAM_VALUE 1 mode2 48860597593595904
PARAM_VALUE 1 mode2->vmode 0-255
RX_PATH
TASK_NOT_RUNNING
LOCK2 &ch->open_lock
LOCK2 global &console_sem
HALF_LOCKED2 &info->lock
TYPE_LOCK (struct sh_mobile_lcdc_chan)->open_lock

drivers/video/fbdev/core/modedb.c fb_add_videomode() -> fb_mode_is_equal()

Type Parameter Key Value
PARAM_VALUE 0 mode1 4096-ptr_max
BUF_SIZE 0 mode1 64
DATA_SOURCE 1 mode2 $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 mode2->hsync_len 1-256[c]
HOST_DATA 1 mode2->left_margin 0-4094,4294967040-u32max[c]
HOST_DATA 1 mode2->lower_margin 0-4095,4294963201-u32max[c]
HOST_DATA 1 mode2->right_margin 0-u16max,4294963201-u32max[c]
HOST_DATA 1 mode2->upper_margin 0-4094,4294967232-u32max[c]
HOST_DATA 1 mode2->vsync_len 1-64[c]
HOST_DATA 1 mode2->xres 0-u32max
HOST_DATA 1 mode2->yres 0-u32max
USER_DATA 1 mode2->hsync_len 0-u32max
USER_DATA 1 mode2->left_margin 0-u32max
USER_DATA 1 mode2->lower_margin 0-u32max
USER_DATA 1 mode2->right_margin 0-u32max
USER_DATA 1 mode2->sync 0-u32max
USER_DATA 1 mode2->upper_margin 0-u32max
USER_DATA 1 mode2->vmode 0-255[c]
USER_DATA 1 mode2->vsync_len 0-u32max
USER_DATA 1 mode2->xres 0-u32max
USER_DATA 1 mode2->yres 0-u32max
HALF_LOCKED2 &info->lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &console_sem
HALF_LOCKED2 global &registration_lock

drivers/video/fbdev/core/modedb.c fb_delete_videomode() -> fb_mode_is_equal()

Type Parameter Key Value
PARAM_VALUE 0 mode1 4096-ptr_max
PARAM_VALUE 1 mode2 1158842034155593728
PARAM_VALUE 1 mode2->vmode 0-255
BUF_SIZE 0 mode1 64
CAPPED_DATA 1 mode2->vmode 1
DATA_SOURCE 1 mode2 $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 mode2->hsync_len 1-256[c]
HOST_DATA 1 mode2->left_margin 0-4094,4294967040-u32max[c]
HOST_DATA 1 mode2->lower_margin 0-4095,4294963201-u32max[c]
HOST_DATA 1 mode2->right_margin 0-u16max,4294963201-u32max[c]
HOST_DATA 1 mode2->upper_margin 0-4094,4294967232-u32max[c]
HOST_DATA 1 mode2->vsync_len 1-64[c]
HOST_DATA 1 mode2->xres 0-u32max
HOST_DATA 1 mode2->yres 0-u32max
USER_DATA 1 mode2->hsync_len 0-u32max
USER_DATA 1 mode2->left_margin 0-u32max
USER_DATA 1 mode2->lower_margin 0-u32max
USER_DATA 1 mode2->right_margin 0-u32max
USER_DATA 1 mode2->sync 0-u32max
USER_DATA 1 mode2->upper_margin 0-u32max
USER_DATA 1 mode2->vmode 0-255[c]
USER_DATA 1 mode2->vsync_len 0-u32max
USER_DATA 1 mode2->xres 0-u32max
USER_DATA 1 mode2->yres 0-u32max
HALF_LOCKED2 &info->lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/core/modedb.c fb_match_mode() -> fb_mode_is_equal()

Type Parameter Key Value
PARAM_VALUE 0 mode1 4096-ptr_max
PARAM_VALUE 1 mode2 62962816344391680
PARAM_VALUE 1 mode2->vmode 0-255
BUF_SIZE 0 mode1 64
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 mode2->hsync_len 1-256[c]
HOST_DATA 1 mode2->left_margin 0-4094,4294967040-u32max[c]
HOST_DATA 1 mode2->lower_margin 0-4095,4294963201-u32max[c]
HOST_DATA 1 mode2->right_margin 0-u16max,4294963201-u32max[c]
HOST_DATA 1 mode2->upper_margin 0-4094,4294967232-u32max[c]
HOST_DATA 1 mode2->vsync_len 1-64[c]
HOST_DATA 1 mode2->xres 0-u32max
HOST_DATA 1 mode2->yres 0-u32max
USER_DATA 1 mode2->hsync_len 0-u32max
USER_DATA 1 mode2->left_margin 0-u32max
USER_DATA 1 mode2->lower_margin 0-u32max
USER_DATA 1 mode2->right_margin 0-u32max
USER_DATA 1 mode2->sync 0-u32max
USER_DATA 1 mode2->upper_margin 0-u32max
USER_DATA 1 mode2->vmode 0-255[c]
USER_DATA 1 mode2->vsync_len 0-u32max
USER_DATA 1 mode2->xres 0-u32max
USER_DATA 1 mode2->yres 0-u32max
HALF_LOCKED2 &info->lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &console_sem