Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/ntfs/mft.c map_mft_record_folio() -> ntfs_mft_record_check()

Type Parameter Key Value
PARAM_VALUE 0 vol 4096-ptr_max
PARAM_VALUE 0 vol->mft_ino 4096-ptr_max
PARAM_VALUE 0 vol->mft_ino->i_mapping 4096-ptr_max
PARAM_VALUE 0 vol->mft_record_size 0-4000000
PARAM_VALUE 1 m 4096-ptr_max
BUF_SIZE 1 m 0-u32max
BUF_SIZE 1 m 0-u32max
DATA_SOURCE 1 m r _kmalloc_noprof
RX_PATH
TASK_NOT_RUNNING
UNITS 0 vol unit_byte
UNITS 2 mft_no unit_byte
HALF_LOCKED2 &base_ni->extent_lock
HALF_LOCKED2 &mft_ni->mrec_lock
HALF_LOCKED2 &mftbmp_ni->runlist.lock
HALF_LOCKED2 &new_ni->mrec_lock
HALF_LOCKED2 &ni->extent_lock
HALF_LOCKED2 &ni->mrec_lock
HALF_LOCKED2 &ni->mrec_lock
HALF_LOCKED2 &ni->runlist.lock
HALF_LOCKED2 &old_dir_ni->mrec_lock
HALF_LOCKED2 &old_ni->mrec_lock
HALF_LOCKED2 &vi->i_rwsem
HALF_LOCKED2 &vol->mftbmp_lock

fs/ntfs/inode.c ntfs_read_inode_mount() -> ntfs_mft_record_check()

Type Parameter Key Value
PARAM_VALUE 0 vol 4096-ptr_max
PARAM_VALUE 0 vol->mft_ino 4096-ptr_max
PARAM_VALUE 0 vol->mft_ino->__i_nlink 1
PARAM_VALUE 0 vol->mft_ino->dirtied_when 0
PARAM_VALUE 0 vol->mft_ino->free_inode 8974172554605899776
PARAM_VALUE 0 vol->mft_ino->i_acl (-1)
PARAM_VALUE 0 vol->mft_ino->i_blocks 0
PARAM_VALUE 0 vol->mft_ino->i_bytes 0
PARAM_VALUE 0 vol->mft_ino->i_cdev 0
PARAM_VALUE 0 vol->mft_ino->i_count.counter 1
PARAM_VALUE 0 vol->mft_ino->i_data.a_ops 8032838596130566144
PARAM_VALUE 0 vol->mft_ino->i_data.flags 0
PARAM_VALUE 0 vol->mft_ino->i_data.gfp_mask 1051850
PARAM_VALUE 0 vol->mft_ino->i_data.host 4096-ptr_max
PARAM_VALUE 0 vol->mft_ino->i_data.invalidate_lock.magic 4096-ptr_max
PARAM_VALUE 0 vol->mft_ino->i_data.wb_err 0
PARAM_VALUE 0 vol->mft_ino->i_data.writeback_index 0
PARAM_VALUE 0 vol->mft_ino->i_default_acl (-1)
PARAM_VALUE 0 vol->mft_ino->i_dio_count.counter 0
PARAM_VALUE 0 vol->mft_ino->i_dir_seq 0
PARAM_VALUE 0 vol->mft_ino->i_flags 0
PARAM_VALUE 0 vol->mft_ino->i_flctx 0
PARAM_VALUE 0 vol->mft_ino->i_fop 8974172554605899776
PARAM_VALUE 0 vol->mft_ino->i_fsnotify_mask 0
PARAM_VALUE 0 vol->mft_ino->i_generation 0
PARAM_VALUE 0 vol->mft_ino->i_hash.pprev 4096-ptr_max
PARAM_VALUE 0 vol->mft_ino->i_ino 0
PARAM_VALUE 0 vol->mft_ino->i_link 0
PARAM_VALUE 0 vol->mft_ino->i_mapping 4096-ptr_max
PARAM_VALUE 0 vol->mft_ino->i_nlink 1
PARAM_VALUE 0 vol->mft_ino->i_op 8888400814819930112
PARAM_VALUE 0 vol->mft_ino->i_opflags 0,8,32,40
PARAM_VALUE 0 vol->mft_ino->i_pipe 0
PARAM_VALUE 0 vol->mft_ino->i_private 0
PARAM_VALUE 0 vol->mft_ino->i_rdev 0
PARAM_VALUE 0 vol->mft_ino->i_rwsem.count.counter 0
PARAM_VALUE 0 vol->mft_ino->i_rwsem.first_waiter 0
PARAM_VALUE 0 vol->mft_ino->i_rwsem.magic 4096-ptr_max
PARAM_VALUE 0 vol->mft_ino->i_rwsem.osq.tail.counter 0
PARAM_VALUE 0 vol->mft_ino->i_rwsem.owner.counter 0
PARAM_VALUE 0 vol->mft_ino->i_sb 4096-ptr_max
PARAM_VALUE 0 vol->mft_ino->i_sb_list.prev 4096-ptr_max
PARAM_VALUE 0 vol->mft_ino->i_sequence.counter 0
PARAM_VALUE 0 vol->mft_ino->i_size 0
PARAM_VALUE 0 vol->mft_ino->i_state.__state 0
PARAM_VALUE 0 vol->mft_ino->i_wb_frn_avg_time 0
PARAM_VALUE 0 vol->mft_ino->i_wb_frn_history 0
PARAM_VALUE 0 vol->mft_ino->i_wb_frn_winner 0
PARAM_VALUE 0 vol->mft_ino->i_write_hint 0
PARAM_VALUE 0 vol->mft_ino->i_writecount.counter 0
PARAM_VALUE 0 vol->mft_record_size 0-65536
PARAM_VALUE 0 vol->sb 4096-ptr_max
PARAM_VALUE 1 m 4096-ptr_max
PARAM_VALUE 1 m->bytes_allocated 0-65536
PARAM_VALUE 2 mft_no 0
BUF_SIZE 0 vol 1-s32max
BUF_SIZE 0 vol 1-s32max
BUF_SIZE 1 m 0-u32max
BUF_SIZE 1 m 0-u32max
CAPPED_DATA 0 vol->mft_record_size 1
CAPPED_DATA 1 m 1
CAPPED_DATA 1 m->bytes_allocated 1
DATA_SOURCE 1 m r _kzalloc_noprof
STR_LEN 0 vol->mft_ino->i_sb (-1),8
PARAM_COMPARE 1 m->bytes_allocated == $0->mft_record_size
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 vol->mft_ino->i_blkbits
UNITS 0 vol unit_byte
HALF_LOCKED2 &fc->uapi_mutex