Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/gpu/drm/virtio/virtgpu_ioctl.c virtio_gpu_transfer_from_host_ioctl() -> virtio_gpu_array_from_handles()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drm_file | 4096-ptr_max |
| PARAM_VALUE | 0 | drm_file->driver_priv | 4096-ptr_max |
| PARAM_VALUE | 0 | drm_file->driver_priv->context_created | 1 |
| PARAM_VALUE | 0 | drm_file->driver_priv->context_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | drm_file->driver_priv->context_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | drm_file->driver_priv->context_lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | drm_file->driver_priv->context_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | drm_file->driver_priv->context_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | drm_file->driver_priv->context_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | drm_file->driver_priv->context_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | drm_file->master_lookup_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | drm_file->minor | 4096-ptr_max |
| PARAM_VALUE | 0 | drm_file->minor->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | handles | 4096-ptr_max |
| PARAM_VALUE | 2 | nents | 1 |
| BUF_SIZE | 0 | drm_file | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | drm_file | s32min-(-2),1-s32max |
| DATA_SOURCE | 0 | drm_file | $2 |
| USER_DATA | 1 | *handles | 0-u32max[u] |
| USER_PTR | 1 | handles |
drivers/gpu/drm/virtio/virtgpu_ioctl.c virtio_gpu_transfer_to_host_ioctl() -> virtio_gpu_array_from_handles()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drm_file | 4096-ptr_max |
| PARAM_VALUE | 0 | drm_file->master_lookup_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | drm_file->minor | 4096-ptr_max |
| PARAM_VALUE | 0 | drm_file->minor->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | handles | 4096-ptr_max |
| PARAM_VALUE | 2 | nents | 1 |
| BUF_SIZE | 0 | drm_file | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | drm_file | s32min-(-2),1-s32max |
| DATA_SOURCE | 0 | drm_file | $2 |
| USER_DATA | 1 | *handles | 0-u32max[u] |
| USER_PTR | 1 | handles |
drivers/gpu/drm/virtio/virtgpu_submit.c virtio_gpu_init_submit_buflist() -> virtio_gpu_array_from_handles()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | drm_file | 4096-ptr_max |
| PARAM_VALUE | 0 | drm_file->driver_priv | 4096-ptr_max |
| PARAM_VALUE | 0 | drm_file->minor | 4096-ptr_max |
| PARAM_VALUE | 1 | handles | 1-18446744073709551614 |
| PARAM_VALUE | 2 | nents | 1-536870911 |
| BUF_SIZE | 0 | drm_file | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | drm_file | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | handles | 4 |
| DATA_SOURCE | 1 | handles | r _kvmalloc_array_node_noprof |
| USER_DATA | 1 | *handles | 0-u32max |
| USER_DATA | 2 | nents | 1-536870911[u] |
| USER_PTR | 1 | handles |