Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/block/null_blk/main.c null_create_dev() -> null_free_dev()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->badblocks.count 0
PARAM_VALUE 0 dev->badblocks.dev 0
PARAM_VALUE 0 dev->badblocks.page 4096-ptr_max
PARAM_VALUE 0 dev->badblocks.shift (-1)
PARAM_VALUE 0 dev->blocking 1
PARAM_VALUE 0 dev->blocksize 512
PARAM_VALUE 0 dev->cache.xa_flags 2080
PARAM_VALUE 0 dev->cache.xa_head 0
PARAM_VALUE 0 dev->cache_size 0
PARAM_VALUE 0 dev->completion_nsec 10000
PARAM_VALUE 0 dev->data.xa_flags 2080
PARAM_VALUE 0 dev->data.xa_head 0
PARAM_VALUE 0 dev->fua 1
PARAM_VALUE 0 dev->hw_queue_depth 64
PARAM_VALUE 0 dev->irqmode 0-2
PARAM_VALUE 0 dev->mbps 0-40960
PARAM_VALUE 0 dev->queue_mode 2-u32max
PARAM_VALUE 0 dev->size 0-s32max,18446744071562067968-u64max
PARAM_VALUE 0 dev->zone_size 256
BUF_SIZE 0 dev 1776
DATA_SOURCE 0 dev r null_alloc_dev
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dev->nr_zones

drivers/block/null_blk/main.c null_destroy_dev() -> null_free_dev()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 global &lock

drivers/block/null_blk/main.c nullb_device_release() -> null_free_dev()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev r to_nullb_device
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