Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/ntfs3/bitmap.c wnd_rescan() -> wnd_zone_set()

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 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),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->uptodated 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
NO_OVERFLOW_SIMPLE 1 lcn
UNITS 1 lcn unit_bit
UNITS 2 len unit_bit
HALF_LOCKED2 0 &wnd->rw_lock

fs/ntfs3/run.c run_unpack_ex() -> wnd_zone_set()

Type Parameter Key Value
PARAM_VALUE 0 wnd 4096-ptr_max
PARAM_VALUE 0 wnd->rw_lock.first_waiter->handoff_set 1
PARAM_VALUE 0 wnd->rw_lock.first_waiter->type 0-1
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 1-u64max
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 1 lcn 0
PARAM_VALUE 2 len 0
BUF_SIZE 0 wnd 304
CAPPED_DATA 0 &wnd->rw_lock 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &wnd->rw_lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &ni->file.run_lock
HALF_LOCKED2 &ni->ni_lock
TYPE_LOCK (struct wnd_bitmap)->rw_lock

fs/ntfs3/fsntfs.c mark_as_free_ex() -> wnd_zone_set()

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.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 4096-ptr_max
BUF_SIZE 0 wnd 304
CAPPED_DATA 0 &wnd->rw_lock 1
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 1 lcn $1 [m]
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 lcn
UNITS 1 lcn unit_bit
UNITS 2 len unit_bit
LOCK2 0 &wnd->rw_lock
TYPE_LOCK (struct wnd_bitmap)->rw_lock

fs/ntfs3/fsntfs.c mark_as_free_ex() -> wnd_zone_set()

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.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 4096-ptr_max
BUF_SIZE 0 wnd 304
CAPPED_DATA 0 &wnd->rw_lock 1
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 1 lcn $1 [m]
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 lcn
UNITS 1 lcn unit_bit
UNITS 2 len unit_bit
LOCK2 0 &wnd->rw_lock
TYPE_LOCK (struct wnd_bitmap)->rw_lock

fs/ntfs3/fsntfs.c mark_as_free_ex() -> wnd_zone_set()

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.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 4096-ptr_max
BUF_SIZE 0 wnd 304
CAPPED_DATA 0 &wnd->rw_lock 1
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
PARAM_COMPARE 0 wnd->zone_bit == $1
PARAM_COMPARE 1 lcn == $0->zone_bit
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 lcn unit_bit
UNITS 2 len unit_bit
LOCK2 0 &wnd->rw_lock
TYPE_LOCK (struct wnd_bitmap)->rw_lock

fs/ntfs3/fsntfs.c ntfs_look_for_free_space() -> wnd_zone_set()

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
BUF_SIZE 0 wnd 304
CAPPED_DATA 0 &wnd->rw_lock 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 lcn unit_bit
UNITS 2 len 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_zone_set()

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 len 100-9223372036854775757
BUF_SIZE 0 wnd 304
CAPPED_DATA 0 wnd->nbits 1
CAPPED_DATA 0 &wnd->rw_lock 1
PARAM_COMPARE 0 wnd->zone_bit == $1
PARAM_COMPARE 1 lcn == $0->zone_bit
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 lcn unit_bit
UNITS 2 len 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_zone_set()

Type Parameter Key Value
PARAM_VALUE 0 wnd 4096-ptr_max
PARAM_VALUE 0 wnd->rw_lock.first_waiter->type 0-1
BUF_SIZE 0 wnd 304
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 lcn unit_bit

fs/ntfs3/fsntfs.c ntfs_look_free_mft() -> wnd_zone_set()

Type Parameter Key Value
PARAM_VALUE 0 wnd 4096-ptr_max
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 0 wnd->sb->s_fs_info->msg_ratelimit.lock.raw_lock.val.counter s32min-s32max
BUF_SIZE 0 wnd 304
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 lcn unit_bit
UNITS 2 len unit_bit
HALF_LOCKED2 0 &wnd->rw_lock

fs/ntfs3/fsntfs.c ntfs_mark_rec_free() -> wnd_zone_set()

Type Parameter Key Value
PARAM_VALUE 0 wnd 4096-ptr_max
PARAM_VALUE 0 wnd->nbits 1-u64max
PARAM_VALUE 0 wnd->rw_lock.first_waiter->type 0-1
PARAM_VALUE 0 wnd->zone_bit 1-u64max
PARAM_VALUE 1 lcn 0-18446744073709551614
PARAM_VALUE 2 len 1
BUF_SIZE 0 wnd 304
CAPPED_DATA 1 lcn 1
CAPPED_DATA 1 lcn 1
DATA_SOURCE 1 lcn $1
PARAM_COMPARE 1 lcn < $0->nbits
PARAM_COMPARE 1 lcn < $0->nbits
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 lcn unit_bit
HALF_LOCKED2 &ni->base->ni_lock
HALF_LOCKED2 0 &wnd->rw_lock

fs/ntfs3/fsntfs.c ntfs_refresh_zone() -> wnd_zone_set()

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 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
BUF_SIZE 0 wnd 304
DATA_SOURCE 2 len r wnd_find
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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