Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/ext2/super.c descriptor_loc() -> ext2_bg_has_super()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_fs_info 4096-ptr_max
BUF_SIZE 0 sb (-1),2880
BUF_SIZE 0 sb (-1),2880
BUF_SIZE 0 sb->s_fs_info 768
CAPPED_DATA 0 sb 1
CAPPED_DATA 0 sb->s_blocksize 1
CAPPED_DATA 0 sb->s_dev 1
DATA_SOURCE 0 sb $0
STR_LEN 0 sb (-1),8
STR_LEN 0 sb (-1),8
BIT_INFO 0 sb->s_iflags 0x1,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sb->s_bdev_file->f_flags 0,32768-u32max
USER_DATA 0 sb->s_bdev_file->f_mode 0,64-u32max[c]
USER_DATA 0 sb->s_flags 0-2147552255[c]
HALF_LOCKED2 &fc->uapi_mutex

fs/ext2/super.c ext2_statfs() -> ext2_bg_has_super()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
CAPPED_DATA 1 group 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte
UNITS 1 group unit_byte
LOCK2 &sbi->s_lock
HALF_LOCKED2 &s->s_umount
TYPE_LOCK (struct ext2_sb_info)->s_lock

fs/ext2/balloc.c ext2_bg_num_gdb() -> ext2_bg_has_super()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
CAPPED_DATA 1 group 1
DATA_SOURCE 0 sb $0
DATA_SOURCE 1 group $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte
UNITS 1 group unit_byte
LOCK2 &sbi->s_lock
HALF_LOCKED2 &s->s_umount
TYPE_LOCK (struct ext2_sb_info)->s_lock