Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/video/fbdev/core/fbmem.c do_unregister_framebuffer() -> unlink_framebuffer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fb_info->dev->kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | fb_info->dev->kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| 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 |
| DATA_SOURCE | 0 | fb_info | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | fb_info->fbdefio_state->npagerefs | |
| 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 |