Defined in 2 files as a member:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

drivers/video/fbdev/core/cfbfillrect.c fb_pattern_rotate() -> fb_left()

Type Parameter Key Value
PARAM_VALUE 1 index 0-64
CAPPED_DATA 1 index 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &console_sem

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

Type Parameter Key Value
PARAM_VALUE 0 value u64max
PARAM_VALUE 1 index 0-63
DATA_SOURCE 1 index $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &console_sem

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

Type Parameter Key Value
PARAM_VALUE 0 value u64max
PARAM_VALUE 1 index 0-63
DATA_SOURCE 1 index $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/core/cfbfillrect.c fb_rotate() -> fb_left()

Type Parameter Key Value
DATA_SOURCE 0 value $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &console_sem

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

Type Parameter Key Value
PARAM_VALUE 1 index 0-63
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 1 index 0-63
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 1 index 0-63
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 1 index 0-63
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 1 index 0-63
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 1 index 0-63
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 1 index 0-63
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 1 index 0-63
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 1 index 0-62
CAPPED_DATA 1 index 1
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 1 index 0-63
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 1 index 0-63
DATA_SOURCE 0 value r reorder
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 1 index 0-63
DATA_SOURCE 0 value r fb_read_offset
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 1 index 0-63
DATA_SOURCE 0 value r fb_read_offset
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 1 index 0-63
DATA_SOURCE 0 value r fb_read_offset
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 1 index 0-63
DATA_SOURCE 0 value r fb_read_offset
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 1 index 0-63
DATA_SOURCE 0 value r reorder
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 1 index 0-62
CAPPED_DATA 1 index 1
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/video/fbdev/core/sysfillrect.c fb_pattern_rotate() -> fb_left()

Type Parameter Key Value
PARAM_VALUE 1 index 0-64
CAPPED_DATA 1 index 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/core/sysfillrect.c fb_rotate() -> fb_left()

Type Parameter Key Value
DATA_SOURCE 0 value $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &p->lock
HALF_LOCKED2 global &console_sem

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

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

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

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

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

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

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

Type Parameter Key Value
PARAM_VALUE 1 index 0-63
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 1 index 0-63
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 1 index 0-63
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 value 0-u64max

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

Type Parameter Key Value
PARAM_VALUE 1 index 0-63
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 value 0-u64max

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

Type Parameter Key Value
PARAM_VALUE 1 index 0-63
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 value 0-u64max

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

Type Parameter Key Value
PARAM_VALUE 1 index 0-63
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 value 0-u64max

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

Type Parameter Key Value
PARAM_VALUE 1 index 0-63
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 value 0-u64max

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

Type Parameter Key Value
PARAM_VALUE 1 index 0-63
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 value 0-u64max

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

Type Parameter Key Value
PARAM_VALUE 1 index 0-62
CAPPED_DATA 1 index 1
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 1 index 0-63
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 1 index 0-63
DATA_SOURCE 0 value r reorder
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 1 index 0-63
DATA_SOURCE 0 value r fb_read_offset
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 value 0-u64max

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

Type Parameter Key Value
PARAM_VALUE 1 index 0-63
DATA_SOURCE 0 value r fb_read_offset
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 value 0-u64max

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

Type Parameter Key Value
PARAM_VALUE 1 index 0-63
DATA_SOURCE 0 value r fb_read_offset
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 value 0-u64max

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

Type Parameter Key Value
PARAM_VALUE 1 index 0-63
DATA_SOURCE 0 value r fb_read_offset
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 value 0-u64max

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

Type Parameter Key Value
PARAM_VALUE 1 index 0-63
DATA_SOURCE 0 value r reorder
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 value 0-u64max

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

Type Parameter Key Value
PARAM_VALUE 1 index 0-62
CAPPED_DATA 1 index 1
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 value u64max
PARAM_VALUE 1 index 0-63
DATA_SOURCE 1 index $0
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 value u64max
PARAM_VALUE 1 index 0-63
DATA_SOURCE 1 index $0
RX_PATH
TASK_NOT_RUNNING