Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/video/fbdev/core/fbmem.c unlink_framebuffer() -> unbind_console()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fb_info | 4096-ptr_max |
| PARAM_VALUE | 0 | fb_info->bl_dev->ops | 0-s64max |
| PARAM_VALUE | 0 | fb_info->dev | 0 |
| PARAM_VALUE | 0 | fb_info->fbdefio_state->npagerefs | 0-s64max |
| PARAM_VALUE | 0 | fb_info->node | 0-31 |
| BUF_SIZE | 0 | fb_info | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | fb_info | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | fb_info->device | (-1),1616 |
| BUF_SIZE | 0 | fb_info->fbdefio | (-1),32 |
| BUF_SIZE | 0 | fb_info->fbops | (-1),168 |
| BUF_SIZE | 0 | fb_info->par | (-1),2,4,16,24,32,128,216,248,256,1288,1984,2560 |
| BUF_SIZE | 0 | fb_info->pseudo_palette | (-1),68 |
| CAPPED_DATA | 0 | fb_info | 1 |
| DATA_SOURCE | 0 | fb_info | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | fb_info->fbdefio_state->npagerefs | |
| NO_OVERFLOW_SIMPLE | 0 | fb_info->fix.mmio_len | |
| UNITS | 0 | fb_info | unit_byte |
| LOCK2 | global ®istration_lock | ||
| HALF_LOCKED2 | &dev->clientlist_mutex | ||
| HALF_LOCKED2 | &dev->reclaim_sem | ||
| HALF_LOCKED2 | &hdev->driver_input_lock | ||
| HALF_LOCKED2 | global &disconnect_mutex |