Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/video/fbdev/core/cfbfillrect.c bitfill() -> fb_pixel_mask()

Type Parameter Key Value
PARAM_VALUE 0 index 0-63
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/core/cfbfillrect.c bitfill() -> fb_pixel_mask()

Type Parameter Key Value
PARAM_VALUE 0 index 0-63
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/core/cfbfillrect.c bitinvert() -> fb_pixel_mask()

Type Parameter Key Value
PARAM_VALUE 0 index 0-63
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/core/cfbfillrect.c bitinvert() -> fb_pixel_mask()

Type Parameter Key Value
PARAM_VALUE 0 index 0-63
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/core/syscopyarea.c fb_copy_aligned_fwd() -> fb_pixel_mask()

Type Parameter Key Value
PARAM_VALUE 0 index 0-63
DATA_SOURCE 1 reverse $3
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/syscopyarea.c fb_copy_aligned_fwd() -> fb_pixel_mask()

Type Parameter Key Value
PARAM_VALUE 0 index 0-63
DATA_SOURCE 1 reverse $3
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/syscopyarea.c fb_copy_aligned_rev() -> fb_pixel_mask()

Type Parameter Key Value
PARAM_VALUE 0 index 0-63
DATA_SOURCE 1 reverse $3
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/syscopyarea.c fb_copy_aligned_rev() -> fb_pixel_mask()

Type Parameter Key Value
PARAM_VALUE 0 index 0-63
DATA_SOURCE 1 reverse $3
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/syscopyarea.c fb_copy_fwd() -> fb_pixel_mask()

Type Parameter Key Value
PARAM_VALUE 0 index 0-63
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/syscopyarea.c fb_copy_fwd() -> fb_pixel_mask()

Type Parameter Key Value
PARAM_VALUE 0 index 0-63
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/syscopyarea.c fb_copy_rev() -> fb_pixel_mask()

Type Parameter Key Value
PARAM_VALUE 0 index 0-63
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/syscopyarea.c fb_copy_rev() -> fb_pixel_mask()

Type Parameter Key Value
PARAM_VALUE 0 index 0-63
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 index s32min-(-1),1-63
DATA_SOURCE 1 reverse $4
FUZZY_MAX 0 index 63
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/sysfillrect.c bitfill() -> fb_pixel_mask()

Type Parameter Key Value
PARAM_VALUE 0 index 0-63
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &p->lock
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/core/sysfillrect.c bitfill() -> fb_pixel_mask()

Type Parameter Key Value
PARAM_VALUE 0 index 0-63
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &p->lock
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/core/sysfillrect.c bitinvert() -> fb_pixel_mask()

Type Parameter Key Value
PARAM_VALUE 0 index 0-63
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &p->lock
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/core/sysfillrect.c bitinvert() -> fb_pixel_mask()

Type Parameter Key Value
PARAM_VALUE 0 index 0-63
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &p->lock
HALF_LOCKED2 global &console_sem

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

Type Parameter Key Value
PARAM_VALUE 0 index s32min-(-1),1-63
DATA_SOURCE 1 reverse $4
FUZZY_MAX 0 index 63
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_aligned_fwd() -> fb_pixel_mask()

Type Parameter Key Value
PARAM_VALUE 0 index 0-63
DATA_SOURCE 1 reverse $3
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_aligned_fwd() -> fb_pixel_mask()

Type Parameter Key Value
PARAM_VALUE 0 index 0-63
DATA_SOURCE 1 reverse $3
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_aligned_rev() -> fb_pixel_mask()

Type Parameter Key Value
PARAM_VALUE 0 index 0-63
DATA_SOURCE 1 reverse $3
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_aligned_rev() -> fb_pixel_mask()

Type Parameter Key Value
PARAM_VALUE 0 index 0-63
DATA_SOURCE 1 reverse $3
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_fwd() -> fb_pixel_mask()

Type Parameter Key Value
PARAM_VALUE 0 index 0-63
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_fwd() -> fb_pixel_mask()

Type Parameter Key Value
PARAM_VALUE 0 index 0-63
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_rev() -> fb_pixel_mask()

Type Parameter Key Value
PARAM_VALUE 0 index 0-63
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/cfbcopyarea.c fb_copy_rev() -> fb_pixel_mask()

Type Parameter Key Value
PARAM_VALUE 0 index 0-63
DATA_SOURCE 1 reverse $4
RX_PATH
TASK_NOT_RUNNING