Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/ntfs3/bitmap.c wnd_extend() -> wnd_add_free_ext()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wnd | 4096-ptr_max |
| PARAM_VALUE | 0 | wnd->free_bits | 4096-ptr_max |
| PARAM_VALUE | 0 | wnd->nbits | 1-u64max |
| PARAM_VALUE | 0 | wnd->run.count | 1-u64max |
| PARAM_VALUE | 0 | wnd->run.runs | 1-u64max |
| PARAM_VALUE | 0 | wnd->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | wnd->sb->s_bdev->bd_mapping->i_private_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | wnd->sb->s_fs_info | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 0-18446744073709551614 |
| PARAM_VALUE | 2 | len | 1-u64max |
| PARAM_VALUE | 3 | build | 0 |
| BUF_SIZE | 0 | wnd | 304 |
| BUF_SIZE | 0 | wnd->free_bits | 2,u64max |
| CAPPED_DATA | 1 | bit | 1 |
| CAPPED_DATA | 1 | bit | 1 |
| DATA_SOURCE | 0 | wnd | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | wnd->nwnd | |
| UNITS | 1 | bit | unit_bit |
| UNITS | 2 | len | unit_bit |
| HALF_LOCKED2 | &wnd->rw_lock |
fs/ntfs3/bitmap.c wnd_rescan() -> wnd_add_free_ext()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wnd | 4096-ptr_max |
| PARAM_VALUE | 0 | wnd->free_bits | 4096-ptr_max |
| PARAM_VALUE | 0 | wnd->inited | 1 |
| PARAM_VALUE | 0 | wnd->nwnd | 1-u64max |
| PARAM_VALUE | 0 | wnd->rw_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | wnd->rw_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | wnd->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | wnd->sb->s_bdev | 4096-ptr_max |
| PARAM_VALUE | 0 | wnd->sb->s_bdev->bd_mapping->host->i_op->get_acl | 0,434817594022129664,1176132492164517888,2308293591809245184,2352177825799393280,5894181231315005440,7161457072544161792,8358186677320523776 |
| PARAM_VALUE | 0 | wnd->sb->s_bdev->bd_mapping->host->i_op->get_offset_ctx | 0,2606890545167454208 |
| PARAM_VALUE | 0 | wnd->sb->s_bdev->bd_mapping->host->i_op->readlink | 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256 |
| PARAM_VALUE | 0 | wnd->sb->s_bdev->bd_mapping->host->i_op->sync_lazytime | 0,6951464784224747520 |
| PARAM_VALUE | 0 | wnd->sb->s_bdev->bd_mapping->i_private_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | wnd->sb->s_bdev->bd_mapping->invalidate_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | wnd->sb->s_bdev->bd_mapping->invalidate_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | wnd->sb->s_fs_info | 4096-ptr_max |
| PARAM_VALUE | 0 | wnd->uptodated | (-1)-0 |
| PARAM_VALUE | 2 | len | 1-u64max |
| PARAM_VALUE | 3 | build | 1 |
| BUF_SIZE | 0 | wnd->free_bits | (-1),2 |
| BUF_SIZE | 0 | wnd->sb | (-1),80,2752,2816 |
| CAPPED_DATA | 0 | wnd->nwnd | 1 |
| DATA_SOURCE | 0 | wnd | $0 |
| STR_LEN | 0 | wnd | (-1),8 |
| STR_LEN | 0 | wnd | (-1),8 |
| STR_LEN | 0 | wnd->sb | (-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | wnd->sb->s_flags | 2048-2147488769[c] |
| NO_OVERFLOW_SIMPLE | 0 | wnd->extent_max | |
| NO_OVERFLOW_SIMPLE | 0 | wnd->extent_min | |
| NO_OVERFLOW_SIMPLE | 0 | wnd->nwnd | |
| NO_OVERFLOW_SIMPLE | 0 | wnd->sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | wnd->total_zeroes | |
| NO_OVERFLOW_SIMPLE | 0 | wnd->zone_bit | |
| NO_OVERFLOW_SIMPLE | 0 | wnd->zone_end | |
| UNITS | 1 | bit | unit_bit |
| UNITS | 2 | len | unit_bit |
| HALF_LOCKED2 | 0 | &wnd->rw_lock |
fs/ntfs3/bitmap.c wnd_rescan() -> wnd_add_free_ext()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wnd | 4096-ptr_max |
| PARAM_VALUE | 0 | wnd->nwnd | 1-u64max |
| PARAM_VALUE | 0 | wnd->rw_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | wnd->rw_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | wnd->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | wnd->sb->s_bdev | 4096-ptr_max |
| PARAM_VALUE | 0 | wnd->sb->s_bdev->bd_mapping->host->i_op->get_offset_ctx | 0,2606890545167454208 |
| PARAM_VALUE | 0 | wnd->sb->s_bdev->bd_mapping->host->i_op->readlink | 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256 |
| PARAM_VALUE | 0 | wnd->sb->s_bdev->bd_mapping->host->i_op->sync_lazytime | 0,6951464784224747520 |
| PARAM_VALUE | 0 | wnd->sb->s_bdev->bd_mapping->i_private_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | wnd->sb->s_bdev->bd_mapping->invalidate_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | wnd->sb->s_bdev->bd_mapping->invalidate_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | wnd->sb->s_fs_info | 4096-ptr_max |
| PARAM_VALUE | 0 | wnd->uptodated | (-1)-0 |
| PARAM_VALUE | 2 | len | 1-u64max |
| PARAM_VALUE | 3 | build | 1 |
| BUF_SIZE | 0 | wnd->free_bits | (-1),2 |
| BUF_SIZE | 0 | wnd->sb | (-1),80,2752,2816 |
| CAPPED_DATA | 0 | wnd->nwnd | 1 |
| DATA_SOURCE | 0 | wnd | $0 |
| STR_LEN | 0 | wnd | (-1),8 |
| STR_LEN | 0 | wnd | (-1),8 |
| STR_LEN | 0 | wnd->sb | (-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | wnd->sb->s_flags | 2048-2147488769[c] |
| NO_OVERFLOW_SIMPLE | 0 | wnd->extent_max | |
| NO_OVERFLOW_SIMPLE | 0 | wnd->extent_min | |
| NO_OVERFLOW_SIMPLE | 0 | wnd->nwnd | |
| NO_OVERFLOW_SIMPLE | 0 | wnd->sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | wnd->total_zeroes | |
| NO_OVERFLOW_SIMPLE | 0 | wnd->zone_bit | |
| NO_OVERFLOW_SIMPLE | 0 | wnd->zone_end | |
| UNITS | 1 | bit | unit_bit |
| UNITS | 2 | len | unit_bit |
| HALF_LOCKED2 | 0 | &wnd->rw_lock |
fs/ntfs3/bitmap.c wnd_rescan() -> wnd_add_free_ext()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wnd | 4096-ptr_max |
| PARAM_VALUE | 0 | wnd->nwnd | 1-u64max |
| PARAM_VALUE | 0 | wnd->rw_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | wnd->rw_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | wnd->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | wnd->sb->s_bdev | 4096-ptr_max |
| PARAM_VALUE | 0 | wnd->sb->s_bdev->bd_mapping->host->i_op->get_offset_ctx | 0,2606890545167454208 |
| PARAM_VALUE | 0 | wnd->sb->s_bdev->bd_mapping->host->i_op->readlink | 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256 |
| PARAM_VALUE | 0 | wnd->sb->s_bdev->bd_mapping->host->i_op->sync_lazytime | 0,6951464784224747520 |
| PARAM_VALUE | 0 | wnd->sb->s_bdev->bd_mapping->i_private_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | wnd->sb->s_bdev->bd_mapping->invalidate_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | wnd->sb->s_bdev->bd_mapping->invalidate_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | wnd->sb->s_fs_info | 4096-ptr_max |
| PARAM_VALUE | 0 | wnd->uptodated | (-1)-0 |
| PARAM_VALUE | 3 | build | 1 |
| BUF_SIZE | 0 | wnd->free_bits | (-1),2 |
| BUF_SIZE | 0 | wnd->sb | (-1),80,2752,2816 |
| DATA_SOURCE | 0 | wnd | $0 |
| STR_LEN | 0 | wnd | (-1),8 |
| STR_LEN | 0 | wnd | (-1),8 |
| STR_LEN | 0 | wnd->sb | (-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | wnd->sb->s_flags | 2048-2147488769[c] |
| NO_OVERFLOW_SIMPLE | 0 | wnd->extent_max | |
| NO_OVERFLOW_SIMPLE | 0 | wnd->extent_min | |
| NO_OVERFLOW_SIMPLE | 0 | wnd->nwnd | |
| NO_OVERFLOW_SIMPLE | 0 | wnd->sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | wnd->total_zeroes | |
| NO_OVERFLOW_SIMPLE | 0 | wnd->zone_bit | |
| NO_OVERFLOW_SIMPLE | 0 | wnd->zone_end | |
| UNITS | 1 | bit | unit_bit |
| UNITS | 2 | len | unit_bit |
| HALF_LOCKED2 | 0 | &wnd->rw_lock |
fs/ntfs3/bitmap.c wnd_rescan() -> wnd_add_free_ext()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wnd | 4096-ptr_max |
| PARAM_VALUE | 0 | wnd->nwnd | 1-u64max |
| PARAM_VALUE | 0 | wnd->rw_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | wnd->rw_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | wnd->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | wnd->sb->s_bdev | 4096-ptr_max |
| PARAM_VALUE | 0 | wnd->sb->s_bdev->bd_mapping->host->i_op->get_offset_ctx | 0,2606890545167454208 |
| PARAM_VALUE | 0 | wnd->sb->s_bdev->bd_mapping->host->i_op->readlink | 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256 |
| PARAM_VALUE | 0 | wnd->sb->s_bdev->bd_mapping->host->i_op->sync_lazytime | 0,6951464784224747520 |
| PARAM_VALUE | 0 | wnd->sb->s_bdev->bd_mapping->invalidate_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | wnd->sb->s_bdev->bd_mapping->invalidate_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | wnd->uptodated | (-1)-0 |
| PARAM_VALUE | 2 | len | 1-u64max |
| PARAM_VALUE | 3 | build | 1 |
| BUF_SIZE | 0 | wnd->free_bits | (-1),2 |
| BUF_SIZE | 0 | wnd->sb | (-1),80,2752,2816 |
| CAPPED_DATA | 0 | wnd->nwnd | 1 |
| DATA_SOURCE | 0 | wnd | $0 |
| FUZZY_MAX | 0 | wnd->nwnd | 1 |
| STR_LEN | 0 | wnd | (-1),8 |
| STR_LEN | 0 | wnd | (-1),8 |
| STR_LEN | 0 | wnd->sb | (-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | wnd->sb->s_flags | 2048-2147488769[c] |
| NO_OVERFLOW_SIMPLE | 0 | wnd->extent_max | |
| NO_OVERFLOW_SIMPLE | 0 | wnd->extent_min | |
| NO_OVERFLOW_SIMPLE | 0 | wnd->nwnd | |
| NO_OVERFLOW_SIMPLE | 0 | wnd->sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | wnd->total_zeroes | |
| NO_OVERFLOW_SIMPLE | 0 | wnd->zone_bit | |
| NO_OVERFLOW_SIMPLE | 0 | wnd->zone_end | |
| UNITS | 1 | bit | unit_bit |
| UNITS | 2 | len | unit_bit |
| HALF_LOCKED2 | 0 | &wnd->rw_lock |
fs/ntfs3/bitmap.c wnd_set_free() -> wnd_add_free_ext()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wnd | 4096-ptr_max |
| PARAM_VALUE | 0 | wnd->free_bits | 4096-ptr_max |
| PARAM_VALUE | 0 | wnd->nwnd | 1-u64max |
| PARAM_VALUE | 0 | wnd->run.count | 1-u64max |
| PARAM_VALUE | 0 | wnd->run.runs | 1-u64max |
| PARAM_VALUE | 0 | wnd->rw_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | wnd->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | wnd->sb->s_bdev->bd_mapping->i_private_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | wnd->sb->s_fs_info | 4096-ptr_max |
| PARAM_VALUE | 3 | build | 0 |
| BUF_SIZE | 0 | wnd | 304 |
| CAPPED_DATA | 2 | len | 1 |
| DATA_SOURCE | 0 | wnd | $0 |
| DATA_SOURCE | 1 | bit | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | wnd->total_zeroes | |
| NO_OVERFLOW_SIMPLE | 1 | bit | |
| NO_OVERFLOW_SIMPLE | 2 | len | |
| UNITS | 1 | bit | unit_bit |
| UNITS | 2 | len | unit_bit |
| HALF_LOCKED2 | 0 | &wnd->rw_lock |
fs/ntfs3/bitmap.c wnd_zone_set() -> wnd_add_free_ext()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wnd | 4096-ptr_max |
| PARAM_VALUE | 0 | wnd->rw_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | wnd->rw_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | wnd->sb->s_bdev->bd_mapping->host->i_op->get_offset_ctx | 0,2606890545167454208 |
| PARAM_VALUE | 0 | wnd->sb->s_bdev->bd_mapping->host->i_op->readlink | 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256 |
| PARAM_VALUE | 0 | wnd->sb->s_bdev->bd_mapping->host->i_op->sync_lazytime | 0,6951464784224747520 |
| PARAM_VALUE | 0 | wnd->sb->s_bdev->bd_mapping->invalidate_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | wnd->sb->s_bdev->bd_mapping->invalidate_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 2 | len | 1-u64max |
| PARAM_VALUE | 3 | build | 0 |
| BUF_SIZE | 0 | wnd | (-1),304 |
| BUF_SIZE | 0 | wnd | (-1),304 |
| BUF_SIZE | 0 | wnd->free_bits | (-1),2 |
| BUF_SIZE | 0 | wnd->sb | (-1),80,2752,2816 |
| DATA_SOURCE | 0 | wnd | $0 |
| STR_LEN | 0 | wnd | (-1),8 |
| STR_LEN | 0 | wnd | (-1),8 |
| STR_LEN | 0 | wnd->sb | (-1) |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | wnd->sb->s_flags | 2048-2147488769[c] |
| NO_OVERFLOW_SIMPLE | 0 | wnd->extent_max | |
| NO_OVERFLOW_SIMPLE | 0 | wnd->extent_min | |
| NO_OVERFLOW_SIMPLE | 0 | wnd->nwnd | |
| NO_OVERFLOW_SIMPLE | 0 | wnd->total_zeroes | |
| NO_OVERFLOW_SIMPLE | 0 | wnd->zone_bit | |
| NO_OVERFLOW_SIMPLE | 0 | wnd->zone_end | |
| NO_OVERFLOW_SIMPLE | 1 | bit | |
| UNITS | 1 | bit | unit_bit |
| UNITS | 2 | len | unit_bit |
| HALF_LOCKED2 | 0 | &wnd->rw_lock |