Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/btrfs/file.c btrfs_punch_hole() -> find_first_non_hole()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
NOSPEC 1 *start
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *start 0-9223372036854775807
USER_DATA 2 *len 1-9223372036854775807
USER_PTR 1 start
USER_PTR 2 len
HALF_LOCKED2 &pool->lock

fs/btrfs/file.c btrfs_punch_hole() -> find_first_non_hole()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 start 4096-ptr_max
PARAM_VALUE 2 len 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

fs/btrfs/file.c btrfs_punch_hole() -> find_first_non_hole()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 start 3942522186355507200
PARAM_VALUE 2 len 3528328709204783104
PARAM_VALUE 2 *len 1-u64max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock