Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/vmwgfx/vmwgfx_ioctl.c vmw_present_ioctl() -> vmw_kms_present()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev_priv | 4096-ptr_max |
| PARAM_VALUE | 1 | file_priv | 4096-ptr_max |
| PARAM_VALUE | 1 | file_priv->master_lookup_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | file_priv->minor | 4096-ptr_max |
| PARAM_VALUE | 1 | file_priv->minor->dev | 4096-ptr_max |
| PARAM_VALUE | 2 | vfb | 4096-ptr_max |
| PARAM_VALUE | 3 | surface | 4096-ptr_max |
| PARAM_VALUE | 7 | clips | 4096-ptr_max |
| PARAM_VALUE | 8 | num_clips | 1-u32max |
| BUF_SIZE | 1 | file_priv | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | file_priv | s32min-(-2),1-s32max |
| BUF_SIZE | 7 | clips | 16-68719476720 |
| BUF_SIZE | 7 | clips | 16-68719476720 |
| CAPPED_DATA | 4 | sid | 1 |
| DATA_SOURCE | 0 | dev_priv | r vmw_priv |
| DATA_SOURCE | 1 | file_priv | $2 |
| DATA_SOURCE | 3 | surface | r vmw_res_to_srf |
| DATA_SOURCE | 7 | clips | r _kzalloc_noprof |
| USER_DATA | 4 | sid | 0-u32max[c] |
| USER_DATA | 5 | destX | s32min-s32max[u] |
| USER_DATA | 6 | destY | s32min-s32max[u] |
| USER_DATA | 7 | clips->h | 0-u32max |
| USER_DATA | 7 | clips->w | 0-u32max |
| USER_DATA | 7 | clips->x | s32min-s32max |
| USER_DATA | 7 | clips->y | s32min-s32max |
| USER_DATA | 8 | num_clips | 1-u32max[u] |
| UNITS | 8 | num_clips | unit_array_size |
| ELEM_COUNT | 7 | ==clips8 | 8051 |
| USER_PTR | 7 | clips | |
| LOCK2 | &dev->mode_config.mutex | ||
| TYPE_LOCK | (struct drm_mode_config)->mutex |