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_bitmap_2ppw()

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
PARAM_VALUE 2 fgcolor 0-u32max
PARAM_VALUE 3 bgcolor 0-u32max
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 5 reverse $5
BIT_INFO 0 image->width 0x0,0xfffffffe
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]
UNITS 4 words_per_line unit_long
HALF_LOCKED2 global &console_sem

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

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
PARAM_VALUE 2 fgcolor 0-u32max
PARAM_VALUE 3 bgcolor 0-u32max
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 5 reverse $5
BIT_INFO 0 image->width 0x0,0xfffffffe
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]
UNITS 4 words_per_line unit_long
HALF_LOCKED2 global &console_sem