sys_fillrect identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

include/linux/fb.h, line 572 (as a prototype)

Defined in 1 files as a function:

drivers/video/fbdev/core/sysfillrect.c, line 19 (as a function)

Referenced in 4 files:

Smatch caller information:

drivers/gpu/drm/drm_fbdev_shmem.c drm_fbdev_shmem_defio_fillrect() -> sys_fillrect()

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->state	0
PARAM_VALUE	1	rect	4096-ptr_max
PARAM_VALUE	1	rect->rop	0
DATA_SOURCE	0	p	$0
DATA_SOURCE	1	rect	$1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	1	rect->color	0-15[c]
HALF_LOCKED2		global &console_sem

drivers/video/fbdev/broadsheetfb.c broadsheetfb_defio_fillrect() -> sys_fillrect()

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->state	0
PARAM_VALUE	1	rect	4096-ptr_max
PARAM_VALUE	1	rect->rop	0
DATA_SOURCE	0	p	$0
DATA_SOURCE	1	rect	$1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	1	rect->color	0-15[c]
HALF_LOCKED2		global &console_sem

drivers/video/fbdev/sh_mobile_lcdcfb.c sh_mobile_lcdc_fillrect() -> sys_fillrect()

Type	Parameter	Key	Value
PARAM_VALUE	0	p	4096-ptr_max
PARAM_VALUE	1	rect	4096-ptr_max
PARAM_VALUE	1	rect->rop	0
BUF_SIZE	0	p	s32min-(-1),1-s32max
BUF_SIZE	0	p	s32min-(-1),1-s32max
DATA_SOURCE	0	p	$0
DATA_SOURCE	1	rect	$1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	p->blank	s32min-4
USER_DATA	1	rect->color	0-15[c]
HALF_LOCKED2		global &console_sem
HALF_LOCKED2	0	&p->lock

drivers/gpu/drm/drm_fbdev_ttm.c drm_fbdev_ttm_defio_fillrect() -> sys_fillrect()

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->state	0
PARAM_VALUE	1	rect	4096-ptr_max
PARAM_VALUE	1	rect->rop	0
DATA_SOURCE	0	p	$0
DATA_SOURCE	1	rect	$1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	1	rect->color	0-15[c]
HALF_LOCKED2		global &console_sem

drivers/staging/fbtft/fbtft-core.c fbtft_ops_defio_fillrect() -> sys_fillrect()

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->state	0
PARAM_VALUE	1	rect	4096-ptr_max
PARAM_VALUE	1	rect->rop	0
DATA_SOURCE	0	p	$0
DATA_SOURCE	1	rect	$1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	1	rect->color	0-15[c]
HALF_LOCKED2		global &console_sem

drivers/gpu/drm/omapdrm/omap_fbdev.c omap_fbdev_defio_fillrect() -> sys_fillrect()

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->state	0
PARAM_VALUE	1	rect	4096-ptr_max
PARAM_VALUE	1	rect->rop	0
DATA_SOURCE	0	p	$0
DATA_SOURCE	1	rect	$1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	1	rect->color	0-15[c]
HALF_LOCKED2		global &console_sem

drivers/video/fbdev/arcfb.c arcfb_defio_fillrect() -> sys_fillrect()

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->state	0
PARAM_VALUE	1	rect	4096-ptr_max
PARAM_VALUE	1	rect->rop	0
DATA_SOURCE	0	p	$0
DATA_SOURCE	1	rect	$1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	1	rect->color	0-15[c]
HALF_LOCKED2		global &console_sem

drivers/video/fbdev/udlfb.c dlfb_ops_defio_fillrect() -> sys_fillrect()

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->state	0
PARAM_VALUE	1	rect	4096-ptr_max
PARAM_VALUE	1	rect->rop	0
DATA_SOURCE	0	p	$0
DATA_SOURCE	1	rect	$1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	1	rect->color	0-15[c]
HALF_LOCKED2		global &console_sem

drivers/gpu/drm/drm_fbdev_dma.c drm_fbdev_dma_shadowed_defio_fillrect() -> sys_fillrect()

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->state	0
PARAM_VALUE	1	rect	4096-ptr_max
PARAM_VALUE	1	rect->rop	0
DATA_SOURCE	0	p	$0
DATA_SOURCE	1	rect	$1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	1	rect->color	0-15[c]
HALF_LOCKED2		global &console_sem

drivers/video/fbdev/hecubafb.c hecubafb_defio_fillrect() -> sys_fillrect()

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->state	0
PARAM_VALUE	1	rect	4096-ptr_max
PARAM_VALUE	1	rect->rop	0
DATA_SOURCE	0	p	$0
DATA_SOURCE	1	rect	$1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	1	rect->color	0-15[c]
HALF_LOCKED2		global &console_sem

drivers/video/fbdev/xen-fbfront.c xenfb_defio_fillrect() -> sys_fillrect()

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->state	0
PARAM_VALUE	1	rect	4096-ptr_max
PARAM_VALUE	1	rect->rop	0
DATA_SOURCE	0	p	$0
DATA_SOURCE	1	rect	$1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	1	rect->color	0-15[c]
HALF_LOCKED2		global &console_sem

drivers/video/fbdev/metronomefb.c metronomefb_defio_fillrect() -> sys_fillrect()

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->state	0
PARAM_VALUE	1	rect	4096-ptr_max
PARAM_VALUE	1	rect->rop	0
DATA_SOURCE	0	p	$0
DATA_SOURCE	1	rect	$1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	1	rect->color	0-15[c]
HALF_LOCKED2		global &console_sem

drivers/gpu/drm/msm/msm_fbdev.c msm_fbdev_defio_fillrect() -> sys_fillrect()

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->state	0
PARAM_VALUE	1	rect	4096-ptr_max
PARAM_VALUE	1	rect->rop	0
DATA_SOURCE	0	p	$0
DATA_SOURCE	1	rect	$1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	1	rect->color	0-15[c]
HALF_LOCKED2		global &console_sem

drivers/hid/hid-picolcd_fb.c picolcdfb_ops_defio_fillrect() -> sys_fillrect()

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->state	0
PARAM_VALUE	1	rect	4096-ptr_max
PARAM_VALUE	1	rect->rop	0
DATA_SOURCE	0	p	$0
DATA_SOURCE	1	rect	$1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	1	rect->color	0-15[c]
HALF_LOCKED2		global &console_sem

drivers/video/fbdev/ssd1307fb.c ssd1307fb_defio_fillrect() -> sys_fillrect()

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->state	0
PARAM_VALUE	1	rect	4096-ptr_max
PARAM_VALUE	1	rect->rop	0
DATA_SOURCE	0	p	$0
DATA_SOURCE	1	rect	$1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	1	rect->color	0-15[c]
HALF_LOCKED2		global &console_sem

drivers/video/fbdev/smscufx.c ufx_ops_defio_fillrect() -> sys_fillrect()

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->state	0
PARAM_VALUE	1	rect	4096-ptr_max
PARAM_VALUE	1	rect->rop	0
DATA_SOURCE	0	p	$0
DATA_SOURCE	1	rect	$1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	1	rect->color	0-15[c]
HALF_LOCKED2		global &console_sem

drivers/video/fbdev/core/fbcon_ud.c ud_clear() -> (struct fb_ops)->fb_fillrect()

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->graphics	0
PARAM_VALUE	0	p->fbcon_par->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->state	0
PARAM_VALUE	1	rect	7366105312324517888
PARAM_VALUE	1	rect->color	0-255
PARAM_VALUE	1	rect->rop	0
DATA_SOURCE	0	p	$1
CONTAINER	0	-88-1416+0	$(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	1	rect->color	0-15[c]
HALF_LOCKED2		global &console_sem

drivers/video/fbdev/core/fbcon_ud.c ud_clear_margins() -> (struct fb_ops)->fb_fillrect()

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->graphics	0
PARAM_VALUE	0	p->fbops	4096-ptr_max
PARAM_VALUE	0	p->state	0
PARAM_VALUE	1	rect	5176918317444976640
PARAM_VALUE	1	rect->dy	0
PARAM_VALUE	1	rect->rop	0
PARAM_VALUE	1	rect->width	1-s32max
DATA_SOURCE	0	p	$1
CONTAINER	0	-88-1416+0	$(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		global &console_sem

drivers/video/fbdev/core/fbcon_ud.c ud_clear_margins() -> (struct fb_ops)->fb_fillrect()

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->graphics	0
PARAM_VALUE	0	p->fbops	4096-ptr_max
PARAM_VALUE	0	p->state	0
PARAM_VALUE	1	rect	5176918317444976640
PARAM_VALUE	1	rect->height	1-s32max
PARAM_VALUE	1	rect->rop	0
DATA_SOURCE	0	p	$1
CONTAINER	0	-88-1416+0	$(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		global &console_sem

drivers/video/fbdev/core/bitblit.c bit_clear() -> (struct fb_ops)->fb_fillrect()

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->graphics	0
PARAM_VALUE	0	p->fbcon_par->p->scrollmode	1-5
PARAM_VALUE	0	p->fbops	4096-ptr_max
PARAM_VALUE	0	p->state	0
PARAM_VALUE	1	rect	9003169564954697728
PARAM_VALUE	1	rect->color	0-255
PARAM_VALUE	1	rect->rop	0
DATA_SOURCE	0	p	$1
CONTAINER	0	-88-1416+0	$(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	1	rect->color	0-15[c]
HALF_LOCKED2		global &console_sem

drivers/video/fbdev/core/bitblit.c bit_clear_margins() -> (struct fb_ops)->fb_fillrect()

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->graphics	0
PARAM_VALUE	0	p->fbops	4096-ptr_max
PARAM_VALUE	0	p->state	0
PARAM_VALUE	1	rect	3971883074479153152
PARAM_VALUE	1	rect->dy	0
PARAM_VALUE	1	rect->rop	0
PARAM_VALUE	1	rect->width	1-s32max
DATA_SOURCE	0	p	$1
CONTAINER	0	-88-1416+0	$(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		global &console_sem

drivers/video/fbdev/core/bitblit.c bit_clear_margins() -> (struct fb_ops)->fb_fillrect()

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->graphics	0
PARAM_VALUE	0	p->fbops	4096-ptr_max
PARAM_VALUE	0	p->state	0
PARAM_VALUE	1	rect	3971883074479153152
PARAM_VALUE	1	rect->height	1-s32max
PARAM_VALUE	1	rect->rop	0
DATA_SOURCE	0	p	$1
CONTAINER	0	-88-1416+0	$(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		global &console_sem

drivers/video/fbdev/core/fbcon_ccw.c ccw_clear() -> (struct fb_ops)->fb_fillrect()

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->graphics	0
PARAM_VALUE	0	p->fbcon_par->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->state	0
PARAM_VALUE	1	rect	5264299139233849344
PARAM_VALUE	1	rect->color	0-255
PARAM_VALUE	1	rect->rop	0
DATA_SOURCE	0	p	$1
CONTAINER	0	-88-1416+0	$(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	1	rect->color	0-15[c]
HALF_LOCKED2		global &console_sem

drivers/video/fbdev/core/fbcon_ccw.c ccw_clear_margins() -> (struct fb_ops)->fb_fillrect()

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->graphics	0
PARAM_VALUE	0	p->fbops	4096-ptr_max
PARAM_VALUE	0	p->state	0
PARAM_VALUE	1	rect	3083630495037005824
PARAM_VALUE	1	rect->dx	0
PARAM_VALUE	1	rect->height	1-s32max
PARAM_VALUE	1	rect->rop	0
DATA_SOURCE	0	p	$1
CONTAINER	0	-88-1416+0	$(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		global &console_sem

drivers/video/fbdev/core/fbcon_ccw.c ccw_clear_margins() -> (struct fb_ops)->fb_fillrect()

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->graphics	0
PARAM_VALUE	0	p->fbops	4096-ptr_max
PARAM_VALUE	0	p->state	0
PARAM_VALUE	1	rect	3083630495037005824
PARAM_VALUE	1	rect->dy	0
PARAM_VALUE	1	rect->rop	0
PARAM_VALUE	1	rect->width	1-s32max
DATA_SOURCE	0	p	$1
CONTAINER	0	-88-1416+0	$(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		global &console_sem

drivers/video/fbdev/core/fbcon_cw.c cw_clear() -> (struct fb_ops)->fb_fillrect()

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->graphics	0
PARAM_VALUE	0	p->fbcon_par->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->state	0
PARAM_VALUE	1	rect	4678418179537686528
PARAM_VALUE	1	rect->color	0-255
PARAM_VALUE	1	rect->rop	0
DATA_SOURCE	0	p	$1
CONTAINER	0	-88-1416+0	$(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	1	rect->color	0-15[c]
HALF_LOCKED2		global &console_sem

drivers/video/fbdev/core/fbcon_cw.c cw_clear_margins() -> (struct fb_ops)->fb_fillrect()

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->graphics	0
PARAM_VALUE	0	p->fbops	4096-ptr_max
PARAM_VALUE	0	p->state	0
PARAM_VALUE	1	rect	4528988369273208832
PARAM_VALUE	1	rect->dx	0
PARAM_VALUE	1	rect->height	1-s32max
PARAM_VALUE	1	rect->rop	0
DATA_SOURCE	0	p	$1
CONTAINER	0	-88-1416+0	$(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		global &console_sem

drivers/video/fbdev/core/fbcon_cw.c cw_clear_margins() -> (struct fb_ops)->fb_fillrect()

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->graphics	0
PARAM_VALUE	0	p->fbops	4096-ptr_max
PARAM_VALUE	0	p->state	0
PARAM_VALUE	1	rect	4528988369273208832
PARAM_VALUE	1	rect->rop	0
PARAM_VALUE	1	rect->width	1-s32max
DATA_SOURCE	0	p	$1
CONTAINER	0	-88-1416+0	$(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		global &console_sem