Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/drm_drv.c drm_dev_release() -> (struct drm_driver)->release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->debugfs_root | 0 |
| PARAM_VALUE | 0 | dev->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->driver->release | 1-u64max |
| PARAM_VALUE | 0 | *dev->debugfs_root->d_inode->i_hash.next->pprev | 1-u64max |
| PARAM_VALUE | 0 | *dev->debugfs_root->d_inode->i_sb->s_fs_info->nm_info->nat_root.xa_head | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *dev->debugfs_root->d_inode->i_sb->s_fs_info->wbuf_verify | 0-255 |
| CONTAINER | 0 | -32-120+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | global &component_mutex | ||
| HALF_LOCKED2 | global &xenwatch_mutex |