Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/video/fbdev/udlfb.c dlfb_ops_check_var() -> dlfb_is_valid_mode()

Type Parameter Key Value
PARAM_VALUE 0 mode 2665260487445016576
BUF_SIZE 1 dlfb (-1),1984,2560
BUF_SIZE 1 dlfb (-1),1984,2560
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
UNITS 1 dlfb unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 mode 4096-ptr_max
PARAM_VALUE 1 dlfb 4096-ptr_max
BUF_SIZE 1 dlfb 2,4,16,24,32,128,216,248,256,1288,1984,2560
BUF_SIZE 1 dlfb 2,4,16,24,32,128,216,248,256,1288,1984,2560
BUF_SIZE 1 dlfb->edid 128,u64max
DATA_SOURCE 1 dlfb $0
RX_PATH
TASK_NOT_RUNNING
UNITS 1 dlfb unit_byte
HALF_LOCKED2 &info->lock
HALF_LOCKED2 &of->mutex

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

Type Parameter Key Value
PARAM_VALUE 0 mode 4096-ptr_max
PARAM_VALUE 1 dlfb 4096-ptr_max
BUF_SIZE 1 dlfb 2,4,16,24,32,128,216,248,256,1288,1984,2560
BUF_SIZE 1 dlfb 2,4,16,24,32,128,216,248,256,1288,1984,2560
BUF_SIZE 1 dlfb->edid 128,u64max
DATA_SOURCE 1 dlfb $0
RX_PATH
TASK_NOT_RUNNING
UNITS 1 dlfb unit_byte
HALF_LOCKED2 &info->lock
HALF_LOCKED2 &of->mutex