Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 fsd 4096-ptr_max
PARAM_VALUE 0 fsd->sd_ref.refs.counter 1
PARAM_VALUE 0 fsd->sd_sb 1-u64max
BUF_SIZE 0 fsd 56
BUF_SIZE 0 fsd->sd_sb (-1),2816,2880
DATA_SOURCE 0 fsd r super_dev_alloc
STR_LEN 0 fsd->sd_sb (-1),8
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 fsd->sd_sb->s_flags 0-u64max[c]

fs/super.c super_dev_register() -> super_dev_insert()

Type Parameter Key Value
PARAM_VALUE 0 fsd 4096-ptr_max
PARAM_VALUE 0 fsd->sd_ref.refs.counter 1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &sb->s_umount
LOCK2 global &sb_lock
HALF_LOCKED2 &fc->uapi_mutex
HALF_LOCKED2 global &cifs_mount_mutex
TYPE_LOCK (struct super_block)->s_umount