Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 10 files:

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