Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/nilfs2/sufile.c nilfs_sufile_get_suinfo() -> nilfs_sufile_get_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sufile | 4096-ptr_max |
| CAPPED_DATA | 1 | segnum | 1 |
| DATA_SOURCE | 0 | sufile | $0 |
| DATA_SOURCE | 1 | segnum | $1 |
| NOSPEC | 1 | segnum | |
| NOSPEC | 1 | segnum | |
| USER_DATA | 1 | segnum | 0-2147484159[c] |
| NO_OVERFLOW_SIMPLE | 0 | sufile->i_mapping->host->i_bytes | |
| LOCK2 | &nilfs->ns_segctor_sem | ||
| TYPE_LOCK | (struct the_nilfs)->ns_segctor_sem |
fs/nilfs2/sufile.c nilfs_sufile_segment_usage_offset() -> nilfs_sufile_get_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sufile | 4096-ptr_max |
| DATA_SOURCE | 0 | sufile | $0 |
| DATA_SOURCE | 1 | segnum | $1 |
| NOSPEC | 1 | segnum | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | sufile->__i_nlink | 1-u32max |
| USER_DATA | 0 | sufile->i_blocks | 0-u64max |
| USER_DATA | 0 | sufile->i_bytes | 0-511[c] |
| USER_DATA | 0 | sufile->i_ino | 0-u64max |
| USER_DATA | 0 | sufile->i_mode | 0-u16max[c] |
| USER_DATA | 0 | sufile->i_rdev | 0-u32max[c] |
| USER_DATA | 1 | segnum | 0-u64max |
| NO_OVERFLOW_SIMPLE | 0 | sufile->i_mapping->host->i_bytes | |
| UNITS | 1 | segnum | unit_array_size |
| HALF_LOCKED2 | &nilfs->ns_segctor_sem |
fs/nilfs2/sufile.c nilfs_sufile_segment_usages_in_block() -> nilfs_sufile_get_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sufile | 4096-ptr_max |
| CAPPED_DATA | 1 | segnum | 1 |
| CAPPED_DATA | 1 | segnum | 1 |
| DATA_SOURCE | 0 | sufile | $0 |
| DATA_SOURCE | 1 | segnum | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | sufile->__i_nlink | 1-u32max |
| USER_DATA | 0 | sufile->i_blocks | 0-u64max |
| USER_DATA | 0 | sufile->i_bytes | 0-511[c] |
| USER_DATA | 0 | sufile->i_ino | 0-u64max |
| USER_DATA | 0 | sufile->i_mode | 0-u16max[c] |
| USER_DATA | 0 | sufile->i_rdev | 0-u32max[c] |
| HALF_LOCKED2 | &nilfs->ns_segctor_sem |
fs/nilfs2/sufile.c nilfs_sufile_truncate_range() -> nilfs_sufile_get_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sufile | 4096-ptr_max |
| CAPPED_DATA | 1 | segnum | 1 |
| CAPPED_DATA | 1 | segnum | 1 |
| DATA_SOURCE | 0 | sufile | $0 |
| CAPABLE | 0 | 21 | |
| NOSPEC | 1 | segnum | |
| NOSPEC | 1 | segnum | |
| USER_DATA | 1 | segnum | 0-2147475456[c] |
| NO_OVERFLOW_SIMPLE | 0 | sufile->i_mapping->host->i_bytes | |
| LOCK2 | &nilfs->ns_segctor_sem | ||
| TYPE_LOCK | (struct the_nilfs)->ns_segctor_sem |