Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/video/fbdev/core/sysimgblt.c fb_bitmap_imageblit() -> fb_bitmap4x_imageblit()

Type Parameter Key Value
PARAM_VALUE 0 image 4096-ptr_max
PARAM_VALUE 0 image->bg_color 0-255
PARAM_VALUE 0 image->depth 1
PARAM_VALUE 0 image->fg_color 0-255
PARAM_VALUE 1 dst 670007098737168384
PARAM_VALUE 1 dst->bits 0-63
PARAM_VALUE 2 fgcolor 0-u32max
PARAM_VALUE 3 bgcolor 0-u32max
PARAM_VALUE 4 bpp 1-8
BUF_SIZE 0 image (-1)-s32max
BUF_SIZE 0 image (-1)-s32max
BUF_SIZE 0 image->data (-1)-s32max
DATA_SOURCE 0 image $0
DATA_SOURCE 1 dst $1
DATA_SOURCE 4 bpp $4
DATA_SOURCE 5 bits_per_line $2
DATA_SOURCE 6 reverse $5
NOSPEC 0 image->dy
NOSPEC 0 image->height
NOSPEC 0 image->width
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 image->dx 0-u32max[c]
USER_DATA 0 image->dy 0-s32max[c]
USER_DATA 0 image->height 1-s32max[c]
USER_DATA 0 image->width 0-u32max[c]
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/core/cfbimgblt.c fb_bitmap_imageblit() -> fb_bitmap4x_imageblit()

Type Parameter Key Value
PARAM_VALUE 0 image 4096-ptr_max
PARAM_VALUE 0 image->bg_color 0-255
PARAM_VALUE 0 image->depth 1
PARAM_VALUE 0 image->fg_color 0-255
PARAM_VALUE 1 dst 1797349631505608704
PARAM_VALUE 1 dst->bits 0-63
PARAM_VALUE 2 fgcolor 0-u32max
PARAM_VALUE 3 bgcolor 0-u32max
PARAM_VALUE 4 bpp 1-8
BUF_SIZE 0 image (-1)-s32max
BUF_SIZE 0 image (-1)-s32max
BUF_SIZE 0 image->data (-1)-s32max
DATA_SOURCE 0 image $0
DATA_SOURCE 1 dst $1
DATA_SOURCE 4 bpp $4
DATA_SOURCE 5 bits_per_line $2
DATA_SOURCE 6 reverse $5
NOSPEC 0 image->dy
NOSPEC 0 image->height
NOSPEC 0 image->width
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 image->dx 0-u32max[c]
USER_DATA 0 image->dy 0-s32max[c]
USER_DATA 0 image->height 1-s32max[c]
USER_DATA 0 image->width 0-u32max[c]
HALF_LOCKED2 global &console_sem