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 |