Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/gpu/drm/vkms/vkms_configfs.c device_enabled_store() -> vkms_destroy()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &buffer->mutex
LOCK2 &frag->frag_sem
LOCK2 _T->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct configfs_buffer)->mutex
TYPE_LOCK (struct configfs_fragment)->frag_sem

drivers/gpu/drm/vkms/vkms_configfs.c device_release() -> vkms_destroy()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dentry->d_inode->i_rwsem
HALF_LOCKED2 &dentry->d_lockref.lock
HALF_LOCKED2 &dir->i_rwsem
HALF_LOCKED2 &hba->hba_access_mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &opts->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &subsys->su_mutex
HALF_LOCKED2 &target->i_rwsem
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &dynamic_netconsole_mutex
HALF_LOCKED2 global &func_lock
HALF_LOCKED2 global &target_cleanup_list_lock
HALF_LOCKED2 global &target_list_lock
HALF_LOCKED2 su_mutex

drivers/gpu/drm/vkms/vkms_drv.c vkms_exit() -> vkms_destroy()

Type Parameter Key Value
PARAM_VALUE 0 config 4096-ptr_max
NOCHECK_CALL