Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
Smatch caller information:
fs/ext4/mballoc.c ext4_free_blocks_simple() -> ext4_get_group_no_and_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 2 | blockgrpp | 1916246295112310784 |
| PARAM_VALUE | 3 | offsetp | 4015378390291652608 |
| BUF_SIZE | 0 | sb | s32min,(-10),(-1),1-s32max |
| BUF_SIZE | 0 | sb | s32min,(-10),(-1),1-s32max |
| DATA_SOURCE | 1 | blocknr | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | sb->s_flags | 0-u64max[c] |
| USER_DATA | 1 | blocknr | 0-281474976743423,18446744069414584322-u64max[c] |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize_bits | |
| UNITS | 0 | sb | unit_byte |
| UNITS | 1 | blocknr | unit_byte |
fs/ext4/mballoc.c ext4_group_add_blocks() -> ext4_get_group_no_and_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 2 | blockgrpp | 87510194660040704 |
| PARAM_VALUE | 3 | offsetp | 7892033476428226560 |
| CAPPED_DATA | 1 | blocknr | 1 |
| CAPPED_DATA | 1 | blocknr | 1 |
| DATA_SOURCE | 0 | sb | $1 |
| DATA_SOURCE | 1 | blocknr | $2 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | blocknr | |
| UNITS | 0 | sb | unit_byte |
| UNITS | 1 | blocknr | unit_byte |
fs/ext4/mballoc.c ext4_mb_clear_bb() -> ext4_get_group_no_and_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 2 | blockgrpp | 5833097627687739392 |
| PARAM_VALUE | 3 | offsetp | 5606900081135484928 |
| DATA_SOURCE | 1 | blocknr | $2 |
| NOSPEC | 1 | blocknr | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | sb->s_flags | 0-u64max[c] |
| USER_DATA | 0 | sb->s_fs_info->s_first_error_block | s64min-s64max[c] |
| USER_DATA | 0 | sb->s_fs_info->s_first_error_ino | 0-4294967295 |
| USER_DATA | 1 | blocknr | 0-281485714161660,18446744069414584321-u64max |
| USER_DATA | 2 | *blockgrpp | 0-4294967294[c] |
| USER_DATA | 3 | *offsetp | 0-s32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize_bits | |
| UNITS | 0 | sb | unit_byte |
| UNITS | 1 | blocknr | unit_byte |
| USER_PTR | 2 | blockgrpp | |
| USER_PTR | 3 | offsetp | |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/mballoc.c ext4_mb_generate_from_pa() -> ext4_get_group_no_and_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 2 | blockgrpp | 8393705780472250368 |
| PARAM_VALUE | 3 | offsetp | 9149068751851376640 |
| DATA_SOURCE | 0 | sb | $0 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
| UNITS | 1 | blocknr | unit_byte |
| LOCK2 | &pa->pa_lock | ||
| LOCK2 | 0 | sb | |
| TYPE_LOCK | (struct ext4_prealloc_space)->pa_lock |
fs/ext4/mballoc.c ext4_mb_initialize_context() -> ext4_get_group_no_and_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | blocknr | 0-18446744073709551614 |
| PARAM_VALUE | 2 | blockgrpp | 5672348779190820864 |
| PARAM_VALUE | 3 | offsetp | 928320787006148608 |
| CAPPED_DATA | 1 | blocknr | 1 |
| CAPPED_DATA | 1 | blocknr | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | blocknr | 0-s32max[c] |
| UNITS | 0 | sb | unit_byte |
| UNITS | 1 | blocknr | unit_byte |
fs/ext4/mballoc.c ext4_mb_mark_bb() -> ext4_get_group_no_and_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 2 | blockgrpp | 1080142747314393088 |
| PARAM_VALUE | 3 | offsetp | 8656016004462850048 |
| DATA_SOURCE | 0 | sb | $0 |
| DATA_SOURCE | 1 | blocknr | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | blocknr | |
| UNITS | 0 | sb | unit_byte |
| UNITS | 1 | blocknr | unit_byte |
fs/ext4/mballoc.c ext4_mb_new_blocks_simple() -> ext4_get_group_no_and_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | blocknr | 0-18446744073709551614 |
| PARAM_VALUE | 2 | blockgrpp | 3473918842470207488 |
| PARAM_VALUE | 3 | offsetp | 101830908105367552 |
| CAPPED_DATA | 1 | blocknr | 1 |
| CAPPED_DATA | 1 | blocknr | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | blocknr | 0-s32max[c] |
| UNITS | 0 | sb | unit_byte |
| UNITS | 1 | blocknr | unit_byte |
fs/ext4/mballoc.c ext4_mb_normalize_request() -> ext4_get_group_no_and_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | blocknr | 1-281474976710654 |
| PARAM_VALUE | 2 | blockgrpp | 4096-ptr_max |
| PARAM_VALUE | 3 | offsetp | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 2 | *blockgrpp | 0-u32max |
| USER_DATA | 3 | *offsetp | 0-s32max[c] |
| UNITS | 0 | sb | unit_byte |
| UNITS | 1 | blocknr | unit_byte |
| USER_PTR | 2 | blockgrpp | |
| USER_PTR | 3 | offsetp |
fs/ext4/mballoc.c ext4_mb_normalize_request() -> ext4_get_group_no_and_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | blocknr | 2-281474976743423 |
| PARAM_VALUE | 2 | blockgrpp | 4096-ptr_max |
| PARAM_VALUE | 3 | offsetp | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 2 | *blockgrpp | 0-u32max |
| USER_DATA | 3 | *offsetp | 0-s32max[c] |
| UNITS | 0 | sb | unit_byte |
| USER_PTR | 2 | blockgrpp | |
| USER_PTR | 3 | offsetp |
fs/ext4/mballoc.c ext4_mb_release_group_pa() -> ext4_get_group_no_and_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 2 | blockgrpp | 1360964081663893504 |
| PARAM_VALUE | 3 | offsetp | 6454340054832906240 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
| UNITS | 1 | blocknr | unit_byte |
| LOCK2 | sb |
fs/ext4/mballoc.c ext4_mb_release_inode_pa() -> ext4_get_group_no_and_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 2 | blockgrpp | 1014933387440959488 |
| PARAM_VALUE | 3 | offsetp | 1565220924662902784 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
| UNITS | 1 | blocknr | unit_byte |
| LOCK2 | sb |
fs/ext4/mballoc.c ext4_mb_show_pa() -> ext4_get_group_no_and_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 2 | blockgrpp | 0 |
| PARAM_VALUE | 3 | offsetp | 9206169973285167104 |
| DATA_SOURCE | 0 | sb | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
| UNITS | 1 | blocknr | unit_byte |
| LOCK2 | &pa->pa_lock | ||
| LOCK2 | 0 | sb | |
| TYPE_LOCK | (struct ext4_prealloc_space)->pa_lock |
fs/ext4/mballoc.c ext4_mb_use_group_pa() -> ext4_get_group_no_and_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 2 | blockgrpp | 4096-ptr_max |
| PARAM_VALUE | 3 | offsetp | 4096-ptr_max |
| NOSPEC | 2 | *blockgrpp | |
| NOSPEC | 3 | *offsetp | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 2 | *blockgrpp | 0-4294967294[c] |
| USER_DATA | 3 | *offsetp | 0-s32max[c] |
| UNITS | 0 | sb | unit_byte |
| UNITS | 1 | blocknr | unit_byte |
| USER_PTR | 2 | blockgrpp | |
| USER_PTR | 3 | offsetp | |
| HALF_LOCKED2 | 0 | sb |
fs/ext4/mballoc.c ext4_mb_use_inode_pa() -> ext4_get_group_no_and_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_fs_info | 4096-ptr_max |
| PARAM_VALUE | 2 | blockgrpp | 4096-ptr_max |
| PARAM_VALUE | 3 | offsetp | 4096-ptr_max |
| NOSPEC | 2 | *blockgrpp | |
| NOSPEC | 3 | *offsetp | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 2 | *blockgrpp | 0-4294967294[c] |
| USER_DATA | 3 | *offsetp | 0-s32max[c] |
| UNITS | 0 | sb | unit_byte |
| UNITS | 1 | blocknr | unit_byte |
| USER_PTR | 2 | blockgrpp | |
| USER_PTR | 3 | offsetp | |
| HALF_LOCKED2 | &ei->i_prealloc_lock | ||
| HALF_LOCKED2 | &pa->pa_lock | ||
| HALF_LOCKED2 | 0 | sb |
fs/ext4/mballoc.c ext4_trim_fs() -> ext4_get_group_no_and_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | blocknr | 0-18446744073709551614 |
| PARAM_VALUE | 2 | blockgrpp | 7288667491242512384 |
| PARAM_VALUE | 3 | offsetp | 9206942703711711232 |
| CAPPED_DATA | 0 | sb->s_blocksize | 1 |
| CAPPED_DATA | 1 | blocknr | 1 |
| CAPPED_DATA | 1 | blocknr | 1 |
| DATA_SOURCE | 0 | sb | $0 |
| CAPABLE | 0 | 21 | |
| NOCHECK_CALL | |||
| USER_DATA | 1 | blocknr | 0-s32max[c] |
| UNITS | 0 | sb | unit_byte |
| UNITS | 1 | blocknr | unit_byte |
fs/ext4/mballoc.c ext4_trim_fs() -> ext4_get_group_no_and_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | blocknr | 1-u64max |
| PARAM_VALUE | 2 | blockgrpp | 3489727156158529536 |
| PARAM_VALUE | 3 | offsetp | 5940123781806485504 |
| CAPPED_DATA | 0 | sb->s_blocksize | 1 |
| DATA_SOURCE | 0 | sb | $0 |
| CAPABLE | 0 | 21 | |
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
| UNITS | 1 | blocknr | unit_byte |
fs/ext4/resize.c ext4_flex_group_add() -> ext4_get_group_no_and_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_fs_info | 4096-ptr_max |
| PARAM_VALUE | 2 | blockgrpp | 4049447892952522752 |
| PARAM_VALUE | 3 | offsetp | 188895748587937792 |
| DATA_SOURCE | 0 | sb | $0 |
| DATA_SOURCE | 1 | blocknr | r ext4_blocks_count |
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
fs/ext4/resize.c ext4_group_extend() -> ext4_get_group_no_and_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | blocknr | 0-u32max |
| PARAM_VALUE | 2 | blockgrpp | 695362072472162304 |
| PARAM_VALUE | 3 | offsetp | 5276438334817411072 |
| CAPPED_DATA | 1 | blocknr | 1 |
| CAPPED_DATA | 1 | blocknr | 1 |
| DATA_SOURCE | 0 | sb | $0 |
| DATA_SOURCE | 1 | blocknr | r ext4_blocks_count |
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
fs/ext4/resize.c ext4_resize_fs() -> ext4_get_group_no_and_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 2 | blockgrpp | 3747645876829065216 |
| PARAM_VALUE | 3 | offsetp | 8175141053659160576 |
| CAPPED_DATA | 1 | blocknr | 1 |
| DATA_SOURCE | 0 | sb | $0 |
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
| UNITS | 1 | blocknr | unit_byte |
fs/ext4/resize.c ext4_setup_next_flex_gd() -> ext4_get_group_no_and_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 2 | blockgrpp | 1311987299694002176 |
| PARAM_VALUE | 3 | offsetp | 1646817110888701952 |
| DATA_SOURCE | 0 | sb | $0 |
| DATA_SOURCE | 1 | blocknr | r ext4_blocks_count |
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
| UNITS | 1 | blocknr | unit_byte |
fs/ext4/resize.c ext4_setup_next_flex_gd() -> ext4_get_group_no_and_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 2 | blockgrpp | 6845321332628467712 |
| PARAM_VALUE | 3 | offsetp | 1646817110888701952 |
| PARAM_VALUE | 3 | *offsetp | 0 |
| DATA_SOURCE | 0 | sb | $0 |
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
| UNITS | 1 | blocknr | unit_byte |
fs/ext4/resize.c verify_group_input() -> ext4_get_group_no_and_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 2 | blockgrpp | 0 |
| PARAM_VALUE | 3 | offsetp | 939469640583782400 |
| DATA_SOURCE | 0 | sb | $0 |
| DATA_SOURCE | 1 | blocknr | r ext4_blocks_count |
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
| UNITS | 1 | blocknr | unit_byte |
fs/ext4/fsmap.c ext4_getfsmap_datadev() -> ext4_get_group_no_and_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | blocknr | 0-18446744073709551614 |
| PARAM_VALUE | 2 | blockgrpp | 4548963862585774080 |
| PARAM_VALUE | 3 | offsetp | 7137450437095718912 |
| DATA_SOURCE | 0 | sb | $0 |
| NOCHECK_CALL | |||
| UNITS | 1 | blocknr | unit_byte |
fs/ext4/fsmap.c ext4_getfsmap_datadev() -> ext4_get_group_no_and_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 2 | blockgrpp | 6890468118439497728 |
| PARAM_VALUE | 3 | offsetp | 4627537415354404864 |
| DATA_SOURCE | 0 | sb | $0 |
| NOCHECK_CALL | |||
| UNITS | 1 | blocknr | unit_byte |
fs/ext4/fsmap.c ext4_getfsmap_helper() -> ext4_get_group_no_and_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | blocknr | 0-18446744073709551614 |
| PARAM_VALUE | 2 | blockgrpp | 8722177155043889152 |
| PARAM_VALUE | 3 | offsetp | 2804708845263839232 |
| CAPPED_DATA | 1 | blocknr | 1 |
| CAPPED_DATA | 1 | blocknr | 1 |
| DATA_SOURCE | 0 | sb | $0 |
| NOCHECK_CALL | |||
| UNITS | 1 | blocknr | unit_byte |
fs/ext4/fsmap.c ext4_getfsmap_helper() -> ext4_get_group_no_and_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 2 | blockgrpp | 8722177155043889152 |
| PARAM_VALUE | 3 | offsetp | 2804708845263839232 |
| CAPPED_DATA | 1 | blocknr | 1 |
| CAPPED_DATA | 1 | blocknr | 1 |
| DATA_SOURCE | 0 | sb | $0 |
| NOCHECK_CALL | |||
| UNITS | 1 | blocknr | unit_byte |
fs/ext4/balloc.c ext4_get_group_number() -> ext4_get_group_no_and_offset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 2 | blockgrpp | 6059428397074919424 |
| PARAM_VALUE | 3 | offsetp | 0 |
| BUF_SIZE | 0 | sb | s32min,(-10),(-1),1-s32max |
| BUF_SIZE | 0 | sb | s32min,(-10),(-1),1-s32max |
| BUF_SIZE | 0 | sb->s_bdev | (-1),2136 |
| BUF_SIZE | 0 | sb->s_bdev->bd_queue | (-1),2456 |
| BUF_SIZE | 0 | sb->s_op | (-1),216 |
| DATA_SOURCE | 0 | sb | $0 |
| DATA_SOURCE | 1 | blocknr | $1 |
| STR_LEN | 0 | sb | (-1),8 |
| STR_LEN | 0 | sb | (-1),8 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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-u64max[c] |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize_bits | |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_root->d_inode->i_size | |
| UNITS | 0 | sb | unit_byte |
| UNITS | 1 | blocknr | unit_byte |
| HALF_LOCKED2 | 0 | sb |