Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
- drivers/video/fbdev/arkfb.c, line 158
- drivers/video/fbdev/core/svgalib.c, line 652
- drivers/video/fbdev/s3fb.c
- drivers/video/fbdev/vt8623fb.c, line 125
Smatch caller information:
drivers/video/fbdev/core/tileblit.c tile_clear() -> (struct fb_tile_ops)->fb_tilefill()
| 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->state | 0 |
| PARAM_VALUE | 0 | info->tileops | 4096-ptr_max |
| PARAM_VALUE | 1 | rect | 988346111772229632 |
| PARAM_VALUE | 1 | rect->bg | 0-255 |
| PARAM_VALUE | 1 | rect->fg | 0-255 |
| PARAM_VALUE | 1 | rect->index | 0-511 |
| PARAM_VALUE | 1 | rect->rop | 0 |
| PARAM_VALUE | 1 | rect->width | 1-u32max |
| DATA_SOURCE | 0 | info | $1 |
| CONTAINER | 0 | -16-1440+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | rect->bg | 0-15[c] |
| USER_DATA | 1 | rect->fg | 0-15[c] |
| HALF_LOCKED2 | global &console_sem |
drivers/video/fbdev/core/tileblit.c tile_clear_margins() -> (struct fb_tile_ops)->fb_tilefill()
| 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->state | 0 |
| PARAM_VALUE | 0 | info->tileops | 4096-ptr_max |
| PARAM_VALUE | 1 | rect | 606753954127040512 |
| PARAM_VALUE | 1 | rect->index | 0-511 |
| PARAM_VALUE | 1 | rect->sx | 0-4294967294 |
| PARAM_VALUE | 1 | rect->sy | 0 |
| DATA_SOURCE | 0 | info | $1 |
| CONTAINER | 0 | -16-1440+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | rect->width | 0-2147483710[c] |
| HALF_LOCKED2 | global &console_sem |
drivers/video/fbdev/core/tileblit.c tile_clear_margins() -> (struct fb_tile_ops)->fb_tilefill()
| 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->state | 0 |
| PARAM_VALUE | 0 | info->tileops | 4096-ptr_max |
| PARAM_VALUE | 1 | rect | 606753954127040512 |
| PARAM_VALUE | 1 | rect->index | 0-511 |
| PARAM_VALUE | 1 | rect->sy | 0-4294967294 |
| DATA_SOURCE | 0 | info | $1 |
| CONTAINER | 0 | -16-1440+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | rect->height | 0-1073741887[c] |
| HALF_LOCKED2 | global &console_sem |