Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/video/fbdev/core/fbcon_ud.c ud_cursor() -> (struct fb_ops)->fb_cursor()
| 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->cursor | 868574231927816192,1057466323525296128,5348809894935224320,6414243839333818368,8306283402744143872 |
| PARAM_VALUE | 0 | info->fbcon_par->cursor_state.enable | 0-1 |
| PARAM_VALUE | 0 | info->fbcon_par->cursor_state.hot.x | 0 |
| PARAM_VALUE | 0 | info->fbcon_par->cursor_state.image.bg_color | 0-255 |
| PARAM_VALUE | 0 | info->fbcon_par->cursor_state.image.data | 4096-ptr_max |
| PARAM_VALUE | 0 | info->fbcon_par->cursor_state.image.fg_color | 0-255 |
| PARAM_VALUE | 0 | info->fbcon_par->cursor_state.mask | 1-u64max |
| PARAM_VALUE | 0 | info->fbcon_par->p | 4096-ptr_max |
| PARAM_VALUE | 0 | info->fbcon_par->p->scrollmode | 1-5 |
| PARAM_VALUE | 0 | info->fbcon_par->rotated.buf | 1-u64max |
| PARAM_VALUE | 0 | info->fbops | 4096-ptr_max |
| PARAM_VALUE | 0 | info->fbops->fb_cursor | 1-u64max |
| PARAM_VALUE | 1 | cursor | 5664983237803122688 |
| PARAM_VALUE | 1 | cursor->enable | 0-1 |
| PARAM_VALUE | 1 | cursor->hot.x | 0 |
| PARAM_VALUE | 1 | cursor->image.bg_color | 0-255 |
| PARAM_VALUE | 1 | cursor->image.data | 16,4096-ptr_max |
| PARAM_VALUE | 1 | cursor->image.depth | 1 |
| PARAM_VALUE | 1 | cursor->image.fg_color | 0-255 |
| PARAM_VALUE | 1 | cursor->mask | 1-u64max |
| PARAM_VALUE | 1 | cursor->rop | 1 |
| PARAM_VALUE | 1 | cursor->set | 0-63 |
| CAPPED_DATA | 0 | info | 1 |
| DATA_SOURCE | 0 | info | $1 |
| FUZZY_MAX | 0 | info->fbcon_par->cursor_state.enable | 1 |
| CONTAINER | 0 | -112-1416+0 | $(-1) |
| HARD_MAX | 0 | info->fbcon_par->cursor_state.enable | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | cursor->image.bg_color | 0-15[c] |
| USER_DATA | 1 | cursor->image.fg_color | 0-15[c] |
| USER_DATA | 1 | cursor->image.height | 2-128[c] |
| USER_DATA | 1 | cursor->image.width | 1-64[c] |
| HALF_LOCKED2 | global &console_sem |
drivers/video/fbdev/core/bitblit.c bit_cursor() -> (struct fb_ops)->fb_cursor()
| 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->cursor | 868574231927816192,1057466323525296128,5348809894935224320,6414243839333818368,8306283402744143872 |
| PARAM_VALUE | 0 | info->fbcon_par->cursor_state.enable | 0-1 |
| PARAM_VALUE | 0 | info->fbcon_par->cursor_state.hot.x | 0 |
| PARAM_VALUE | 0 | info->fbcon_par->cursor_state.image.bg_color | 0-255 |
| PARAM_VALUE | 0 | info->fbcon_par->cursor_state.image.data | 4096-ptr_max |
| PARAM_VALUE | 0 | info->fbcon_par->cursor_state.image.fg_color | 0-255 |
| PARAM_VALUE | 0 | info->fbcon_par->cursor_state.mask | 1-u64max |
| PARAM_VALUE | 0 | info->fbcon_par->p | 4096-ptr_max |
| PARAM_VALUE | 0 | info->fbops | 4096-ptr_max |
| PARAM_VALUE | 0 | info->fbops->fb_cursor | 1-u64max |
| PARAM_VALUE | 1 | cursor | 7249373188548034560 |
| PARAM_VALUE | 1 | cursor->enable | 0-1 |
| PARAM_VALUE | 1 | cursor->hot.x | 0 |
| PARAM_VALUE | 1 | cursor->image.bg_color | 0-255 |
| PARAM_VALUE | 1 | cursor->image.data | 16,4096-ptr_max |
| PARAM_VALUE | 1 | cursor->image.depth | 1 |
| PARAM_VALUE | 1 | cursor->image.fg_color | 0-255 |
| PARAM_VALUE | 1 | cursor->mask | 1-u64max |
| PARAM_VALUE | 1 | cursor->rop | 1 |
| PARAM_VALUE | 1 | cursor->set | 0-63 |
| CAPPED_DATA | 0 | info | 1 |
| DATA_SOURCE | 0 | info | $1 |
| FUZZY_MAX | 0 | info->fbcon_par->cursor_state.enable | 1 |
| CONTAINER | 0 | -112-1416+0 | $(-1) |
| HARD_MAX | 0 | info->fbcon_par->cursor_state.enable | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | cursor->image.bg_color | 0-15[c] |
| USER_DATA | 1 | cursor->image.fg_color | 0-15[c] |
| USER_DATA | 1 | cursor->image.height | 2-128[c] |
| USER_DATA | 1 | cursor->image.width | 1-64[c] |
| HALF_LOCKED2 | global &console_sem |
drivers/video/fbdev/core/fbcon_ccw.c ccw_cursor() -> (struct fb_ops)->fb_cursor()
| 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->cursor | 868574231927816192,1057466323525296128,5348809894935224320,6414243839333818368,8306283402744143872 |
| PARAM_VALUE | 0 | info->fbcon_par->cursor_state.enable | 0-1 |
| PARAM_VALUE | 0 | info->fbcon_par->cursor_state.hot.x | 0 |
| PARAM_VALUE | 0 | info->fbcon_par->cursor_state.image.bg_color | 0-255 |
| PARAM_VALUE | 0 | info->fbcon_par->cursor_state.image.data | 4096-ptr_max |
| PARAM_VALUE | 0 | info->fbcon_par->cursor_state.image.fg_color | 0-255 |
| PARAM_VALUE | 0 | info->fbcon_par->cursor_state.mask | 1-u64max |
| PARAM_VALUE | 0 | info->fbcon_par->p | 4096-ptr_max |
| PARAM_VALUE | 0 | info->fbcon_par->p->scrollmode | 1-5 |
| PARAM_VALUE | 0 | info->fbcon_par->rotated.buf | 1-u64max |
| PARAM_VALUE | 0 | info->fbops | 4096-ptr_max |
| PARAM_VALUE | 0 | info->fbops->fb_cursor | 1-u64max |
| PARAM_VALUE | 1 | cursor | 8685917658136104960 |
| PARAM_VALUE | 1 | cursor->enable | 0-1 |
| PARAM_VALUE | 1 | cursor->hot.x | 0 |
| PARAM_VALUE | 1 | cursor->image.bg_color | 0-255 |
| PARAM_VALUE | 1 | cursor->image.data | 16,4096-ptr_max |
| PARAM_VALUE | 1 | cursor->image.depth | 1 |
| PARAM_VALUE | 1 | cursor->image.fg_color | 0-255 |
| PARAM_VALUE | 1 | cursor->mask | 1-u64max |
| PARAM_VALUE | 1 | cursor->rop | 1 |
| PARAM_VALUE | 1 | cursor->set | 0-63 |
| CAPPED_DATA | 0 | info | 1 |
| DATA_SOURCE | 0 | info | $1 |
| FUZZY_MAX | 0 | info->fbcon_par->cursor_state.enable | 1 |
| CONTAINER | 0 | -112-1416+0 | $(-1) |
| HARD_MAX | 0 | info->fbcon_par->cursor_state.enable | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | cursor->image.bg_color | 0-15[c] |
| USER_DATA | 1 | cursor->image.fg_color | 0-15[c] |
| USER_DATA | 1 | cursor->image.height | 1-64[c] |
| USER_DATA | 1 | cursor->image.width | 2-128[c] |
| HALF_LOCKED2 | global &console_sem |
drivers/video/fbdev/core/fbcon_cw.c cw_cursor() -> (struct fb_ops)->fb_cursor()
| 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->cursor | 868574231927816192,1057466323525296128,5348809894935224320,6414243839333818368,8306283402744143872 |
| PARAM_VALUE | 0 | info->fbcon_par->cursor_state.enable | 0-1 |
| PARAM_VALUE | 0 | info->fbcon_par->cursor_state.hot.x | 0 |
| PARAM_VALUE | 0 | info->fbcon_par->cursor_state.image.bg_color | 0-255 |
| PARAM_VALUE | 0 | info->fbcon_par->cursor_state.image.data | 4096-ptr_max |
| PARAM_VALUE | 0 | info->fbcon_par->cursor_state.image.fg_color | 0-255 |
| PARAM_VALUE | 0 | info->fbcon_par->cursor_state.mask | 1-u64max |
| PARAM_VALUE | 0 | info->fbcon_par->p | 4096-ptr_max |
| PARAM_VALUE | 0 | info->fbcon_par->p->scrollmode | 1-5 |
| PARAM_VALUE | 0 | info->fbcon_par->rotated.buf | 1-u64max |
| PARAM_VALUE | 0 | info->fbops | 4096-ptr_max |
| PARAM_VALUE | 0 | info->fbops->fb_cursor | 1-u64max |
| PARAM_VALUE | 1 | cursor | 6807754507794952192 |
| PARAM_VALUE | 1 | cursor->enable | 0-1 |
| PARAM_VALUE | 1 | cursor->hot.x | 0 |
| PARAM_VALUE | 1 | cursor->image.bg_color | 0-255 |
| PARAM_VALUE | 1 | cursor->image.data | 16,4096-ptr_max |
| PARAM_VALUE | 1 | cursor->image.depth | 1 |
| PARAM_VALUE | 1 | cursor->image.fg_color | 0-255 |
| PARAM_VALUE | 1 | cursor->mask | 1-u64max |
| PARAM_VALUE | 1 | cursor->rop | 1 |
| PARAM_VALUE | 1 | cursor->set | 0-63 |
| CAPPED_DATA | 0 | info | 1 |
| DATA_SOURCE | 0 | info | $1 |
| FUZZY_MAX | 0 | info->fbcon_par->cursor_state.enable | 1 |
| CONTAINER | 0 | -112-1416+0 | $(-1) |
| HARD_MAX | 0 | info->fbcon_par->cursor_state.enable | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | cursor->image.bg_color | 0-15[c] |
| USER_DATA | 1 | cursor->image.fg_color | 0-15[c] |
| USER_DATA | 1 | cursor->image.height | 1-64[c] |
| USER_DATA | 1 | cursor->image.width | 2-128[c] |
| HALF_LOCKED2 | global &console_sem |