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.c con2fb_init_display() -> fbcon_set_disp()
| 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->bmove | 358624830283558912,720436299731693568,831468009678733312,5647362587788095488,8504779760420265984 |
| PARAM_VALUE | 0 | info->fbcon_par->bitops->clear | 521403232646520832,551109980336709632,2946937881798750208,5928266012869279744,8021089253971767296 |
| PARAM_VALUE | 0 | info->fbcon_par->bitops->clear_margins | 2332376742054326272,3869344602472914944,6310568554524909568,7948939035621462016,8218489519675916288 |
| PARAM_VALUE | 0 | info->fbcon_par->bitops->cursor | 868574231927816192,1057466323525296128,5348809894935224320,6414243839333818368,8306283402744143872 |
| PARAM_VALUE | 0 | info->fbcon_par->bitops->putcs | 2160703045434204160,3282196084730585088,3915716234231488512,5524593610357645312,5974748255006371840 |
| PARAM_VALUE | 0 | info->fbcon_par->bitops->rotate_font | 0,2820989491178905600 |
| PARAM_VALUE | 0 | info->fbcon_par->bitops->update_start | 1284623903226216448,2343379461867827200,5536275800052752384,8034552877633937408,8573967883634688000 |
| PARAM_VALUE | 0 | info->fbcon_par->currcon | 0-u16max |
| PARAM_VALUE | 0 | info->fbcon_par->graphics | 0 |
| PARAM_VALUE | 0 | info->fbcon_par->initialized | 1 |
| PARAM_VALUE | 0 | info->fbops | 4096-ptr_max |
| PARAM_VALUE | 1 | var | 4096-ptr_max |
| PARAM_VALUE | 2 | unit | 0-62 |
| CAPPED_DATA | 0 | info | 1 |
| CAPPED_DATA | 2 | unit | 1 |
| DATA_SOURCE | 0 | info | $1 |
| DATA_SOURCE | 2 | unit | $2 |
| FUZZY_MAX | 2 | unit | 62 |
| NOSPEC | 2 | unit | |
| NOSPEC | 2 | unit | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 2 | unit | 0-62[c] |
| NO_OVERFLOW_SIMPLE | 0 | info->fbdefio_state->npagerefs | |
| HALF_LOCKED2 | global &console_sem | ||
| HALF_LOCKED2 | global ®istration_lock | ||
| HALF_LOCKED2 | global &vgasr_mutex |
drivers/video/fbdev/core/fbcon.c fbcon_new_modelist() -> fbcon_set_disp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | info | 4096-ptr_max |
| PARAM_VALUE | 0 | info->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | info->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | info->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | info->lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | info->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | info->modelist.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | info->modelist.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | info->modelist.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | info->modelist.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | var | 8082691066344452096 |
| PARAM_VALUE | 1 | var->vmode | 0-255 |
| PARAM_VALUE | 1 | var->xoffset | 0 |
| PARAM_VALUE | 1 | var->yoffset | 0 |
| BUF_SIZE | 0 | info | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | info | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | info | 1 |
| CAPPED_DATA | 0 | &info->modelist | 1 |
| DATA_SOURCE | 0 | info | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | info->var.xres | |
| NO_OVERFLOW_SIMPLE | 0 | info->var.xres_virtual | |
| NO_OVERFLOW_SIMPLE | 0 | info->var.yres | |
| NO_OVERFLOW_SIMPLE | 0 | info->var.yres_virtual | |
| NO_OVERFLOW_SIMPLE | 1 | var->xres | |
| NO_OVERFLOW_SIMPLE | 1 | var->xres_virtual | |
| NO_OVERFLOW_SIMPLE | 1 | var->yres | |
| NO_OVERFLOW_SIMPLE | 1 | var->yres_virtual | |
| UNITS | 0 | info | unit_byte |
| UNITS | 2 | unit | unit_array_size |
| LOCK2 | &of->mutex | ||
| LOCK2 | global &console_sem | ||
| LOCK2 | 0 | &info->lock | |
| HALF_LOCKED2 | &of->prealloc_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct fb_info)->lock | ||
| TYPE_LOCK | (struct kernfs_open_file)->mutex |