Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 10 files:
- block/bdev.c
- block/fops.c
- block/ioctl.c
- drivers/block/loop.c
- drivers/block/zram/zram_drv.c, line 779
- drivers/target/target_core_file.c
- drivers/usb/gadget/function/storage_common.c, line 236
- fs/pstore/blk.c, line 225
- mm/backing-dev.c, line 1211
- mm/swapfile.c, line 3409
Smatch caller information:
mm/swapfile.c claim_swapfile() -> I_BDEV()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| DATA_SOURCE | 0 | inode | $1 |
| CAPABLE | 0 | 21 |
mm/backing-dev.c inode_to_bdi() -> I_BDEV()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| BUF_SIZE | 0 | inode->i_data.a_ops | (-1),152 |
| BUF_SIZE | 0 | inode->i_fop | (-1)-0,272 |
| BUF_SIZE | 0 | inode->i_link | (-1),1-255 |
| BUF_SIZE | 0 | inode->i_mapping->a_ops | (-1),152 |
| BUF_SIZE | 0 | inode->i_op | (-1),256 |
| BUF_SIZE | 0 | inode->i_sb | (-1),80,2752,2816 |
| DATA_SOURCE | 0 | inode | $0 |
| STR_LEN | 0 | inode | (-1)-24,26-27,29,31-32,63,99,115,254 |
| STR_LEN | 0 | inode | (-1)-24,26-27,29,31-32,63,99,115,254 |
| STR_LEN | 0 | inode->i_sb | (-1),8 |
| NOSPEC | 0 | inode->i_bytes | |
| NOSPEC | 0 | inode->i_ino | |
| NOSPEC | 0 | inode->i_mode | |
| NOSPEC | 0 | inode->i_size | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | inode->__i_nlink | 1-u32max |
| USER_DATA | 0 | inode->i_atime_nsec | 0-u32max |
| USER_DATA | 0 | inode->i_atime_sec | 0-4294967295 |
| USER_DATA | 0 | inode->i_blocks | 0-18014398515341359,18428729675200069632-u64max |
| USER_DATA | 0 | inode->i_bytes | 0-65023[c] |
| USER_DATA | 0 | inode->i_ino | 0-u64max |
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_mtime_nsec | 0-u32max |
| USER_DATA | 0 | inode->i_mtime_sec | 0-4294967295 |
| USER_DATA | 0 | inode->i_rdev | 0-u32max[c] |
| USER_DATA | 0 | inode->i_sb->s_flags | 0-u64max[c] |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_data.host->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_linklen | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_mapping->host->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize_bits | |
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &sdp->sd_log_flush_lock | ||
| HALF_LOCKED2 | irq | ||
| HALF_LOCKED2 | rcu_read | ||
| HALF_LOCKED2 | 0 | &inode->i_lock | |
| HALF_LOCKED2 | 0 | &inode->i_mapping->invalidate_lock | |
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
fs/pstore/blk.c __register_pstore_blk() -> I_BDEV()
| Type | Parameter | Key | Value |
|---|---|---|---|
| LOCK2 | global &pstore_blk_lock |
drivers/block/loop.c loop_get_discard_config() -> I_BDEV()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| LOCK2 | &lo->lo_mutex | ||
| LOCK2 | &lo->lo_queue->limits_lock | ||
| TYPE_LOCK | (struct loop_device)->lo_mutex | ||
| TYPE_LOCK | (struct request_queue)->limits_lock |
drivers/block/loop.c loop_update_limits() -> I_BDEV()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| LOCK2 | &lo->lo_mutex | ||
| LOCK2 | &lo->lo_queue->limits_lock | ||
| TYPE_LOCK | (struct loop_device)->lo_mutex | ||
| TYPE_LOCK | (struct request_queue)->limits_lock |
drivers/block/loop.c loop_validate_file() -> I_BDEV()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| LOCK2 | &lo->lo_mutex | ||
| TYPE_LOCK | (struct loop_device)->lo_mutex |
block/ioctl.c blkdev_bszset() -> I_BDEV()
| Type | Parameter | Key | Value |
|---|
block/ioctl.c blkdev_cmd_discard() -> I_BDEV()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &ctx->uring_lock |
block/ioctl.c blkdev_cmd_zone_reset_all() -> I_BDEV()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &ctx->uring_lock |
block/ioctl.c blkdev_ioctl() -> I_BDEV()
| Type | Parameter | Key | Value |
|---|
block/ioctl.c compat_blkdev_ioctl() -> I_BDEV()
| Type | Parameter | Key | Value |
|---|
block/bdev.c bdev_alloc() -> I_BDEV()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 0 | inode->i_data.a_ops | 144 |
| DATA_SOURCE | 0 | inode | r new_inode |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_sb->s_blocksize_bits |
block/bdev.c bdev_free_inode() -> I_BDEV()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu |
block/bdev.c file_bdev() -> I_BDEV()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &adm_ctx->resource->adm_mutex | ||
| HALF_LOCKED2 | &buffer->mutex | ||
| HALF_LOCKED2 | &disk->open_mutex | ||
| HALF_LOCKED2 | &frag->frag_sem | ||
| HALF_LOCKED2 | &md->table_devices_lock | ||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | &sbi->devs->rwsem | ||
| HALF_LOCKED2 | &srv_dev->lock | ||
| HALF_LOCKED2 | &srv_sess->lock | ||
| HALF_LOCKED2 | &subsys->lock | ||
| HALF_LOCKED2 | global &bch_register_lock | ||
| HALF_LOCKED2 | global &device_hotplug_lock | ||
| HALF_LOCKED2 | global &jfs_log_mutex | ||
| HALF_LOCKED2 | global &nvmet_config_sem | ||
| HALF_LOCKED2 | global &system_transition_mutex | ||
| HALF_LOCKED2 | global &uuid_mutex | ||
| HALF_LOCKED2 | global &xenwatch_mutex | ||
| HALF_LOCKED2 | rcu_read |
block/bdev.c set_blocksize() -> I_BDEV()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | global &uuid_mutex |
block/bdev.c sync_bdevs() -> I_BDEV()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| CAPPED_DATA | 0 | &inode->i_sb_list | 1 |
drivers/block/zram/zram_drv.c backing_dev_store() -> I_BDEV()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &of->mutex | ||
| LOCK2 | _T->lock | ||
| HALF_LOCKED2 | &of->prealloc_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct kernfs_open_file)->mutex |
drivers/usb/gadget/function/storage_common.c fsg_lun_open() -> I_BDEV()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | filesem |
block/fops.c blkdev_direct_IO() -> I_BDEV()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &pool->lock |
block/fops.c blkdev_fallocate() -> I_BDEV()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &pool->lock |
block/fops.c blkdev_fsync() -> I_BDEV()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING |
block/fops.c blkdev_get_block() -> I_BDEV()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
block/fops.c blkdev_iomap_begin() -> I_BDEV()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | inode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
block/fops.c blkdev_mmap_prepare() -> I_BDEV()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING |
block/fops.c blkdev_read_iter() -> I_BDEV()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &pool->lock |
block/fops.c blkdev_write_iter() -> I_BDEV()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &pool->lock |
drivers/target/target_core_file.c fd_configure_device() -> I_BDEV()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &buffer->mutex | ||
| HALF_LOCKED2 | &frag->frag_sem |
drivers/target/target_core_file.c fd_configure_unmap() -> I_BDEV()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &buffer->mutex | ||
| HALF_LOCKED2 | &frag->frag_sem |
drivers/target/target_core_file.c fd_execute_unmap() -> I_BDEV()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &pool->lock |