Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/xen/xen_drm_front_gem.c gem_create() -> gem_free_pages_array()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xen_obj | 4096-ptr_max |
| PARAM_VALUE | 0 | xen_obj->base._resv.fences | 0 |
| PARAM_VALUE | 0 | xen_obj->base._resv.lock.base.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xen_obj->base._resv.lock.base.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | xen_obj->base._resv.lock.ctx | 0 |
| PARAM_VALUE | 0 | xen_obj->base._resv.lock.ww_class | 8825623990767841280 |
| PARAM_VALUE | 0 | xen_obj->base._resv.lock.ww_class->acquire_name | 4096-ptr_max |
| PARAM_VALUE | 0 | xen_obj->base._resv.lock.ww_class->is_wait_die | 0-s32max |
| PARAM_VALUE | 0 | xen_obj->base._resv.lock.ww_class->mutex_name | 4096-ptr_max |
| PARAM_VALUE | 0 | xen_obj->base.dev | 4096-ptr_max |
| PARAM_VALUE | 0 | xen_obj->base.filp | 4096-ptr_max |
| PARAM_VALUE | 0 | xen_obj->base.funcs | 7841167688512135168 |
| PARAM_VALUE | 0 | xen_obj->base.gpuva.list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | xen_obj->base.gpuva.list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | xen_obj->base.gpuva.list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | xen_obj->base.gpuva.list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | xen_obj->base.gpuva.list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | xen_obj->base.gpuva.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xen_obj->base.gpuva.lock.first_waiter | 0 |
| PARAM_VALUE | 0 | xen_obj->base.gpuva.lock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | xen_obj->base.gpuva.lock.owner.counter | 0 |
| PARAM_VALUE | 0 | xen_obj->base.handle_count | 0 |
| PARAM_VALUE | 0 | xen_obj->base.lru_node.next | 4096-ptr_max |
| PARAM_VALUE | 0 | xen_obj->base.lru_node.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | xen_obj->base.lru_node.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | xen_obj->base.lru_node.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | xen_obj->base.lru_node.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | xen_obj->base.refcount.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | xen_obj->base.resv | 1-u64max |
| PARAM_VALUE | 0 | xen_obj->base.resv->fences | 0 |
| PARAM_VALUE | 0 | xen_obj->base.resv->lock.base.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | xen_obj->base.resv->lock.ctx | 0 |
| PARAM_VALUE | 0 | xen_obj->base.resv->lock.ww_class | 8825623990767841280 |
| PARAM_VALUE | 0 | xen_obj->base.size | 0-9223372036854775807 |
| PARAM_VALUE | 0 | xen_obj->base.vma_node.driver_private | 0 |
| PARAM_VALUE | 0 | xen_obj->base.vma_node.vm_files.rb_node | 0 |
| PARAM_VALUE | 0 | xen_obj->base.vma_node.vm_lock.magic | 3736018669 |
| PARAM_VALUE | 0 | xen_obj->base.vma_node.vm_lock.owner | (-1) |
| PARAM_VALUE | 0 | xen_obj->base.vma_node.vm_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | xen_obj->base.vma_node.vm_node.color | 0 |
| PARAM_VALUE | 0 | xen_obj->base.vma_node.vm_node.flags | 0 |
| PARAM_VALUE | 0 | xen_obj->base.vma_node.vm_node.mm | 0 |
| PARAM_VALUE | 0 | xen_obj->base.vma_node.vm_node.size | 0 |
| PARAM_VALUE | 0 | xen_obj->base.vma_node.vm_node.stack | 0 |
| PARAM_VALUE | 0 | xen_obj->base.vma_node.vm_node.start | 0 |
| PARAM_VALUE | 0 | xen_obj->num_pages | 1-u32max |
| PARAM_VALUE | 0 | xen_obj->pages | 1-18446744073709551614 |
| PARAM_VALUE | 0 | *xen_obj->pages | 4096-ptr_max |
| BUF_SIZE | 0 | xen_obj | 736 |
| CAPPED_DATA | 0 | xen_obj->num_pages | 1 |
| DATA_SOURCE | 0 | xen_obj | r gem_create_obj |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | xen_obj->base.dev->num_crtcs | |
| NO_OVERFLOW_SIMPLE | 0 | xen_obj->num_pages |
drivers/gpu/drm/xen/xen_drm_front_gem.c xen_drm_front_gem_free_object_unlocked() -> gem_free_pages_array()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xen_obj | 4096-ptr_max |
| PARAM_VALUE | 0 | xen_obj->base.import_attach | 4096-ptr_max |
| PARAM_VALUE | 0 | xen_obj->base.import_attach->dmabuf->file->f_cred->process_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | xen_obj->base.import_attach->dmabuf->file->f_cred->process_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | xen_obj->base.import_attach->dmabuf->file->f_cred->request_key_auth->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | xen_obj->base.import_attach->dmabuf->file->f_cred->request_key_auth->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | xen_obj->base.import_attach->dmabuf->file->f_cred->session_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | xen_obj->base.import_attach->dmabuf->file->f_cred->session_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | xen_obj->base.import_attach->dmabuf->file->f_cred->thread_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | xen_obj->base.import_attach->dmabuf->file->f_cred->thread_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | xen_obj->base.import_attach->dmabuf->priv->comp.done | 0-4294967295 |
| PARAM_VALUE | 0 | xen_obj->base.import_attach->dmabuf->priv->comp.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xen_obj->base.import_attach->dmabuf->priv->comp.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | xen_obj->base.import_attach->dmabuf->priv->comp.wait.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | xen_obj->base.import_attach->dmabuf->priv->comp.wait.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | xen_obj->base.import_attach->dmabuf->priv->dev->gem_lru_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | xen_obj->base.import_attach->dmabuf->priv->kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | xen_obj->base.import_attach->dmabuf->priv->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xen_obj->base.import_attach->dmabuf->priv->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | xen_obj->base.import_attach->dmabuf->priv->lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | xen_obj->base.import_attach->dmabuf->priv->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | xen_obj->base.import_attach->dmabuf->priv->resv->fences->max_fences | 0-4294967295 |
| PARAM_VALUE | 0 | xen_obj->base.import_attach->dmabuf->priv->resv->lock.base.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xen_obj->base.import_attach->dmabuf->priv->resv->lock.base.osq.tail.counter | s32min-s32max |
| PARAM_VALUE | 0 | xen_obj->base.import_attach->dmabuf->resv->fences->max_fences | 0-4294967295 |
| PARAM_VALUE | 0 | xen_obj->base.import_attach->dmabuf->resv->lock.base.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xen_obj->base.import_attach->dmabuf->resv->lock.base.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | xen_obj->base.import_attach->dmabuf->resv->lock.base.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | xen_obj->base.import_attach->dmabuf->resv->lock.ww_class->is_wait_die | 0-1 |
| CAPPED_DATA | 0 | xen_obj->base.import_attach | 1 |
| DATA_SOURCE | 0 | xen_obj | r to_xen_gem_obj |
| NOCHECK_CALL |
drivers/gpu/drm/xen/xen_drm_front_gem.c xen_drm_front_gem_free_object_unlocked() -> gem_free_pages_array()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xen_obj | 4096-ptr_max |
| PARAM_VALUE | 0 | xen_obj->base.import_attach | 0 |
| PARAM_VALUE | 0 | xen_obj->be_alloc | 1 |
| PARAM_VALUE | 0 | xen_obj->pages | 1-u64max |
| CAPPED_DATA | 0 | xen_obj->num_pages | 1 |
| DATA_SOURCE | 0 | xen_obj | r to_xen_gem_obj |
| NOCHECK_CALL |