fb_right identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/video/fbdev/core/fb_draw.h, line 78 (as a function)

Referenced in 4 files:

Smatch caller information:

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

Type	Parameter	Key	Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2		global &console_sem

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

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

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

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

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

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

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

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_fwd() -> fb_right()

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_fwd() -> fb_right()

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_fwd() -> fb_right()

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_fwd() -> fb_right()

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_fwd() -> fb_right()

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_fwd() -> fb_right()

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

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

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

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

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

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

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

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

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

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

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

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

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

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/syscopyarea.c fb_pixel_mask() -> fb_right()

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/sysimgblt.c fb_bitblit() -> fb_right()

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

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

Type	Parameter	Key	Value
PARAM_VALUE	1	index	s32min-63
FUZZY_MAX	1	index	63
RX_PATH
TASK_NOT_RUNNING

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

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/sysimgblt.c fb_pixel_mask() -> fb_right()

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/sysfillrect.c fb_pattern_rotate() -> fb_right()

Type	Parameter	Key	Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2		global &console_sem

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

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		&p->lock
HALF_LOCKED2		global &console_sem

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

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		&p->lock
HALF_LOCKED2		global &console_sem

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

Type	Parameter	Key	Value
PARAM_VALUE	1	index	0-63
DATA_SOURCE	0	value	$0
DATA_SOURCE	1	index	$1 [m]
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2		&p->lock
HALF_LOCKED2		global &console_sem

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

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

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

Type	Parameter	Key	Value
PARAM_VALUE	1	index	s32min-63
FUZZY_MAX	1	index	63
RX_PATH
TASK_NOT_RUNNING

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

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

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

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

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

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_fwd() -> fb_right()

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_fwd() -> fb_right()

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_fwd() -> fb_right()

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_fwd() -> fb_right()

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_fwd() -> fb_right()

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_fwd() -> fb_right()

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

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

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

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

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

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

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

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

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

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

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

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_pixel_mask() -> fb_right()

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

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