Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/btrfs/direct-io.c btrfs_extract_ordered_extent() -> btrfs_split_ordered_extent()

Type Parameter Key Value
PARAM_VALUE 0 ordered 4096-ptr_max
PARAM_VALUE 0 ordered->disk_bytenr 0
PARAM_VALUE 0 ordered->disk_num_bytes 1-u64max
PARAM_VALUE 1 len 0
DATA_SOURCE 0 ordered $1
PARAM_COMPARE 1 len < $0->disk_num_bytes
PARAM_COMPARE 1 len < $0->disk_num_bytes
RX_PATH
TASK_NOT_RUNNING
UNITS 1 len unit_byte

fs/btrfs/zoned.c btrfs_zoned_split_ordered() -> btrfs_split_ordered_extent()

Type Parameter Key Value
PARAM_VALUE 0 ordered 4096-ptr_max
PARAM_VALUE 0 ordered->bioc_list.next 4096-ptr_max
PARAM_VALUE 0 ordered->disk_num_bytes 1-u64max
PARAM_VALUE 0 ordered->inode 4096-ptr_max
PARAM_VALUE 0 ordered->inode->root 4096-ptr_max
PARAM_VALUE 0 ordered->inode->root->fs_info->zone_size 1-u64max
PARAM_VALUE 0 ordered->inode->vfs_inode.i_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648
PARAM_VALUE 1 len 0-18446744073709551614
CAPPED_DATA 1 len 1
CAPPED_DATA 1 len 1
DATA_SOURCE 0 ordered $0
DATA_SOURCE 1 len $2
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 ordered->file_offset
NO_OVERFLOW_SIMPLE 0 ordered->num_bytes
NO_OVERFLOW_SIMPLE 0 ordered->truncated_len
UNITS 1 len unit_byte
HALF_LOCKED2 &pool->lock