Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 image 4096-ptr_max
PARAM_VALUE 0 image->depth 1
PARAM_VALUE 1 dst 670007098737168384
PARAM_VALUE 1 dst->bits 0-63
BUF_SIZE 0 image (-1)-s32max
BUF_SIZE 0 image (-1)-s32max
BUF_SIZE 0 image->data (-1)-s32max
BUF_SIZE 3 palette (-1),1024
BUF_SIZE 3 palette (-1),1024
DATA_SOURCE 0 image $1
DATA_SOURCE 3 palette r fb_palette
DATA_SOURCE 5 reverse r fb_reverse_init
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_imageblit() -> fb_bitmap_imageblit()

Type Parameter Key Value
PARAM_VALUE 0 image 4096-ptr_max
PARAM_VALUE 0 image->depth 1
PARAM_VALUE 1 dst 1797349631505608704
PARAM_VALUE 1 dst->bits 0-63
BUF_SIZE 0 image (-1)-s32max
BUF_SIZE 0 image (-1)-s32max
BUF_SIZE 0 image->data (-1)-s32max
BUF_SIZE 3 palette (-1),1024
BUF_SIZE 3 palette (-1),1024
DATA_SOURCE 0 image $1
DATA_SOURCE 3 palette r fb_palette
DATA_SOURCE 5 reverse r fb_reverse_init
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