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 |