Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ntfs/file.c ntfs_fallocate() -> ntfs_insert_range()

Type Parameter Key Value
PARAM_VALUE 0 ni 4096-ptr_max
PARAM_VALUE 0 ni->runlist.lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ni->runlist.lock.first_waiter->type 0-1
PARAM_VALUE 0 ni->vol 4096-ptr_max
PARAM_VALUE 0 ni->vol->vol_flags 1-u16max
BUF_SIZE 0 ni 776
DATA_SOURCE 0 ni r NTFS_I
DATA_SOURCE 1 offset $2
DATA_SOURCE 2 len $3
PARAM_COMPARE 0 ni->vol->mft_zone_end != $0->vol->mft_zone_start
NOSPEC 1 offset
NOSPEC 1 offset
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 offset 0-s64max
USER_DATA 2 len 1-s64max
LOCK2 &vi->i_rwsem
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &vi->i_mapping->invalidate_lock
TYPE_LOCK (struct inode)->i_rwsem