wmt_ge_sync identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/video/fbdev/wmt_ge_rops.h, line 8 (as a prototype)

Defined in 2 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/video/fbdev/core/fbmem.c fb_get_buffer_offset() -> (struct fb_ops)->fb_sync()

Type	Parameter	Key	Value
PARAM_VALUE	0	p	4096-ptr_max
PARAM_VALUE	0	p->fbcon_par	4096-ptr_max
PARAM_VALUE	0	p->fbcon_par->bitops->cursor	868574231927816192,1057466323525296128,5348809894935224320,6414243839333818368,8306283402744143872
PARAM_VALUE	0	p->fbcon_par->p->scrollmode	1-5
PARAM_VALUE	0	p->fbops	4096-ptr_max
PARAM_VALUE	0	p->fbops->fb_sync	1-u64max
PARAM_VALUE	0	p->state	0
CAPPED_DATA	0	p	1
DATA_SOURCE	0	p	$0
CONTAINER	0	-120-1416+0	$(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	*p->par	s64min-s64max
HALF_LOCKED2		global &console_sem

drivers/video/fbdev/core/fbmem.c fb_get_buffer_offset() -> (struct fb_ops)->fb_sync()

Type	Parameter	Key	Value
PARAM_VALUE	0	p	4096-ptr_max
PARAM_VALUE	0	p->fbcon_par	4096-ptr_max
PARAM_VALUE	0	p->fbcon_par->bitops->cursor	868574231927816192,1057466323525296128,5348809894935224320,6414243839333818368,8306283402744143872
PARAM_VALUE	0	p->fbcon_par->p->scrollmode	1-5
PARAM_VALUE	0	p->fbops	4096-ptr_max
PARAM_VALUE	0	p->fbops->fb_sync	1-u64max
PARAM_VALUE	0	p->state	0
CAPPED_DATA	0	p	1
DATA_SOURCE	0	p	$0
CONTAINER	0	-120-1416+0	$(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	*p->par	s64min-s64max
HALF_LOCKED2		global &console_sem

drivers/video/fbdev/core/cfbfillrect.c cfb_fillrect() -> (struct fb_ops)->fb_sync()

Type	Parameter	Key	Value
PARAM_VALUE	0	p	4096-ptr_max
PARAM_VALUE	0	p->fbcon_par	4096-ptr_max
PARAM_VALUE	0	p->fbcon_par->graphics	0
PARAM_VALUE	0	p->fbops	4096-ptr_max
PARAM_VALUE	0	p->fbops->fb_sync	1-u64max
PARAM_VALUE	0	p->state	0
DATA_SOURCE	0	p	$0
CONTAINER	0	-120-1416+0	$(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		global &console_sem

drivers/video/fbdev/core/fb_sys_fops.c fb_sys_read() -> (struct fb_ops)->fb_sync()

Type	Parameter	Key	Value
PARAM_VALUE	0	p	4096-ptr_max
PARAM_VALUE	0	p->fbops	4096-ptr_max
PARAM_VALUE	0	p->fbops->fb_read	1-u64max
PARAM_VALUE	0	p->fbops->fb_sync	1-u64max
PARAM_VALUE	0	p->flags	s32min-(-1),4-s32max
PARAM_VALUE	0	p->screen_buffer	1-u64max
PARAM_VALUE	0	p->state	0
CAPPED_DATA	0	p	1
DATA_SOURCE	0	p	$0
CONTAINER	0	-120-1416+0	$(-1)
NOCHECK_CALL

drivers/video/fbdev/core/fb_sys_fops.c fb_sys_write() -> (struct fb_ops)->fb_sync()

Type	Parameter	Key	Value
PARAM_VALUE	0	p	4096-ptr_max
PARAM_VALUE	0	p->fbops	4096-ptr_max
PARAM_VALUE	0	p->fbops->fb_sync	1-u64max
PARAM_VALUE	0	p->fbops->fb_write	1-u64max
PARAM_VALUE	0	p->flags	s32min-(-1),4-s32max
PARAM_VALUE	0	p->screen_buffer	1-u64max
PARAM_VALUE	0	p->state	0
CAPPED_DATA	0	p	1
DATA_SOURCE	0	p	$0
CONTAINER	0	-120-1416+0	$(-1)
NOCHECK_CALL

drivers/video/fbdev/core/fb_io_fops.c fb_io_read() -> (struct fb_ops)->fb_sync()

Type	Parameter	Key	Value
PARAM_VALUE	0	p	4096-ptr_max
PARAM_VALUE	0	p->fbops	4096-ptr_max
PARAM_VALUE	0	p->fbops->fb_read	1-u64max
PARAM_VALUE	0	p->fbops->fb_sync	1-u64max
PARAM_VALUE	0	p->screen_base	1-u64max
PARAM_VALUE	0	p->state	0
CAPPED_DATA	0	p	1
DATA_SOURCE	0	p	$0
CONTAINER	0	-120-1416+0	$(-1)
NOCHECK_CALL

drivers/video/fbdev/core/fb_io_fops.c fb_io_write() -> (struct fb_ops)->fb_sync()

Type	Parameter	Key	Value
PARAM_VALUE	0	p	4096-ptr_max
PARAM_VALUE	0	p->fbops	4096-ptr_max
PARAM_VALUE	0	p->fbops->fb_sync	1-u64max
PARAM_VALUE	0	p->fbops->fb_write	1-u64max
PARAM_VALUE	0	p->screen_base	1-u64max
PARAM_VALUE	0	p->state	0
CAPPED_DATA	0	p	1
DATA_SOURCE	0	p	$0
CONTAINER	0	-120-1416+0	$(-1)
NOCHECK_CALL

drivers/video/fbdev/savage/savagefb_driver.c savagefb_suspend_late() -> (struct fb_ops)->fb_sync()

Type	Parameter	Key	Value
PARAM_VALUE	0	p	4096-ptr_max
PARAM_VALUE	0	p->fbcon_par	0,4096-ptr_max
PARAM_VALUE	0	p->fbops	4096-ptr_max
PARAM_VALUE	0	p->fbops->fb_sync	1-u64max
PARAM_VALUE	0	p->par	4096-ptr_max
PARAM_VALUE	0	p->state	0-1
BUF_SIZE	0	p	s32min-(-2),1-s32max
BUF_SIZE	0	p	s32min-(-2),1-s32max
CONTAINER	0	-120-1416+0	$(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		global &console_sem
HALF_LOCKED2		&dev->mutex

drivers/video/fbdev/core/fbcon_rotate.c fbcon_rotate_font() -> (struct fb_ops)->fb_sync()

Type	Parameter	Key	Value
PARAM_VALUE	0	p	4096-ptr_max
PARAM_VALUE	0	p->fbcon_par	4096-ptr_max
PARAM_VALUE	0	p->fbcon_par->bitops	4096-ptr_max
PARAM_VALUE	0	p->fbcon_par->bitops->bmove	358624830283558912,720436299731693568,831468009678733312,5647362587788095488,8504779760420265984
PARAM_VALUE	0	p->fbcon_par->bitops->clear	521403232646520832,551109980336709632,2946937881798750208,5928266012869279744,8021089253971767296
PARAM_VALUE	0	p->fbcon_par->bitops->clear_margins	2332376742054326272,3869344602472914944,6310568554524909568,7948939035621462016,8218489519675916288
PARAM_VALUE	0	p->fbcon_par->bitops->cursor	868574231927816192,1057466323525296128,5348809894935224320,6414243839333818368,8306283402744143872
PARAM_VALUE	0	p->fbcon_par->bitops->putcs	2160703045434204160,3282196084730585088,3915716234231488512,5524593610357645312,5974748255006371840
PARAM_VALUE	0	p->fbcon_par->bitops->rotate_font	2820989491178905600
PARAM_VALUE	0	p->fbcon_par->bitops->update_start	1284623903226216448,2343379461867827200,5536275800052752384,8034552877633937408,8573967883634688000
PARAM_VALUE	0	p->fbcon_par->p	4096-ptr_max
PARAM_VALUE	0	p->fbops	4096-ptr_max
PARAM_VALUE	0	p->fbops->fb_sync	1-u64max
BUF_SIZE	0	p	s32min-(-1),1-s32max
BUF_SIZE	0	p	s32min-(-1),1-s32max
CAPPED_DATA	0	p	1
DATA_SOURCE	0	p	$0
CONTAINER	0	-120-1416+0	$(-1)
NOSPEC	0	p->var.xres
NOSPEC	0	p->var.yres
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	p->var.accel_flags	0-u32max
USER_DATA	0	p->var.activate	0-u32max[c]
USER_DATA	0	p->var.bits_per_pixel	0-u32max
USER_DATA	0	p->var.blue.length	0-u32max
USER_DATA	0	p->var.blue.msb_right	0-u32max
USER_DATA	0	p->var.blue.offset	0-u32max
USER_DATA	0	p->var.colorspace	0-u32max
USER_DATA	0	p->var.grayscale	0-u32max
USER_DATA	0	p->var.green.length	0-u32max
USER_DATA	0	p->var.green.msb_right	0-u32max
USER_DATA	0	p->var.green.offset	0-u32max
USER_DATA	0	p->var.height	0-u32max
USER_DATA	0	p->var.hsync_len	0-u32max
USER_DATA	0	p->var.left_margin	0-u32max
USER_DATA	0	p->var.lower_margin	0-u32max
USER_DATA	0	p->var.nonstd	0-u32max
USER_DATA	0	p->var.pixclock	0-u32max
USER_DATA	0	p->var.red.length	0-u32max
USER_DATA	0	p->var.red.msb_right	0-u32max
USER_DATA	0	p->var.red.offset	0-u32max
USER_DATA	0	p->var.right_margin	0-u32max
USER_DATA	0	p->var.rotate	0-u32max
USER_DATA	0	p->var.sync	0-u32max
USER_DATA	0	p->var.transp.length	0-u32max
USER_DATA	0	p->var.transp.msb_right	0-u32max
USER_DATA	0	p->var.transp.offset	0-u32max
USER_DATA	0	p->var.upper_margin	0-u32max
USER_DATA	0	p->var.vmode	0-u32max
USER_DATA	0	p->var.vsync_len	0-u32max
USER_DATA	0	p->var.width	0-u32max
USER_DATA	0	p->var.xoffset	0-u32max
USER_DATA	0	p->var.xres	8-u32max
USER_DATA	0	p->var.xres_virtual	8-u32max
USER_DATA	0	p->var.yoffset	0-u32max
USER_DATA	0	p->var.yres	8-u32max
USER_DATA	0	p->var.yres_virtual	8-u32max
NO_OVERFLOW_SIMPLE	0	p->fbdefio_state->npagerefs
HALF_LOCKED2		global &console_sem
HALF_LOCKED2	0	&p->lock

drivers/video/fbdev/core/cfbimgblt.c cfb_imageblit() -> (struct fb_ops)->fb_sync()

Type	Parameter	Key	Value
PARAM_VALUE	0	p	4096-ptr_max
PARAM_VALUE	0	p->fbcon_par	4096-ptr_max
PARAM_VALUE	0	p->fbops	4096-ptr_max
PARAM_VALUE	0	p->fbops->fb_sync	1-u64max
PARAM_VALUE	0	p->state	0
BUF_SIZE	0	p->pseudo_palette	(-1),1024
CAPPED_DATA	0	p	1
DATA_SOURCE	0	p	$0
CONTAINER	0	-120-1416+0	$(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	*p->par	s64min-s64max
HALF_LOCKED2		global &console_sem

drivers/video/fbdev/sm712fb.c smtcfb_read() -> (struct fb_ops)->fb_sync()

Type	Parameter	Key	Value
PARAM_VALUE	0	p	4096-ptr_max
PARAM_VALUE	0	p->fbops	4096-ptr_max
PARAM_VALUE	0	p->fbops->fb_read	1-u64max
PARAM_VALUE	0	p->fbops->fb_sync	1-u64max
PARAM_VALUE	0	p->screen_base	1-u64max
PARAM_VALUE	0	p->state	0
CAPPED_DATA	0	p	1
DATA_SOURCE	0	p	$0
CONTAINER	0	-120-1416+0	$(-1)
NOCHECK_CALL

drivers/video/fbdev/sm712fb.c smtcfb_write() -> (struct fb_ops)->fb_sync()

Type	Parameter	Key	Value
PARAM_VALUE	0	p	4096-ptr_max
PARAM_VALUE	0	p->fbops	4096-ptr_max
PARAM_VALUE	0	p->fbops->fb_sync	1-u64max
PARAM_VALUE	0	p->fbops->fb_write	1-u64max
PARAM_VALUE	0	p->screen_base	1-u64max
PARAM_VALUE	0	p->state	0
CAPPED_DATA	0	p	1
DATA_SOURCE	0	p	$0
CONTAINER	0	-120-1416+0	$(-1)
NOCHECK_CALL

drivers/media/pci/ivtv/ivtvfb.c ivtvfb_write() -> (struct fb_ops)->fb_sync()

Type	Parameter	Key	Value
PARAM_VALUE	0	p	4096-ptr_max
PARAM_VALUE	0	p->fbops	4096-ptr_max
PARAM_VALUE	0	p->fbops->fb_sync	1-u64max
PARAM_VALUE	0	p->fbops->fb_write	1-u64max
PARAM_VALUE	0	p->par	4096-ptr_max
PARAM_VALUE	0	p->screen_base	1-u64max
PARAM_VALUE	0	p->state	0
CAPPED_DATA	0	p	1
DATA_SOURCE	0	p	$0
CONTAINER	0	-120-1416+0	$(-1)
NOCHECK_CALL

drivers/video/fbdev/core/cfbcopyarea.c cfb_copyarea() -> (struct fb_ops)->fb_sync()

Type	Parameter	Key	Value
PARAM_VALUE	0	p	4096-ptr_max
PARAM_VALUE	0	p->fbops	4096-ptr_max
PARAM_VALUE	0	p->fbops->fb_sync	1-u64max
PARAM_VALUE	0	p->state	0
DATA_SOURCE	0	p	$0
CONTAINER	0	-120-1416+0	$(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/wmt_ge_rops.c wmt_ge_copyarea() -> (struct fb_ops)->fb_sync()

Type	Parameter	Key	Value
PARAM_VALUE	0	p	4096-ptr_max
PARAM_VALUE	0	p->fbcon_par->p->scrollmode	1-5
PARAM_VALUE	0	p->fbops	4096-ptr_max
PARAM_VALUE	0	p->fbops->fb_sync	1-u64max
PARAM_VALUE	0	p->state	0
DATA_SOURCE	0	p	$0
CONTAINER	0	-120-1416+0	$(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/video/fbdev/wmt_ge_rops.c wmt_ge_fillrect() -> (struct fb_ops)->fb_sync()

Type	Parameter	Key	Value
PARAM_VALUE	0	p	4096-ptr_max
PARAM_VALUE	0	p->fbcon_par	4096-ptr_max
PARAM_VALUE	0	p->fbcon_par->graphics	0
PARAM_VALUE	0	p->fbops	4096-ptr_max
PARAM_VALUE	0	p->fbops->fb_sync	1-u64max
PARAM_VALUE	0	p->state	0
DATA_SOURCE	0	p	$0
CONTAINER	0	-120-1416+0	$(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		global &console_sem