Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/f2fs/segment.c f2fs_build_segment_manager() -> init_free_segmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sbi | 4096-ptr_max |
| PARAM_VALUE | 0 | sbi->iostat_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sbi->meta_inode->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 0 | sbi->node_inode->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 0 | sbi->raw_super->feature | 0,2-u32max |
| PARAM_VALUE | 0 | sbi->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | sbi->sb->s_bdev | 4096-ptr_max |
| PARAM_VALUE | 0 | sbi->sm_info | 4096-ptr_max |
| PARAM_VALUE | 0 | sbi->total_valid_node_count | 0 |
| PARAM_VALUE | 0 | *sbi->page_eio_cnt | s32min-s32max |
| BUF_SIZE | 0 | sbi->sm_info | s32min,1,64,104,120,280,320,384,429,507,2880,4091,4096,8576 |
| CAPPED_DATA | 0 | sbi->segs_per_sec | 1 |
| DATA_SOURCE | 0 | sbi | $0 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | sbi->total_sections |