Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/drm_framebuffer.c drm_mode_getfb() -> (struct drm_framebuffer_funcs)->create_handle()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fb | 4096-ptr_max |
| PARAM_VALUE | 0 | fb->format | 4096-ptr_max |
| PARAM_VALUE | 0 | fb->format->num_planes | 0-1 |
| PARAM_VALUE | 0 | fb->funcs | 4096-ptr_max |
| PARAM_VALUE | 0 | fb->funcs->create_handle | 136021296690790400,489985966628564992,1324109970670620672,2867967462721433600,3616651681677144064 |
| PARAM_VALUE | 0 | fb->pitches | 4096-ptr_max |
| PARAM_VALUE | 1 | file | 4096-ptr_max |
| PARAM_VALUE | 1 | file->master_lookup_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | file->minor | 4096-ptr_max |
| PARAM_VALUE | 1 | file->minor->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | file->minor->dev->unplugged | 0 |
| PARAM_VALUE | 2 | handle | 4096-ptr_max |
| BUF_SIZE | 1 | file | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | file | s32min-(-2),1-s32max |
| DATA_SOURCE | 0 | fb | r drm_framebuffer_lookup |
| DATA_SOURCE | 1 | file | $2 |
| FUZZY_MAX | 0 | fb->format->num_planes | 1 |
| CONTAINER | 0 | -8-80+0 | $(-1) |
| HARD_MAX | 0 | fb->format->num_planes | 1 |
| USER_DATA | 2 | *handle | 0-u32max[u] |
| USER_PTR | 2 | handle |
drivers/gpu/drm/drm_framebuffer.c drm_mode_getfb2_ioctl() -> (struct drm_framebuffer_funcs)->create_handle()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fb | 4096-ptr_max |
| PARAM_VALUE | 0 | fb->format | 4096-ptr_max |
| PARAM_VALUE | 0 | fb->format->num_planes | 1-255 |
| PARAM_VALUE | 0 | fb->funcs | 4096-ptr_max |
| PARAM_VALUE | 0 | fb->funcs->create_handle | 0,136021296690790400,489985966628564992,1324109970670620672,2867967462721433600,3616651681677144064 |
| PARAM_VALUE | 0 | fb->obj | 4096-ptr_max |
| PARAM_VALUE | 1 | file | 4096-ptr_max |
| PARAM_VALUE | 1 | file->master_lookup_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | file->minor | 4096-ptr_max |
| PARAM_VALUE | 1 | file->minor->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | file->minor->dev->unplugged | 0 |
| PARAM_VALUE | 2 | handle | 4096-ptr_max |
| PARAM_VALUE | 2 | *handle | 0 |
| BUF_SIZE | 1 | file | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | file | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | fb->format->num_planes | 1 |
| DATA_SOURCE | 0 | fb | r drm_framebuffer_lookup |
| DATA_SOURCE | 1 | file | $2 |
| CONTAINER | 0 | -8-80+0 | $(-1) |
| USER_DATA | 2 | *handle | 0 |
| USER_PTR | 2 | handle |