Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ext4/file.c ext4_dio_write_checks() -> ext4_extending_io()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 1 offset s64min-9223372036854775806
PARAM_VALUE 2 len 1-9223372036854775807
CAPPED_DATA 0 inode 1
NOSPEC 2 len
NOSPEC 2 len
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 inode->i_sb->s_fs_info->s_first_error_block s64min-s64max[c]
USER_DATA 0 inode->i_sb->s_fs_info->s_first_error_ino 0-4294967295
USER_DATA 2 len 1-9223372036854775807
UNITS 1 offset unit_byte
UNITS 2 len unit_byte
LOCK2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 0 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem