Defined in 1 files as a prototype:

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 rect 7366105312324517888
PARAM_VALUE 1 rect->color 0-255
PARAM_VALUE 1 rect->rop 0
DATA_SOURCE 0 info $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 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 rect 5176918317444976640
PARAM_VALUE 1 rect->dy 0
PARAM_VALUE 1 rect->rop 0
PARAM_VALUE 1 rect->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 rect 5176918317444976640
PARAM_VALUE 1 rect->height 1-s32max
PARAM_VALUE 1 rect->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 rect 9003169564954697728
PARAM_VALUE 1 rect->color 0-255
PARAM_VALUE 1 rect->rop 0
DATA_SOURCE 0 info $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 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 rect 3971883074479153152
PARAM_VALUE 1 rect->dy 0
PARAM_VALUE 1 rect->rop 0
PARAM_VALUE 1 rect->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 rect 3971883074479153152
PARAM_VALUE 1 rect->height 1-s32max
PARAM_VALUE 1 rect->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 rect 5264299139233849344
PARAM_VALUE 1 rect->color 0-255
PARAM_VALUE 1 rect->rop 0
DATA_SOURCE 0 info $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 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 rect 3083630495037005824
PARAM_VALUE 1 rect->dx 0
PARAM_VALUE 1 rect->height 1-s32max
PARAM_VALUE 1 rect->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 rect 3083630495037005824
PARAM_VALUE 1 rect->dy 0
PARAM_VALUE 1 rect->rop 0
PARAM_VALUE 1 rect->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 rect 4678418179537686528
PARAM_VALUE 1 rect->color 0-255
PARAM_VALUE 1 rect->rop 0
DATA_SOURCE 0 info $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 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 rect 4528988369273208832
PARAM_VALUE 1 rect->dx 0
PARAM_VALUE 1 rect->height 1-s32max
PARAM_VALUE 1 rect->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 rect 4528988369273208832
PARAM_VALUE 1 rect->rop 0
PARAM_VALUE 1 rect->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