Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 5 files:
- block/bdev.c
- block/ioctl.c
- fs/btrfs/dev-replace.c, line 313
- fs/btrfs/volumes.c
- fs/ext4/super.c, line 6033
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 |