Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/nilfs2/sufile.c nilfs_sufile_trim_fs() -> nilfs_get_segnum_of_block()

Type Parameter Key Value
PARAM_VALUE 0 nilfs 4096-ptr_max
BUF_SIZE 0 nilfs 1-s32max
BUF_SIZE 0 nilfs 1-s32max
CAPPED_DATA 0 nilfs->ns_first_data_block 1
CAPABLE 0 21
USER_DATA 1 blocknr 0-u64max
UNITS 0 nilfs unit_byte
LOCK2 &nilfs->ns_segctor_sem
TYPE_LOCK (struct the_nilfs)->ns_segctor_sem

fs/nilfs2/sufile.c nilfs_sufile_trim_fs() -> nilfs_get_segnum_of_block()

Type Parameter Key Value
PARAM_VALUE 0 nilfs 4096-ptr_max
BUF_SIZE 0 nilfs 1-s32max
BUF_SIZE 0 nilfs 1-s32max
CAPPED_DATA 0 nilfs->ns_first_data_block 1
CAPABLE 0 21
PARAM_COMPARE 1 blocknr >= $0->ns_first_data_block
PARAM_COMPARE 1 blocknr >= $0->ns_first_data_block
UNITS 0 nilfs unit_byte
UNITS 1 blocknr unit_byte
LOCK2 &nilfs->ns_segctor_sem
TYPE_LOCK (struct the_nilfs)->ns_segctor_sem

fs/nilfs2/recovery.c nilfs_do_roll_forward() -> nilfs_get_segnum_of_block()

Type Parameter Key Value
PARAM_VALUE 0 nilfs 4096-ptr_max
PARAM_VALUE 0 nilfs->ns_blocks_per_segment 0-u32max
PARAM_VALUE 1 blocknr 0
BUF_SIZE 0 nilfs->ns_sb (-1),2880
CAPPED_DATA 0 nilfs->ns_blocks_per_segment 1
CAPPED_DATA 0 nilfs->ns_blocksize 1
DATA_SOURCE 0 nilfs $0
STR_LEN 0 nilfs (-1),8
STR_LEN 0 nilfs (-1),8
STR_LEN 0 nilfs->ns_sb (-1),8
BIT_INFO 0 nilfs->ns_mount_opt 0x0,0xffffffffffffbfff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 nilfs->ns_cpfile->__i_nlink 1-u32max
USER_DATA 0 nilfs->ns_cpfile->i_blocks 0-u64max
USER_DATA 0 nilfs->ns_cpfile->i_bytes 0-511[c]
USER_DATA 0 nilfs->ns_cpfile->i_ino 0-u64max
USER_DATA 0 nilfs->ns_cpfile->i_mode 32768[c]
USER_DATA 0 nilfs->ns_cpfile->i_rdev 0-u32max[c]
USER_DATA 0 nilfs->ns_dat->__i_nlink 1-u32max
USER_DATA 0 nilfs->ns_dat->i_blocks 0-u64max
USER_DATA 0 nilfs->ns_dat->i_bytes 0-511[c]
USER_DATA 0 nilfs->ns_dat->i_ino 0-u64max
USER_DATA 0 nilfs->ns_dat->i_mode 32768[c]
USER_DATA 0 nilfs->ns_dat->i_rdev 0-u32max[c]
USER_DATA 0 nilfs->ns_nrsvsegs 8-92233368503352116[c]
USER_DATA 0 nilfs->ns_sb->s_flags 0-2147486719[c]
USER_DATA 0 nilfs->ns_sufile->__i_nlink 1-u32max
USER_DATA 0 nilfs->ns_sufile->i_blocks 0-u64max
USER_DATA 0 nilfs->ns_sufile->i_bytes 0-511[c]
USER_DATA 0 nilfs->ns_sufile->i_ino 0-u64max
USER_DATA 0 nilfs->ns_sufile->i_mode 32768[c]
USER_DATA 0 nilfs->ns_sufile->i_rdev 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 nilfs->ns_cpfile->i_mapping->host->i_bytes
NO_OVERFLOW_SIMPLE 0 nilfs->ns_dat->i_mapping->host->i_bytes
HALF_LOCKED2 &fc->uapi_mutex

fs/nilfs2/recovery.c nilfs_do_roll_forward() -> nilfs_get_segnum_of_block()

Type Parameter Key Value
PARAM_VALUE 0 nilfs 4096-ptr_max
PARAM_VALUE 0 nilfs->ns_blocks_per_segment 1-u32max
BUF_SIZE 0 nilfs->ns_sb (-1),2880
CAPPED_DATA 0 nilfs->ns_blocks_per_segment 1
CAPPED_DATA 0 nilfs->ns_blocksize 1
DATA_SOURCE 0 nilfs $0
STR_LEN 0 nilfs (-1),8
STR_LEN 0 nilfs (-1),8
STR_LEN 0 nilfs->ns_sb (-1),8
BIT_INFO 0 nilfs->ns_mount_opt 0x0,0xffffffffffffbfff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 nilfs->ns_cpfile->__i_nlink 1-u32max
USER_DATA 0 nilfs->ns_cpfile->i_blocks 0-u64max
USER_DATA 0 nilfs->ns_cpfile->i_bytes 0-511[c]
USER_DATA 0 nilfs->ns_cpfile->i_ino 0-u64max
USER_DATA 0 nilfs->ns_cpfile->i_mode 32768[c]
USER_DATA 0 nilfs->ns_cpfile->i_rdev 0-u32max[c]
USER_DATA 0 nilfs->ns_dat->__i_nlink 1-u32max
USER_DATA 0 nilfs->ns_dat->i_blocks 0-u64max
USER_DATA 0 nilfs->ns_dat->i_bytes 0-511[c]
USER_DATA 0 nilfs->ns_dat->i_ino 0-u64max
USER_DATA 0 nilfs->ns_dat->i_mode 32768[c]
USER_DATA 0 nilfs->ns_dat->i_rdev 0-u32max[c]
USER_DATA 0 nilfs->ns_nrsvsegs 8-92233368503352116[c]
USER_DATA 0 nilfs->ns_sb->s_flags 0-2147486719[c]
USER_DATA 0 nilfs->ns_sufile->__i_nlink 1-u32max
USER_DATA 0 nilfs->ns_sufile->i_blocks 0-u64max
USER_DATA 0 nilfs->ns_sufile->i_bytes 0-511[c]
USER_DATA 0 nilfs->ns_sufile->i_ino 0-u64max
USER_DATA 0 nilfs->ns_sufile->i_mode 32768[c]
USER_DATA 0 nilfs->ns_sufile->i_rdev 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 nilfs->ns_cpfile->i_mapping->host->i_bytes
NO_OVERFLOW_SIMPLE 0 nilfs->ns_dat->i_mapping->host->i_bytes
HALF_LOCKED2 &fc->uapi_mutex

fs/nilfs2/recovery.c nilfs_finish_roll_forward() -> nilfs_get_segnum_of_block()

Type Parameter Key Value
PARAM_VALUE 0 nilfs 4096-ptr_max
PARAM_VALUE 0 nilfs->ns_blocks_per_segment 0-u32max
BUF_SIZE 0 nilfs->ns_sb (-1),2880
CAPPED_DATA 0 nilfs->ns_blocks_per_segment 1
CAPPED_DATA 0 nilfs->ns_blocksize 1
CAPPED_DATA 1 blocknr 1
DATA_SOURCE 0 nilfs $0
STR_LEN 0 nilfs (-1),8
STR_LEN 0 nilfs (-1),8
STR_LEN 0 nilfs->ns_sb (-1),8
BIT_INFO 0 nilfs->ns_mount_opt 0x0,0xffffffffffffbfff
RX_PATH
USER_DATA 0 nilfs->ns_cpfile->__i_nlink 1-u32max
USER_DATA 0 nilfs->ns_cpfile->i_blocks 0-u64max
USER_DATA 0 nilfs->ns_cpfile->i_bytes 0-511[c]
USER_DATA 0 nilfs->ns_cpfile->i_ino 0-u64max
USER_DATA 0 nilfs->ns_cpfile->i_mode 32768[c]
USER_DATA 0 nilfs->ns_cpfile->i_rdev 0-u32max[c]
USER_DATA 0 nilfs->ns_dat->__i_nlink 1-u32max
USER_DATA 0 nilfs->ns_dat->i_blocks 0-u64max
USER_DATA 0 nilfs->ns_dat->i_bytes 0-511[c]
USER_DATA 0 nilfs->ns_dat->i_ino 0-u64max
USER_DATA 0 nilfs->ns_dat->i_mode 32768[c]
USER_DATA 0 nilfs->ns_dat->i_rdev 0-u32max[c]
USER_DATA 0 nilfs->ns_nrsvsegs 8-92233368503352116[c]
USER_DATA 0 nilfs->ns_sb->s_flags 0-2147486719[c]
USER_DATA 0 nilfs->ns_sufile->__i_nlink 1-u32max
USER_DATA 0 nilfs->ns_sufile->i_blocks 0-u64max
USER_DATA 0 nilfs->ns_sufile->i_bytes 0-511[c]
USER_DATA 0 nilfs->ns_sufile->i_ino 0-u64max
USER_DATA 0 nilfs->ns_sufile->i_mode 32768[c]
USER_DATA 0 nilfs->ns_sufile->i_rdev 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 nilfs->ns_cpfile->i_mapping->host->i_bytes
NO_OVERFLOW_SIMPLE 0 nilfs->ns_dat->i_mapping->host->i_bytes
HALF_LOCKED2 &fc->uapi_mutex

fs/nilfs2/recovery.c nilfs_finish_roll_forward() -> nilfs_get_segnum_of_block()

Type Parameter Key Value
PARAM_VALUE 0 nilfs 4096-ptr_max
PARAM_VALUE 0 nilfs->ns_blocks_per_segment 0-u32max
BUF_SIZE 0 nilfs->ns_sb (-1),2880
CAPPED_DATA 0 nilfs->ns_blocks_per_segment 1
CAPPED_DATA 0 nilfs->ns_blocksize 1
DATA_SOURCE 0 nilfs $0
STR_LEN 0 nilfs (-1),8
STR_LEN 0 nilfs (-1),8
STR_LEN 0 nilfs->ns_sb (-1),8
BIT_INFO 0 nilfs->ns_mount_opt 0x0,0xffffffffffffbfff
RX_PATH
USER_DATA 0 nilfs->ns_cpfile->__i_nlink 1-u32max
USER_DATA 0 nilfs->ns_cpfile->i_blocks 0-u64max
USER_DATA 0 nilfs->ns_cpfile->i_bytes 0-511[c]
USER_DATA 0 nilfs->ns_cpfile->i_ino 0-u64max
USER_DATA 0 nilfs->ns_cpfile->i_mode 32768[c]
USER_DATA 0 nilfs->ns_cpfile->i_rdev 0-u32max[c]
USER_DATA 0 nilfs->ns_dat->__i_nlink 1-u32max
USER_DATA 0 nilfs->ns_dat->i_blocks 0-u64max
USER_DATA 0 nilfs->ns_dat->i_bytes 0-511[c]
USER_DATA 0 nilfs->ns_dat->i_ino 0-u64max
USER_DATA 0 nilfs->ns_dat->i_mode 32768[c]
USER_DATA 0 nilfs->ns_dat->i_rdev 0-u32max[c]
USER_DATA 0 nilfs->ns_nrsvsegs 8-92233368503352116[c]
USER_DATA 0 nilfs->ns_sb->s_flags 0-2147486719[c]
USER_DATA 0 nilfs->ns_sufile->__i_nlink 1-u32max
USER_DATA 0 nilfs->ns_sufile->i_blocks 0-u64max
USER_DATA 0 nilfs->ns_sufile->i_bytes 0-511[c]
USER_DATA 0 nilfs->ns_sufile->i_ino 0-u64max
USER_DATA 0 nilfs->ns_sufile->i_mode 32768[c]
USER_DATA 0 nilfs->ns_sufile->i_rdev 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 nilfs->ns_cpfile->i_mapping->host->i_bytes
NO_OVERFLOW_SIMPLE 0 nilfs->ns_dat->i_mapping->host->i_bytes
HALF_LOCKED2 &fc->uapi_mutex

fs/nilfs2/recovery.c nilfs_search_super_root() -> nilfs_get_segnum_of_block()

Type Parameter Key Value
PARAM_VALUE 0 nilfs 4096-ptr_max
PARAM_VALUE 0 nilfs->ns_blocks_per_segment 0-u32max
BUF_SIZE 0 nilfs 1400
BUF_SIZE 0 nilfs->ns_sb (-1),2880
CAPPED_DATA 0 nilfs->ns_blocks_per_segment 1
CAPPED_DATA 0 nilfs->ns_blocksize 1
CAPPED_DATA 0 nilfs->ns_sb->s_dev 1
DATA_SOURCE 0 nilfs $0
STR_LEN 0 nilfs (-1),8
STR_LEN 0 nilfs (-1),8
STR_LEN 0 nilfs->ns_sb (-1),8
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 nilfs->ns_sb->s_flags 0-2147486719[c]
HALF_LOCKED2 &fc->uapi_mutex

fs/nilfs2/recovery.c nilfs_search_super_root() -> nilfs_get_segnum_of_block()

Type Parameter Key Value
PARAM_VALUE 0 nilfs 4096-ptr_max
PARAM_VALUE 0 nilfs->ns_blocks_per_segment 1-u32max
BUF_SIZE 0 nilfs 1400
BUF_SIZE 0 nilfs->ns_sb (-1),2880
CAPPED_DATA 0 nilfs->ns_blocks_per_segment 1
CAPPED_DATA 0 nilfs->ns_blocksize 1
CAPPED_DATA 0 nilfs->ns_sb->s_dev 1
DATA_SOURCE 0 nilfs $0
STR_LEN 0 nilfs (-1),8
STR_LEN 0 nilfs (-1),8
STR_LEN 0 nilfs->ns_sb (-1),8
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 nilfs->ns_sb->s_flags 0-2147486719[c]
HALF_LOCKED2 &fc->uapi_mutex

fs/nilfs2/the_nilfs.c nilfs_store_log_cursor() -> nilfs_get_segnum_of_block()

Type Parameter Key Value
PARAM_VALUE 0 nilfs 4096-ptr_max
PARAM_VALUE 0 nilfs->ns_blocks_per_segment 0-u32max
BUF_SIZE 0 nilfs 1400
BUF_SIZE 0 nilfs->ns_sb (-1),2880
CAPPED_DATA 0 nilfs->ns_blocks_per_segment 1
CAPPED_DATA 0 nilfs->ns_blocksize 1
CAPPED_DATA 0 nilfs->ns_sb->s_dev 1
DATA_SOURCE 0 nilfs $0
STR_LEN 0 nilfs (-1),8
STR_LEN 0 nilfs (-1),8
STR_LEN 0 nilfs->ns_sb (-1),8
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 nilfs->ns_sb->s_flags 0-2147486719[c]
HALF_LOCKED2 &fc->uapi_mutex