Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/btrfs/file.c btrfs_fallocate() -> btrfs_assert_inode_range_clean()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 start 0-9223372036854775807
CAPPED_DATA 1 start 1
CAPPED_DATA 1 start 1
NOSPEC 1 start
NOSPEC 1 start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 start 0-9223372036854775807[c]
HALF_LOCKED2 &pool->lock

fs/btrfs/file.c btrfs_punch_hole_lock_range() -> btrfs_assert_inode_range_clean()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
CAPPED_DATA 1 start 1
CAPPED_DATA 1 start 1
DATA_SOURCE 1 start $1
DATA_SOURCE 2 end $2
NOSPEC 1 start
NOSPEC 1 start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 start 0-9223372036854775807[c]
USER_DATA 2 end 0-9223372041149743101[c]
UNITS 1 start unit_byte
UNITS 2 end unit_byte
HALF_LOCKED2 &pool->lock