Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 0 info->fbcon_par 4096-ptr_max
PARAM_VALUE 0 info->fbcon_par->bitops 4096-ptr_max
PARAM_VALUE 0 info->fbcon_par->graphics 0
PARAM_VALUE 0 info->fbcon_par->p 4096-ptr_max
PARAM_VALUE 0 info->fbcon_par->p->scrollmode 1-5
PARAM_VALUE 0 info->fbops 4096-ptr_max
PARAM_VALUE 0 info->state 0
PARAM_VALUE 1 region 7366105312324517888
PARAM_VALUE 1 region->color 0-255
PARAM_VALUE 1 region->rop 0
DATA_SOURCE 0 info $1
CONTAINER 0 -88-1416+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 region->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 info 4096-ptr_max
PARAM_VALUE 0 info->fbcon_par 4096-ptr_max
PARAM_VALUE 0 info->fbcon_par->bitops 4096-ptr_max
PARAM_VALUE 0 info->fbcon_par->graphics 0
PARAM_VALUE 0 info->fbops 4096-ptr_max
PARAM_VALUE 0 info->state 0
PARAM_VALUE 1 region 5176918317444976640
PARAM_VALUE 1 region->dy 0
PARAM_VALUE 1 region->rop 0
PARAM_VALUE 1 region->width 1-s32max
DATA_SOURCE 0 info $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 info 4096-ptr_max
PARAM_VALUE 0 info->fbcon_par 4096-ptr_max
PARAM_VALUE 0 info->fbcon_par->bitops 4096-ptr_max
PARAM_VALUE 0 info->fbcon_par->graphics 0
PARAM_VALUE 0 info->fbops 4096-ptr_max
PARAM_VALUE 0 info->state 0
PARAM_VALUE 1 region 5176918317444976640
PARAM_VALUE 1 region->height 1-s32max
PARAM_VALUE 1 region->rop 0
DATA_SOURCE 0 info $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 info 4096-ptr_max
PARAM_VALUE 0 info->fbcon_par 4096-ptr_max
PARAM_VALUE 0 info->fbcon_par->bitops 4096-ptr_max
PARAM_VALUE 0 info->fbcon_par->graphics 0
PARAM_VALUE 0 info->fbcon_par->p->scrollmode 1-5
PARAM_VALUE 0 info->fbops 4096-ptr_max
PARAM_VALUE 0 info->state 0
PARAM_VALUE 1 region 9003169564954697728
PARAM_VALUE 1 region->color 0-255
PARAM_VALUE 1 region->rop 0
DATA_SOURCE 0 info $1
CONTAINER 0 -88-1416+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 region->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 info 4096-ptr_max
PARAM_VALUE 0 info->fbcon_par 4096-ptr_max
PARAM_VALUE 0 info->fbcon_par->bitops 4096-ptr_max
PARAM_VALUE 0 info->fbcon_par->graphics 0
PARAM_VALUE 0 info->fbops 4096-ptr_max
PARAM_VALUE 0 info->state 0
PARAM_VALUE 1 region 3971883074479153152
PARAM_VALUE 1 region->dy 0
PARAM_VALUE 1 region->rop 0
PARAM_VALUE 1 region->width 1-s32max
DATA_SOURCE 0 info $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 info 4096-ptr_max
PARAM_VALUE 0 info->fbcon_par 4096-ptr_max
PARAM_VALUE 0 info->fbcon_par->bitops 4096-ptr_max
PARAM_VALUE 0 info->fbcon_par->graphics 0
PARAM_VALUE 0 info->fbops 4096-ptr_max
PARAM_VALUE 0 info->state 0
PARAM_VALUE 1 region 3971883074479153152
PARAM_VALUE 1 region->height 1-s32max
PARAM_VALUE 1 region->rop 0
DATA_SOURCE 0 info $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 info 4096-ptr_max
PARAM_VALUE 0 info->fbcon_par 4096-ptr_max
PARAM_VALUE 0 info->fbcon_par->bitops 4096-ptr_max
PARAM_VALUE 0 info->fbcon_par->graphics 0
PARAM_VALUE 0 info->fbcon_par->p 4096-ptr_max
PARAM_VALUE 0 info->fbcon_par->p->scrollmode 1-5
PARAM_VALUE 0 info->fbops 4096-ptr_max
PARAM_VALUE 0 info->state 0
PARAM_VALUE 1 region 5264299139233849344
PARAM_VALUE 1 region->color 0-255
PARAM_VALUE 1 region->rop 0
DATA_SOURCE 0 info $1
CONTAINER 0 -88-1416+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 region->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 info 4096-ptr_max
PARAM_VALUE 0 info->fbcon_par 4096-ptr_max
PARAM_VALUE 0 info->fbcon_par->bitops 4096-ptr_max
PARAM_VALUE 0 info->fbcon_par->graphics 0
PARAM_VALUE 0 info->fbops 4096-ptr_max
PARAM_VALUE 0 info->state 0
PARAM_VALUE 1 region 3083630495037005824
PARAM_VALUE 1 region->dx 0
PARAM_VALUE 1 region->height 1-s32max
PARAM_VALUE 1 region->rop 0
DATA_SOURCE 0 info $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 info 4096-ptr_max
PARAM_VALUE 0 info->fbcon_par 4096-ptr_max
PARAM_VALUE 0 info->fbcon_par->bitops 4096-ptr_max
PARAM_VALUE 0 info->fbcon_par->graphics 0
PARAM_VALUE 0 info->fbops 4096-ptr_max
PARAM_VALUE 0 info->state 0
PARAM_VALUE 1 region 3083630495037005824
PARAM_VALUE 1 region->dy 0
PARAM_VALUE 1 region->rop 0
PARAM_VALUE 1 region->width 1-s32max
DATA_SOURCE 0 info $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 info 4096-ptr_max
PARAM_VALUE 0 info->fbcon_par 4096-ptr_max
PARAM_VALUE 0 info->fbcon_par->bitops 4096-ptr_max
PARAM_VALUE 0 info->fbcon_par->graphics 0
PARAM_VALUE 0 info->fbcon_par->p 4096-ptr_max
PARAM_VALUE 0 info->fbcon_par->p->scrollmode 1-5
PARAM_VALUE 0 info->fbops 4096-ptr_max
PARAM_VALUE 0 info->state 0
PARAM_VALUE 1 region 4678418179537686528
PARAM_VALUE 1 region->color 0-255
PARAM_VALUE 1 region->rop 0
DATA_SOURCE 0 info $1
CONTAINER 0 -88-1416+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 region->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 info 4096-ptr_max
PARAM_VALUE 0 info->fbcon_par 4096-ptr_max
PARAM_VALUE 0 info->fbcon_par->bitops 4096-ptr_max
PARAM_VALUE 0 info->fbcon_par->graphics 0
PARAM_VALUE 0 info->fbops 4096-ptr_max
PARAM_VALUE 0 info->state 0
PARAM_VALUE 1 region 4528988369273208832
PARAM_VALUE 1 region->dx 0
PARAM_VALUE 1 region->height 1-s32max
PARAM_VALUE 1 region->rop 0
DATA_SOURCE 0 info $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 info 4096-ptr_max
PARAM_VALUE 0 info->fbcon_par 4096-ptr_max
PARAM_VALUE 0 info->fbcon_par->bitops 4096-ptr_max
PARAM_VALUE 0 info->fbcon_par->graphics 0
PARAM_VALUE 0 info->fbops 4096-ptr_max
PARAM_VALUE 0 info->state 0
PARAM_VALUE 1 region 4528988369273208832
PARAM_VALUE 1 region->rop 0
PARAM_VALUE 1 region->width 1-s32max
DATA_SOURCE 0 info $1
CONTAINER 0 -88-1416+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &console_sem