Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/super.c fs_bdev_file_open_by_dev() -> fs_bdev_register()

Type Parameter Key Value
PARAM_VALUE 0 bdev_file 4096-ptr_max
PARAM_VALUE 0 bdev_file->__f_path.dentry 4096-ptr_max
PARAM_VALUE 0 bdev_file->__f_path.mnt 0
PARAM_VALUE 0 bdev_file->f_cred 0,4096-ptr_max
PARAM_VALUE 0 bdev_file->f_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 bdev_file->f_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 bdev_file->f_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 bdev_file->f_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 bdev_file->f_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 bdev_file->f_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 bdev_file->f_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 bdev_file->f_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 bdev_file->f_ep 0
PARAM_VALUE 0 bdev_file->f_flags 0,32768-u32max
PARAM_VALUE 0 bdev_file->f_inode 4096-ptr_max
PARAM_VALUE 0 bdev_file->f_iocb_flags 0,2,16,18,131072,131074,131088,131090
PARAM_VALUE 0 bdev_file->f_mapping 4096-ptr_max
PARAM_VALUE 0 bdev_file->f_mode 0,64-u32max
PARAM_VALUE 0 bdev_file->f_op 8212791493360840704
PARAM_VALUE 0 bdev_file->f_owner 0
PARAM_VALUE 0 bdev_file->f_pos 0
PARAM_VALUE 0 bdev_file->f_pos_lock.dep_map->name 0-255
PARAM_VALUE 0 bdev_file->f_pos_lock.first_waiter 0
PARAM_VALUE 0 bdev_file->f_pos_lock.magic 4096-ptr_max
PARAM_VALUE 0 bdev_file->f_pos_lock.osq.tail.counter 0
PARAM_VALUE 0 bdev_file->f_pos_lock.owner.counter 0
PARAM_VALUE 0 bdev_file->f_ra.async_size 0
PARAM_VALUE 0 bdev_file->f_ra.mmap_miss 0
PARAM_VALUE 0 bdev_file->f_ra.order 0
PARAM_VALUE 0 bdev_file->f_ra.prev_pos 0
PARAM_VALUE 0 bdev_file->f_ra.ra_pages 0
PARAM_VALUE 0 bdev_file->f_ra.size 0
PARAM_VALUE 0 bdev_file->f_ra.start 0
PARAM_VALUE 0 bdev_file->f_ref.refcnt.counter 0
PARAM_VALUE 0 bdev_file->f_sb_err 0
PARAM_VALUE 0 bdev_file->private_data 4096-ptr_max
PARAM_VALUE 1 sb 4096-ptr_max
PARAM_VALUE 1 sb->s_bdev_file->f_mapping->host->i_mapping->invalidate_lock.first_waiter->type 0-1
PARAM_VALUE 1 sb->s_bdev_file->f_mapping->host->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 sb->s_bdev_file->f_mapping->host->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648
PARAM_VALUE 1 sb->s_shrink->debugfs_entry->d_parent->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 *sb->s_id 0-255
PARAM_VALUE 1 *sb->s_sysfs_name 0-255
BUF_SIZE 0 bdev_file->private_data (-1),2816,2880
BUF_SIZE 1 sb (-1),2816,2880
BUF_SIZE 1 sb (-1),2816,2880
BUF_SIZE 1 sb->dq_op (-1),88
BUF_SIZE 1 sb->s_cop (-1),72
BUF_SIZE 1 sb->s_export_op (-1),80
BUF_SIZE 1 sb->s_op (-1),216
BUF_SIZE 1 sb->s_qcop (-1),88
BUF_SIZE 1 sb->s_vop (-1),48
BUF_SIZE 1 sb->s_xattr (-1),40
CAPPED_DATA 0 bdev_file->f_cred 1
DATA_SOURCE 0 bdev_file r bdev_file_open_by_dev
DATA_SOURCE 1 sb $3
STR_LEN 0 bdev_file (-1),8
STR_LEN 1 sb (-1),8
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 sb->s_bdev_file->f_flags 0,32768-u32max
USER_DATA 1 sb->s_bdev_file->f_mode 0,64-u32max
USER_DATA 1 sb->s_flags 0-u64max[c]
USER_DATA 1 sb->s_super_dev->sd_sb->s_flags 0-s32max[c]
NO_OVERFLOW_SIMPLE 0 bdev_file->f_inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 bdev_file->f_inode->i_size

fs/super.c fs_bdev_file_open_by_path() -> fs_bdev_register()

Type Parameter Key Value
PARAM_VALUE 0 bdev_file 4096-ptr_max
PARAM_VALUE 0 bdev_file->__f_path.dentry 4096-ptr_max
PARAM_VALUE 0 bdev_file->__f_path.mnt 0
PARAM_VALUE 0 bdev_file->f_cred 0,4096-ptr_max
PARAM_VALUE 0 bdev_file->f_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 bdev_file->f_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 bdev_file->f_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 bdev_file->f_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 bdev_file->f_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 bdev_file->f_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 bdev_file->f_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 bdev_file->f_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 bdev_file->f_ep 0
PARAM_VALUE 0 bdev_file->f_flags 0,32768-u32max
PARAM_VALUE 0 bdev_file->f_inode 4096-ptr_max
PARAM_VALUE 0 bdev_file->f_iocb_flags 0,2,16,18,131072,131074,131088,131090
PARAM_VALUE 0 bdev_file->f_mapping 4096-ptr_max
PARAM_VALUE 0 bdev_file->f_mode 0,64-u32max
PARAM_VALUE 0 bdev_file->f_op 8212791493360840704
PARAM_VALUE 0 bdev_file->f_owner 0
PARAM_VALUE 0 bdev_file->f_pos 0
PARAM_VALUE 0 bdev_file->f_pos_lock.dep_map->name 0-255
PARAM_VALUE 0 bdev_file->f_pos_lock.first_waiter 0
PARAM_VALUE 0 bdev_file->f_pos_lock.magic 4096-ptr_max
PARAM_VALUE 0 bdev_file->f_pos_lock.osq.tail.counter 0
PARAM_VALUE 0 bdev_file->f_pos_lock.owner.counter 0
PARAM_VALUE 0 bdev_file->f_ra.async_size 0
PARAM_VALUE 0 bdev_file->f_ra.mmap_miss 0
PARAM_VALUE 0 bdev_file->f_ra.order 0
PARAM_VALUE 0 bdev_file->f_ra.prev_pos 0
PARAM_VALUE 0 bdev_file->f_ra.ra_pages 0
PARAM_VALUE 0 bdev_file->f_ra.size 0
PARAM_VALUE 0 bdev_file->f_ra.start 0
PARAM_VALUE 0 bdev_file->f_ref.refcnt.counter 0
PARAM_VALUE 0 bdev_file->f_sb_err 0
PARAM_VALUE 0 bdev_file->private_data 0-ptr_max
PARAM_VALUE 1 sb 1-u64max
PARAM_VALUE 1 sb->__s_d_op->d_compare 0,4096-ptr_max
PARAM_VALUE 1 sb->__s_d_op->d_delete 0,4096-ptr_max
PARAM_VALUE 1 sb->__s_d_op->d_hash 0,4096-ptr_max
PARAM_VALUE 1 sb->__s_d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 1 sb->__s_d_op->d_real 0,4509355519306412032
PARAM_VALUE 1 sb->__s_d_op->d_revalidate 0,4096-ptr_max
PARAM_VALUE 1 sb->__s_d_op->d_weak_revalidate 0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328
PARAM_VALUE 1 sb->s_bdev_file->f_mapping->host->i_mapping->invalidate_lock.first_waiter->type 0-1
PARAM_VALUE 1 sb->s_bdev_file->f_mapping->host->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 sb->s_bdev_file->f_mapping->host->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 sb->s_export_op->block_ops 0,5961889059343175680
PARAM_VALUE 1 sb->s_export_op->commit_metadata 0,240803493533007872,5538665924712296448,6872150948047065088
PARAM_VALUE 1 sb->s_export_op->flags 0,127
PARAM_VALUE 1 sb->s_export_op->get_name 0,3053585434600701952,4446407003036676096,4451526262822047744,5730886654511411200
PARAM_VALUE 1 sb->s_export_op->open 0,631201664538705920,4233052046380007424
PARAM_VALUE 1 sb->s_export_op->permission 0,4382650131406278656,6192445826193477632
PARAM_VALUE 1 sb->s_op->alloc_inode 0,4096-ptr_max
PARAM_VALUE 1 sb->s_op->destroy_inode 0,4096-ptr_max
PARAM_VALUE 1 sb->s_op->dirty_inode 0,621408797344559104,3913825662048972800,5398169538550730752,5762663374499221504,5910256729421369344,7426269908539875328,8470241182936211456
PARAM_VALUE 1 sb->s_op->drop_inode 0,4096-ptr_max
PARAM_VALUE 1 sb->s_op->evict_inode 0,4096-ptr_max
PARAM_VALUE 1 sb->s_op->free_cached_objects 0,1608608064889520128,2908075336534528000,7579570136908226560
PARAM_VALUE 1 sb->s_op->free_inode 0,4096-ptr_max
PARAM_VALUE 1 sb->s_op->freeze_fs 0,4096-ptr_max
PARAM_VALUE 1 sb->s_op->freeze_super 0,2519477815684136960
PARAM_VALUE 1 sb->s_op->get_dquots 0,923857830404186112,1651117494515085312,1702335611975081984,5677984871528976384,5868281143574761472,6238878744837341184
PARAM_VALUE 1 sb->s_op->nr_cached_objects 0,456927727844597760,2165740340428103680,6857875743730688000
PARAM_VALUE 1 sb->s_op->put_super 0,4096-ptr_max
PARAM_VALUE 1 sb->s_op->quota_read 0,1231493512506486784,5429134974858194944,6767320843600449536,8807892756092534784,9061218535664717824
PARAM_VALUE 1 sb->s_op->quota_write 0,1834231028351041536,5468135944504233984,6708629384185118720,8162305775088627712,8801674826347085824
PARAM_VALUE 1 sb->s_op->remove_bdev 0,4640431662171430912
PARAM_VALUE 1 sb->s_op->report_error 0,4072367486062256128
PARAM_VALUE 1 sb->s_op->show_devname 0,1010349334253707264,4405032975229669376,7670745387818385408,8380631456597626880
PARAM_VALUE 1 sb->s_op->show_options 0,4096-ptr_max
PARAM_VALUE 1 sb->s_op->show_path 0,1168827736746610688,4549358393651167232,6955726544838414336,7969778861266182144
PARAM_VALUE 1 sb->s_op->show_stats 0,506057586286567424,909742538172280832,5476998243496673280,7378982553835122688
PARAM_VALUE 1 sb->s_op->shutdown 0,270907176096247808,394905300707143680,1621038160951336960,2742114378027888640,4674517140434182144,5302154572152815616,9061279276729196544
PARAM_VALUE 1 sb->s_op->statfs 0,4096-ptr_max
PARAM_VALUE 1 sb->s_op->sync_fs 0,4096-ptr_max
PARAM_VALUE 1 sb->s_op->thaw_super 0,5766127971694489600
PARAM_VALUE 1 sb->s_op->umount_begin 0,1715867000213852160,2996636628827439104,6144602640128442368,6892802180082667520,7121838532207407104
PARAM_VALUE 1 sb->s_op->unfreeze_fs 0,4096-ptr_max
PARAM_VALUE 1 sb->s_op->write_inode 0,4096-ptr_max
PARAM_VALUE 1 sb->s_shrink->debugfs_entry->d_parent->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 sb->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 1 sb->s_umount.first_waiter->type 0-1
BUF_SIZE 1 sb (-1),2816,2880
BUF_SIZE 1 sb (-1),2816,2880
BUF_SIZE 1 sb->s_op (-1),216
CAPPED_DATA 0 bdev_file 1
CAPPED_DATA 0 bdev_file->f_cred 1
CAPPED_DATA 1 sb 1
DATA_SOURCE 0 bdev_file r bdev_file_open_by_path
DATA_SOURCE 1 sb $3
STR_LEN 0 bdev_file (-1),8
STR_LEN 1 sb (-1),8
STR_LEN 1 sb->s_id (-1),31
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 bdev_file->f_flags 0,32768-u32max
USER_DATA 0 bdev_file->f_mode 0,64-u32max
USER_DATA 1 sb->s_flags 0-2147487744[c]
NO_OVERFLOW_SIMPLE 0 bdev_file->f_inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 bdev_file->f_inode->i_size
UNITS 1 sb unit_byte
HALF_LOCKED2 &sbi->devs->rwsem
HALF_LOCKED2 global &uuid_mutex
HALF_LOCKED2 1 &sb->s_umount