Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/video/fbdev/udlfb.c dlfb_ops_defio_copyarea() -> dlfb_ops_damage_area()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 0 info->fbcon_par->p->scrollmode 1-5
PARAM_VALUE 0 info->fbops 4096-ptr_max
PARAM_VALUE 0 info->flags s32min-(-1),4-s32max
DATA_SOURCE 0 info $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 x unit_byte
UNITS 2 y unit_byte
UNITS 3 width unit_byte
UNITS 4 height unit_byte

drivers/video/fbdev/udlfb.c dlfb_ops_defio_fillrect() -> dlfb_ops_damage_area()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 0 info->fbcon_par 4096-ptr_max
PARAM_VALUE 0 info->fbcon_par->graphics 0
PARAM_VALUE 0 info->fbops 4096-ptr_max
PARAM_VALUE 0 info->flags s32min-(-1),4-s32max
PARAM_VALUE 0 info->state 0
DATA_SOURCE 0 info $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 x unit_byte
UNITS 2 y unit_byte
UNITS 3 width unit_byte
UNITS 4 height unit_byte
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/udlfb.c dlfb_ops_defio_imageblit() -> dlfb_ops_damage_area()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 0 info->fbcon_par 4096-ptr_max
PARAM_VALUE 0 info->fbops 4096-ptr_max
PARAM_VALUE 0 info->flags s32min-(-1),4-s32max
PARAM_VALUE 0 info->state 0
BUF_SIZE 0 info->pseudo_palette (-1),1024
CAPPED_DATA 0 info 1
DATA_SOURCE 0 info $0
NOSPEC 4 height
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 *info->par s64min-s64max
USER_DATA 1 x 0-u32max[c]
USER_DATA 2 y 0-s32max[c]
USER_DATA 4 height 1-s32max[c]
UNITS 1 x unit_byte
UNITS 2 y unit_byte
UNITS 3 width unit_byte
UNITS 4 height unit_byte
HALF_LOCKED2 global &console_sem