Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

fs/btrfs/dev-replace.c btrfs_init_dev_replace_tgtdev() -> set_blocksize()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->__f_path.dentry 4096-ptr_max
PARAM_VALUE 0 file->__f_path.mnt 0
PARAM_VALUE 0 file->f_cred 0,4096-ptr_max
PARAM_VALUE 0 file->f_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 file->f_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 file->f_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 file->f_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 file->f_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 file->f_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 file->f_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 file->f_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 file->f_ep 0
PARAM_VALUE 0 file->f_flags 0,32768-u32max
PARAM_VALUE 0 file->f_inode 4096-ptr_max
PARAM_VALUE 0 file->f_iocb_flags 0,2,16,18,131072,131074,131088,131090
PARAM_VALUE 0 file->f_mapping 4096-ptr_max
PARAM_VALUE 0 file->f_mode 0,64-u32max
PARAM_VALUE 0 file->f_op 8212791493360840704
PARAM_VALUE 0 file->f_owner 0
PARAM_VALUE 0 file->f_pos 0
PARAM_VALUE 0 file->f_pos_lock.dep_map->name 0-255
PARAM_VALUE 0 file->f_pos_lock.first_waiter 0
PARAM_VALUE 0 file->f_pos_lock.magic 4096-ptr_max
PARAM_VALUE 0 file->f_pos_lock.osq.tail.counter 0
PARAM_VALUE 0 file->f_pos_lock.owner.counter 0
PARAM_VALUE 0 file->f_ra.async_size 0
PARAM_VALUE 0 file->f_ra.mmap_miss 0
PARAM_VALUE 0 file->f_ra.order 0
PARAM_VALUE 0 file->f_ra.prev_pos 0
PARAM_VALUE 0 file->f_ra.ra_pages 0
PARAM_VALUE 0 file->f_ra.size 0
PARAM_VALUE 0 file->f_ra.start 0
PARAM_VALUE 0 file->f_ref.refcnt.counter 0
PARAM_VALUE 0 file->f_sb_err 0
PARAM_VALUE 0 file->f_security 0
PARAM_VALUE 0 file->private_data 4096-ptr_max
PARAM_VALUE 1 size 4096
CAPPED_DATA 0 file 1
DATA_SOURCE 0 file r btrfs_open_device_deny_freeze
CAPABLE 0 21
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 file->f_inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 file->f_inode->i_size

fs/btrfs/volumes.c btrfs_get_bdev_and_sb() -> set_blocksize()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->__f_path.dentry 4096-ptr_max
PARAM_VALUE 0 file->f_cred 0,4096-ptr_max
PARAM_VALUE 0 file->f_ep 0
PARAM_VALUE 0 file->f_flags 0,32768-u32max
PARAM_VALUE 0 file->f_inode 4096-ptr_max
PARAM_VALUE 0 file->f_iocb_flags 0,2,16,18,131072,131074,131088,131090
PARAM_VALUE 0 file->f_mapping 4096-ptr_max
PARAM_VALUE 0 file->f_mode 0,64-u32max
PARAM_VALUE 0 file->f_op 8212791493360840704
PARAM_VALUE 0 file->f_owner 0
PARAM_VALUE 0 file->f_pos 0
PARAM_VALUE 0 file->f_pos_lock.magic 4096-ptr_max
PARAM_VALUE 0 file->f_sb_err 0
PARAM_VALUE 0 file->private_data 0-ptr_max
PARAM_VALUE 1 size 4096
DATA_SOURCE 0 file r fs_bdev_file_open_by_path
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 file->f_flags 0,32768-u32max
USER_DATA 0 file->f_mode 0,64-u32max
LOCK2 global &uuid_mutex

fs/btrfs/volumes.c btrfs_init_new_device() -> set_blocksize()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->__f_path.dentry 4096-ptr_max
PARAM_VALUE 0 file->__f_path.mnt 0
PARAM_VALUE 0 file->f_cred 0,4096-ptr_max
PARAM_VALUE 0 file->f_ep 0
PARAM_VALUE 0 file->f_flags 0,32768-u32max
PARAM_VALUE 0 file->f_inode 4096-ptr_max
PARAM_VALUE 0 file->f_iocb_flags 0,2,16,18,131072,131074,131088,131090
PARAM_VALUE 0 file->f_mapping 4096-ptr_max
PARAM_VALUE 0 file->f_mode 0,64-u32max
PARAM_VALUE 0 file->f_op 8212791493360840704
PARAM_VALUE 0 file->f_owner 0
PARAM_VALUE 0 file->f_pos 0
PARAM_VALUE 0 file->f_pos_lock.magic 4096-ptr_max
PARAM_VALUE 0 file->f_ra.async_size 0
PARAM_VALUE 0 file->f_ra.mmap_miss 0
PARAM_VALUE 0 file->f_ra.order 0
PARAM_VALUE 0 file->f_ra.prev_pos 0
PARAM_VALUE 0 file->f_ra.ra_pages 0
PARAM_VALUE 0 file->f_ra.size 0
PARAM_VALUE 0 file->f_ra.start 0
PARAM_VALUE 0 file->f_ref.refcnt.counter 0
PARAM_VALUE 0 file->f_sb_err 0
PARAM_VALUE 0 file->f_security 0
PARAM_VALUE 0 file->private_data 4096-ptr_max
PARAM_VALUE 1 size 4096
CAPABLE 0 21
NOCHECK_CALL
HALF_LOCKED2 &sb->s_umount
HALF_LOCKED2 global &uuid_mutex

block/ioctl.c blkdev_bszset() -> set_blocksize()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->f_mapping 4096-ptr_max
DATA_SOURCE 0 file $0
CAPABLE 0 21
USER_DATA 1 size s32min-s32max

block/ioctl.c blkdev_bszset() -> set_blocksize()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->__f_path.dentry 4096-ptr_max
PARAM_VALUE 0 file->__f_path.mnt 0
PARAM_VALUE 0 file->f_cred 0,4096-ptr_max
PARAM_VALUE 0 file->f_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 file->f_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 file->f_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 file->f_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 file->f_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 file->f_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 file->f_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 file->f_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 file->f_ep 0
PARAM_VALUE 0 file->f_flags 0,32768-u32max
PARAM_VALUE 0 file->f_inode 4096-ptr_max
PARAM_VALUE 0 file->f_iocb_flags 0,2,16,18,131072,131074,131088,131090
PARAM_VALUE 0 file->f_mapping 4096-ptr_max
PARAM_VALUE 0 file->f_mode 0,64-u32max
PARAM_VALUE 0 file->f_op 8212791493360840704
PARAM_VALUE 0 file->f_owner 0
PARAM_VALUE 0 file->f_pos 0
PARAM_VALUE 0 file->f_pos_lock.dep_map->name 0-255
PARAM_VALUE 0 file->f_pos_lock.first_waiter 0
PARAM_VALUE 0 file->f_pos_lock.magic 4096-ptr_max
PARAM_VALUE 0 file->f_pos_lock.osq.tail.counter 0
PARAM_VALUE 0 file->f_pos_lock.owner.counter 0
PARAM_VALUE 0 file->f_ra.async_size 0
PARAM_VALUE 0 file->f_ra.mmap_miss 0
PARAM_VALUE 0 file->f_ra.order 0
PARAM_VALUE 0 file->f_ra.prev_pos 0
PARAM_VALUE 0 file->f_ra.ra_pages 0
PARAM_VALUE 0 file->f_ra.size 0
PARAM_VALUE 0 file->f_ra.start 0
PARAM_VALUE 0 file->f_ref.refcnt.counter 0
PARAM_VALUE 0 file->f_sb_err 0
PARAM_VALUE 0 file->private_data 2619656883445891072
BUF_SIZE 0 file->private_data 4
CAPPED_DATA 0 file->f_cred 1
DATA_SOURCE 0 file r bdev_file_open_by_dev
CAPABLE 0 21
USER_DATA 1 size s32min-s32max
NO_OVERFLOW_SIMPLE 0 file->f_inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 file->f_inode->i_size

block/bdev.c sb_set_blocksize() -> set_blocksize()

Type Parameter Key Value
PARAM_VALUE 0 file->f_mapping->host->i_mapping->invalidate_lock.first_waiter->type 0-1
PARAM_VALUE 0 file->f_mapping->host->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 file->f_mapping->host->i_rwsem.first_waiter->type 0-1
DATA_SOURCE 1 size $1
STR_LEN 0 file->private_data (-1),8
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 file->f_flags 0,32768-u32max
USER_DATA 0 file->f_mode 0,64-u32max
UNITS 1 size unit_byte
HALF_LOCKED2 &sbi->hpfs_mutex

fs/ext4/super.c ext4_get_journal_blkdev() -> set_blocksize()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->__f_path.dentry 4096-ptr_max
PARAM_VALUE 0 file->__f_path.mnt 0
PARAM_VALUE 0 file->f_cred 0,4096-ptr_max
PARAM_VALUE 0 file->f_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 file->f_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 file->f_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 file->f_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 file->f_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 file->f_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 file->f_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 file->f_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 file->f_ep 0
PARAM_VALUE 0 file->f_flags 0,32768-u32max
PARAM_VALUE 0 file->f_inode 4096-ptr_max
PARAM_VALUE 0 file->f_iocb_flags 0,2,16,18,131072,131074,131088,131090
PARAM_VALUE 0 file->f_mapping 4096-ptr_max
PARAM_VALUE 0 file->f_mode 0,64-u32max
PARAM_VALUE 0 file->f_op 8212791493360840704
PARAM_VALUE 0 file->f_owner 0
PARAM_VALUE 0 file->f_pos 0
PARAM_VALUE 0 file->f_pos_lock.dep_map->name 0-255
PARAM_VALUE 0 file->f_pos_lock.first_waiter 0
PARAM_VALUE 0 file->f_pos_lock.magic 4096-ptr_max
PARAM_VALUE 0 file->f_pos_lock.osq.tail.counter 0
PARAM_VALUE 0 file->f_pos_lock.owner.counter 0
PARAM_VALUE 0 file->f_ra.async_size 0
PARAM_VALUE 0 file->f_ra.mmap_miss 0
PARAM_VALUE 0 file->f_ra.order 0
PARAM_VALUE 0 file->f_ra.prev_pos 0
PARAM_VALUE 0 file->f_ra.ra_pages 0
PARAM_VALUE 0 file->f_ra.size 0
PARAM_VALUE 0 file->f_ra.start 0
PARAM_VALUE 0 file->f_ref.refcnt.counter 0
PARAM_VALUE 0 file->f_sb_err 0
PARAM_VALUE 0 file->private_data 4096-ptr_max
PARAM_VALUE 1 size 512-65536
BUF_SIZE 0 file->private_data (-1),2816
CAPPED_DATA 0 file->f_cred 1
CAPPED_DATA 1 size 1
DATA_SOURCE 0 file r fs_bdev_file_open_by_dev
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 file->f_inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 file->f_inode->i_size
UNITS 1 size unit_byte
HALF_LOCKED2 &fc->uapi_mutex