Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/video/fbdev/core/fbcon.c fbcon_set_palette() -> fb_copy_cmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | from | 2897105069373767680,3837895682664026112,5187355404352466944,8854999685290434560 |
| PARAM_VALUE | 1 | to | 8771863930535673856 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &console_sem |
drivers/video/fbdev/core/fbcmap.c fb_alloc_cmap_gfp() -> fb_copy_cmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | from | 2897105069373767680,3837895682664026112,5187355404352466944,8854999685290434560 |
| PARAM_VALUE | 1 | to | 4096-ptr_max |
| PARAM_VALUE | 1 | to->start | 0 |
| BUF_SIZE | 1 | to->blue | 0-4000000,u64max |
| BUF_SIZE | 1 | to->green | 0-4000000,u64max |
| BUF_SIZE | 1 | to->red | 0-s32max,18446744071562067968-u64max |
| BUF_SIZE | 1 | to->transp | 0-4000000,u64max |
| DATA_SOURCE | 1 | to | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | to->len | 1-s32max[c] |
drivers/video/fbdev/core/fbcmap.c fb_set_cmap() -> fb_copy_cmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | from | 4096-ptr_max |
| PARAM_VALUE | 0 | from->start | 0-s32max |
| PARAM_VALUE | 1 | to | 4096-ptr_max |
| DATA_SOURCE | 0 | from | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | from->start | 0-s32max |
| USER_PTR | 0 | from->blue | |
| USER_PTR | 0 | from->green | |
| USER_PTR | 0 | from->red | |
| USER_PTR | 0 | from->transp | |
| HALF_LOCKED2 | &info->lock | ||
| HALF_LOCKED2 | global &console_sem |