Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/video/fbdev/core/sysimgblt.c fb_bitmap1x_imageblit() -> fb_bitblit()

Type Parameter Key Value
PARAM_VALUE 0 get 4096-ptr_max
PARAM_VALUE 1 iter 6508289182698774528
PARAM_VALUE 2 bits 9-64
PARAM_VALUE 3 dst 670007098737168384
PARAM_VALUE 3 dst->bits 0-63
BUF_SIZE 1 iter 32
DATA_SOURCE 2 bits $4
DATA_SOURCE 3 dst $1
DATA_SOURCE 4 reverse $6
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &console_sem

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

Type Parameter Key Value
PARAM_VALUE 0 get 4096-ptr_max
PARAM_VALUE 1 iter 6134168589514264576
PARAM_VALUE 2 bits 4-32
PARAM_VALUE 3 dst 670007098737168384
PARAM_VALUE 3 dst->bits 0-63
BUF_SIZE 1 iter 40
DATA_SOURCE 3 dst $1
DATA_SOURCE 4 reverse $6
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/core/sysimgblt.c fb_color_imageblit() -> fb_bitblit()

Type Parameter Key Value
PARAM_VALUE 0 get 4096-ptr_max
PARAM_VALUE 1 iter 7776990658940002304
PARAM_VALUE 3 dst 670007098737168384
PARAM_VALUE 3 dst->bits 0-63
BUF_SIZE 1 iter 32
DATA_SOURCE 2 bits $4
DATA_SOURCE 3 dst $1
DATA_SOURCE 4 reverse $5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/core/cfbimgblt.c fb_bitmap1x_imageblit() -> fb_bitblit()

Type Parameter Key Value
PARAM_VALUE 0 get 4096-ptr_max
PARAM_VALUE 1 iter 2222165274110386176
PARAM_VALUE 2 bits 9-64
PARAM_VALUE 3 dst 1797349631505608704
PARAM_VALUE 3 dst->bits 0-63
BUF_SIZE 1 iter 32
DATA_SOURCE 2 bits $4
DATA_SOURCE 3 dst $1
DATA_SOURCE 4 reverse $6
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 get 4096-ptr_max
PARAM_VALUE 1 iter 7967723787848310784
PARAM_VALUE 2 bits 4-32
PARAM_VALUE 3 dst 1797349631505608704
PARAM_VALUE 3 dst->bits 0-63
BUF_SIZE 1 iter 40
DATA_SOURCE 3 dst $1
DATA_SOURCE 4 reverse $6
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/core/cfbimgblt.c fb_color_imageblit() -> fb_bitblit()

Type Parameter Key Value
PARAM_VALUE 0 get 4096-ptr_max
PARAM_VALUE 1 iter 7786988086832775168
PARAM_VALUE 3 dst 1797349631505608704
PARAM_VALUE 3 dst->bits 0-63
BUF_SIZE 1 iter 32
DATA_SOURCE 2 bits $4
DATA_SOURCE 3 dst $1
DATA_SOURCE 4 reverse $5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &console_sem