Open Menu /

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_vbe_getmonspecs() -> fb_add_videomode()

Type Parameter Key Value
PARAM_VALUE 0 mode 3345432230527705088
PARAM_VALUE 0 mode->flag 32
PARAM_VALUE 0 mode->name 0
PARAM_VALUE 0 mode->vmode 0-255
PARAM_VALUE 1 head 4096-ptr_max
PARAM_VALUE 1 head->prev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 mode 4096-ptr_max
PARAM_VALUE 1 head 4096-ptr_max
PARAM_VALUE 1 head->prev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 1 head 4096-ptr_max
PARAM_VALUE 1 head->prev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/imxfb.c imxfb_probe() -> fb_add_videomode()

Type Parameter Key Value
PARAM_VALUE 1 head 4096-ptr_max
PARAM_VALUE 1 head->next 4096-ptr_max
PARAM_VALUE 1 head->prev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/fbmem.c do_register_framebuffer() -> fb_add_videomode()

Type Parameter Key Value
PARAM_VALUE 0 mode 9156702889490489344
PARAM_VALUE 0 mode->flag 32
PARAM_VALUE 0 mode->name 0
PARAM_VALUE 0 mode->vmode 0-255
PARAM_VALUE 1 head 4096-ptr_max
PARAM_VALUE 1 head->next 1-u64max
PARAM_VALUE 1 head->prev 1-u64max
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 mode->hsync_len 1-256[c]
HOST_DATA 0 mode->left_margin 0-4094,4294967040-u32max[c]
HOST_DATA 0 mode->lower_margin 0-4095,4294963201-u32max[c]
HOST_DATA 0 mode->right_margin 0-u16max,4294963201-u32max[c]
HOST_DATA 0 mode->upper_margin 0-4094,4294967232-u32max[c]
HOST_DATA 0 mode->vsync_len 1-64[c]
HOST_DATA 0 mode->xres 0-u32max
HOST_DATA 0 mode->yres 0-u32max
USER_DATA 0 mode->hsync_len 0-u32max
USER_DATA 0 mode->left_margin 0-u32max
USER_DATA 0 mode->lower_margin 0-u32max
USER_DATA 0 mode->right_margin 0-u32max
USER_DATA 0 mode->sync 0-u32max
USER_DATA 0 mode->upper_margin 0-u32max
USER_DATA 0 mode->vmode 0-255[c]
USER_DATA 0 mode->vsync_len 0-u32max
USER_DATA 0 mode->xres 0-u32max
USER_DATA 0 mode->yres 0-u32max
LOCK2 global &registration_lock
HALF_LOCKED2 &dev->clientlist_mutex
HALF_LOCKED2 &dev->reclaim_sem
HALF_LOCKED2 &hdev->driver_input_lock

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

Type Parameter Key Value
PARAM_VALUE 0 mode 5730565467195883520
PARAM_VALUE 0 mode->flag 32
PARAM_VALUE 0 mode->name 0
PARAM_VALUE 0 mode->vmode 0-255
PARAM_VALUE 1 head 4096-ptr_max
PARAM_VALUE 1 head->prev 4096-ptr_max
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_add_videomode()

Type Parameter Key Value
PARAM_VALUE 0 mode 1455189896760107008
PARAM_VALUE 0 mode->flag 32
PARAM_VALUE 0 mode->name 0
PARAM_VALUE 0 mode->vmode 0-255
PARAM_VALUE 1 head 4096-ptr_max
PARAM_VALUE 1 head->next 1-u64max
PARAM_VALUE 1 head->prev 1-u64max
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 mode->hsync_len 1-256[c]
HOST_DATA 0 mode->left_margin 0-4094,4294967040-u32max[c]
HOST_DATA 0 mode->lower_margin 0-4095,4294963201-u32max[c]
HOST_DATA 0 mode->right_margin 0-u16max,4294963201-u32max[c]
HOST_DATA 0 mode->upper_margin 0-4094,4294967232-u32max[c]
HOST_DATA 0 mode->vsync_len 1-64[c]
HOST_DATA 0 mode->xres 0-u32max
HOST_DATA 0 mode->yres 0-u32max
USER_DATA 0 mode->hsync_len 0-u32max
USER_DATA 0 mode->left_margin 0-u32max
USER_DATA 0 mode->lower_margin 0-u32max
USER_DATA 0 mode->right_margin 0-u32max
USER_DATA 0 mode->sync 0-u32max
USER_DATA 0 mode->upper_margin 0-u32max
USER_DATA 0 mode->vmode 0-255[c]
USER_DATA 0 mode->vsync_len 0-u32max
USER_DATA 0 mode->xres 0-u32max
USER_DATA 0 mode->yres 0-u32max
HALF_LOCKED2 &info->lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &console_sem

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

Type Parameter Key Value
PARAM_VALUE 0 mode 4096-ptr_max
PARAM_VALUE 1 head 4096-ptr_max
PARAM_VALUE 1 head->next->next 4096-ptr_max
PARAM_VALUE 1 head->prev 4096-ptr_max
PARAM_VALUE 1 head->prev->next 4096-ptr_max
PARAM_VALUE 1 head->prev->prev 4096-ptr_max
DATA_SOURCE 1 head $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &fb_info->lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/udlfb.c dlfb_setup_modes() -> fb_add_videomode()

Type Parameter Key Value
PARAM_VALUE 0 mode 4096-ptr_max
PARAM_VALUE 1 head 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &info->lock
HALF_LOCKED2 &of->mutex

drivers/video/fbdev/udlfb.c dlfb_setup_modes() -> fb_add_videomode()

Type Parameter Key Value
PARAM_VALUE 0 mode 4096-ptr_max
PARAM_VALUE 1 head 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &info->lock
HALF_LOCKED2 &of->mutex

drivers/video/fbdev/aty/radeon_monitor.c radeon_check_modes() -> fb_add_videomode()

Type Parameter Key Value
PARAM_VALUE 0 mode 1949726975968731136
PARAM_VALUE 0 mode->flag 32
PARAM_VALUE 0 mode->name 0
PARAM_VALUE 0 mode->vmode 0-255
PARAM_VALUE 1 head 4096-ptr_max
PARAM_VALUE 1 head->prev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/smscufx.c ufx_setup_modes() -> fb_add_videomode()

Type Parameter Key Value
PARAM_VALUE 0 mode 4096-ptr_max
PARAM_VALUE 1 head 4096-ptr_max
PARAM_VALUE 1 head->prev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &info->lock

drivers/video/fbdev/smscufx.c ufx_setup_modes() -> fb_add_videomode()

Type Parameter Key Value
PARAM_VALUE 0 mode 4096-ptr_max
PARAM_VALUE 1 head 4096-ptr_max
PARAM_VALUE 1 head->prev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &info->lock

drivers/video/fbdev/atmel_lcdfb.c atmel_lcdfb_of_init() -> fb_add_videomode()

Type Parameter Key Value
PARAM_VALUE 0 mode 1155670135181447168
PARAM_VALUE 0 mode->flag 0
PARAM_VALUE 0 mode->pixclock 0,232-1000000000
PARAM_VALUE 0 mode->sync 0-3
PARAM_VALUE 0 mode->vmode 0-3
PARAM_VALUE 1 head 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL