Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/ntfs3/frecord.c ni_read_frame() -> ntfs_read_run()

Type Parameter Key Value
PARAM_VALUE 0 sbi 4096-ptr_max
PARAM_VALUE 0 sbi->cluster_size 0-4096
PARAM_VALUE 1 run 4096-ptr_max
PARAM_VALUE 1 run->count 1-u64max
PARAM_VALUE 1 run->runs 4096-ptr_max
PARAM_VALUE 2 buf 1-18446744073709551614
PARAM_VALUE 3 vbo 0-18446744073709551614
BUF_SIZE 1 run 24
CAPPED_DATA 3 vbo 1
CAPPED_DATA 3 vbo 1
DATA_SOURCE 2 buf r vmap
DATA_SOURCE 3 vbo $1
FUZZY_MAX 0 sbi->cluster_size 4096
NOSPEC 3 vbo
NOSPEC 3 vbo
HARD_MAX 0 sbi->cluster_size 4096
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 vbo 0-s32max[c]
UNITS 0 sbi unit_byte
UNITS 3 vbo unit_byte
LOCK2 &ni->file.run_lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &ni->base->ni_lock
TYPE_LOCK (struct ntfs_inode)->file.run_lock

fs/ntfs3/frecord.c ni_read_frame() -> ntfs_read_run()

Type Parameter Key Value
PARAM_VALUE 0 sbi 4096-ptr_max
PARAM_VALUE 0 sbi->cluster_size 0-4096
PARAM_VALUE 1 run 4096-ptr_max
PARAM_VALUE 1 run->count 1-u64max
PARAM_VALUE 1 run->runs 4096-ptr_max
PARAM_VALUE 2 buf 1-18446744073709551614
BUF_SIZE 1 run 24
BUF_SIZE 2 buf 0-u32max
CAPPED_DATA 1 run->count 1
DATA_SOURCE 2 buf r __kvmalloc_node_noprof
FUZZY_MAX 0 sbi->cluster_size 4096
NOSPEC 3 vbo
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 vbo 0-s32max[c]
UNITS 0 sbi unit_byte
UNITS 3 vbo unit_byte
UNITS 4 bytes unit_byte
BYTE_COUNT 2 ==buf4 8050
LOCK2 &ni->file.run_lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &ni->base->ni_lock
TYPE_LOCK (struct ntfs_inode)->file.run_lock

fs/ntfs3/attrib.c attr_wof_frame_info() -> ntfs_read_run()

Type Parameter Key Value
PARAM_VALUE 0 sbi 4096-ptr_max
PARAM_VALUE 1 run 0,4096-ptr_max
PARAM_VALUE 2 buf 18379471554275704832,18446612682070032384
PARAM_VALUE 3 vbo 0,4096-18446744073709551614
PARAM_VALUE 4 bytes 0-4096
BUF_SIZE 1 run 0,24
BUF_SIZE 1 run 0,24
CAPPED_DATA 3 vbo 1
CAPPED_DATA 3 vbo 1
CAPPED_DATA 4 bytes 1
DATA_SOURCE 1 run $2
DATA_SOURCE 2 buf r folio_address
BIT_INFO 3 vbo 0x0,0xfffffffffffff000
BIT_INFO 3 vbo 0x0,0xfffffffffffff000
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sbi unit_byte
UNITS 3 vbo unit_byte
UNITS 4 bytes unit_byte
LOCK2 &ni->file.run_lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &ni->base->ni_lock
TYPE_LOCK (struct ntfs_inode)->file.run_lock