Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/dma-buf/dma-buf.c dma_buf_release() -> (struct dma_buf_ops)->release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dbuf | 4096-ptr_max |
| PARAM_VALUE | 0 | dbuf->cb_in.active | 0 |
| PARAM_VALUE | 0 | dbuf->cb_out.active | 0 |
| PARAM_VALUE | 0 | dbuf->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | dbuf->vmapping_counter | 0 |
| BUF_SIZE | 0 | dbuf | 1-s32max |
| BUF_SIZE | 0 | dbuf | 1-s32max |
| CONTAINER | 0 | -48-32+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dentry->d_inode->i_rwsem | ||
| HALF_LOCKED2 | &dentry->d_sb->s_vfs_rename_mutex |
drivers/gpu/drm/vmwgfx/ttm_object.c ttm_prime_dmabuf_release() -> (struct ttm_object_device)->dmabuf_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dbuf | 4096-ptr_max |
| BUF_SIZE | 0 | dbuf | (-1),1-s32max |
| BUF_SIZE | 0 | dbuf | (-1),1-s32max |
| DATA_SOURCE | 0 | dbuf | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |