Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/ntfs3/fsntfs.c ntfs_look_for_free_space() -> wnd_find()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wnd | 4096-ptr_max |
| PARAM_VALUE | 0 | wnd->rw_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | wnd->rw_lock.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 0 | wnd->rw_lock.first_waiter->list.prev | 2624917664208203776 |
| PARAM_VALUE | 0 | wnd->rw_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | wnd->rw_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | wnd->rw_lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | wnd->rw_lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | wnd->rw_lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 2 | hint | 0-18446744073709551614 |
| PARAM_VALUE | 3 | flags | 1 |
| PARAM_VALUE | 4 | allocated | 884896483519418368 |
| BUF_SIZE | 0 | wnd | 304 |
| CAPPED_DATA | 0 | wnd->nbits | 1 |
| CAPPED_DATA | 0 | &wnd->rw_lock | 1 |
| CAPPED_DATA | 2 | hint | 1 |
| CAPPED_DATA | 2 | hint | 1 |
| DATA_SOURCE | 1 | to_alloc | $2 |
| DATA_SOURCE | 2 | hint | $1 [m] |
| FUZZY_MAX | 2 | hint | 0 |
| PARAM_COMPARE | 2 | hint | <= $0->nbits |
| PARAM_COMPARE | 2 | hint | <= $0->nbits |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 2 | hint | unit_bit |
| LOCK2 | 0 | &wnd->rw_lock | |
| HALF_LOCKED2 | &ni->ni_lock | ||
| TYPE_LOCK | (struct wnd_bitmap)->rw_lock |
fs/ntfs3/fsntfs.c ntfs_look_for_free_space() -> wnd_find()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wnd | 4096-ptr_max |
| PARAM_VALUE | 0 | wnd->rw_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | wnd->rw_lock.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 0 | wnd->rw_lock.first_waiter->list.prev | 2624917664208203776 |
| PARAM_VALUE | 0 | wnd->rw_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | wnd->rw_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | wnd->rw_lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | wnd->rw_lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | wnd->rw_lock.wait_lock.owner_cpu | u32max |
| 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->sb->s_fs_info->msg_ratelimit.lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 2 | hint | 0 |
| PARAM_VALUE | 3 | flags | 3 |
| PARAM_VALUE | 4 | allocated | 884896483519418368 |
| BUF_SIZE | 0 | wnd | 304 |
| CAPPED_DATA | 0 | wnd->nbits | 1 |
| CAPPED_DATA | 0 | &wnd->rw_lock | 1 |
| CAPPED_DATA | 1 | to_alloc | 1 |
| CAPPED_DATA | 1 | to_alloc | 1 |
| DATA_SOURCE | 1 | to_alloc | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | to_alloc | unit_bit |
| LOCK2 | 0 | &wnd->rw_lock | |
| HALF_LOCKED2 | &ni->ni_lock | ||
| TYPE_LOCK | (struct wnd_bitmap)->rw_lock |
fs/ntfs3/fsntfs.c ntfs_look_free_mft() -> wnd_find()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wnd | 4096-ptr_max |
| PARAM_VALUE | 0 | wnd->rw_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | to_alloc | 1 |
| PARAM_VALUE | 2 | hint | 16 |
| PARAM_VALUE | 3 | flags | 0 |
| PARAM_VALUE | 4 | allocated | 843394988639391744 |
| BUF_SIZE | 0 | wnd | 304 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | 0 | &wnd->rw_lock |
fs/ntfs3/fsntfs.c ntfs_look_free_mft() -> wnd_find()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wnd | 4096-ptr_max |
| PARAM_VALUE | 0 | wnd->rw_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | wnd->rw_lock.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 0 | wnd->rw_lock.first_waiter->list.prev | 2624917664208203776 |
| PARAM_VALUE | 0 | wnd->rw_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | wnd->rw_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | wnd->rw_lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | wnd->rw_lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | wnd->rw_lock.wait_lock.owner_cpu | u32max |
| 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->sb->s_fs_info->msg_ratelimit.lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 1 | to_alloc | 1 |
| PARAM_VALUE | 2 | hint | 24 |
| PARAM_VALUE | 3 | flags | 0 |
| PARAM_VALUE | 4 | allocated | 4077041938128482304 |
| BUF_SIZE | 0 | wnd | 304 |
| CAPPED_DATA | 0 | &wnd->rw_lock | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &wnd->rw_lock | |
| HALF_LOCKED2 | &ni->file.run_lock | ||
| HALF_LOCKED2 | &ni->ni_lock | ||
| TYPE_LOCK | (struct wnd_bitmap)->rw_lock |
fs/ntfs3/fsntfs.c ntfs_refresh_zone() -> wnd_find()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wnd | 4096-ptr_max |
| PARAM_VALUE | 0 | wnd->rw_lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | wnd->rw_lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 2 | hint | 1-u64max |
| PARAM_VALUE | 3 | flags | 0 |
| PARAM_VALUE | 4 | allocated | 8935895988088213504 |
| PARAM_VALUE | 4 | *allocated | 1-u64max |
| BUF_SIZE | 0 | wnd | 304 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &ni->file.run_lock | ||
| HALF_LOCKED2 | &sbi->used.bitmap.rw_lock | ||
| HALF_LOCKED2 | &wnd->rw_lock | ||
| HALF_LOCKED2 | lock | ||
| TYPE_LOCK | (struct wnd_bitmap)->rw_lock |