Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/fat/inode.c fat_fill_inode() -> fat_validate_dir()

Type Parameter Key Value
PARAM_VALUE 0 dir 4096-ptr_max
PARAM_VALUE 0 dir->dirtied_when 0
PARAM_VALUE 0 dir->free_inode 5868500355000872960
PARAM_VALUE 0 dir->i_acl (-1)
PARAM_VALUE 0 dir->i_blocks 0
PARAM_VALUE 0 dir->i_bytes 0
PARAM_VALUE 0 dir->i_cdev 0
PARAM_VALUE 0 dir->i_count.counter 1
PARAM_VALUE 0 dir->i_data.a_ops 8032838596130566144
PARAM_VALUE 0 dir->i_data.a_ops->bmap 0,4096-ptr_max
PARAM_VALUE 0 dir->i_data.a_ops->direct_IO 0,4096-ptr_max
PARAM_VALUE 0 dir->i_data.a_ops->dirty_folio 0,4096-ptr_max
PARAM_VALUE 0 dir->i_data.a_ops->error_remove_folio 0,373303432983703552,3650281484867371008,6933238642996355072,7934844886813757440
PARAM_VALUE 0 dir->i_data.a_ops->free_folio 0,4096-ptr_max
PARAM_VALUE 0 dir->i_data.a_ops->invalidate_folio 0,4096-ptr_max
PARAM_VALUE 0 dir->i_data.a_ops->is_dirty_writeback 0,7518438349615988736,8867638692533350400
PARAM_VALUE 0 dir->i_data.a_ops->is_partially_uptodate 0,1933474595957665792,7182876493439184896
PARAM_VALUE 0 dir->i_data.a_ops->launder_folio 0,4096-ptr_max
PARAM_VALUE 0 dir->i_data.a_ops->migrate_folio 0,4096-ptr_max
PARAM_VALUE 0 dir->i_data.a_ops->read_folio 0,4096-ptr_max
PARAM_VALUE 0 dir->i_data.a_ops->readahead 0,4096-ptr_max
PARAM_VALUE 0 dir->i_data.a_ops->release_folio 0,4096-ptr_max
PARAM_VALUE 0 dir->i_data.a_ops->swap_activate 0,4096-ptr_max
PARAM_VALUE 0 dir->i_data.a_ops->swap_deactivate 0,1546359495696728064,3888069641387622400,7359158453655175168,8604917376913055744
PARAM_VALUE 0 dir->i_data.a_ops->swap_rw 0,4986685196838862848,8487923053812363264
PARAM_VALUE 0 dir->i_data.a_ops->write_begin 0,4096-ptr_max
PARAM_VALUE 0 dir->i_data.a_ops->write_end 0,4096-ptr_max
PARAM_VALUE 0 dir->i_data.a_ops->writepages 0,4096-ptr_max
PARAM_VALUE 0 dir->i_data.flags 0
PARAM_VALUE 0 dir->i_data.gfp_mask 1051850
PARAM_VALUE 0 dir->i_data.host 4096-ptr_max
PARAM_VALUE 0 dir->i_data.host->__i_nlink 1
PARAM_VALUE 0 dir->i_data.host->free_inode 8974172554605899776
PARAM_VALUE 0 dir->i_data.host->i_cdev 0
PARAM_VALUE 0 dir->i_data.host->i_count.counter 1
PARAM_VALUE 0 dir->i_data.host->i_data.a_ops 8032838596130566144
PARAM_VALUE 0 dir->i_data.host->i_data.host 4096-ptr_max
PARAM_VALUE 0 dir->i_data.host->i_fop 8974172554605899776
PARAM_VALUE 0 dir->i_data.host->i_ino 0
PARAM_VALUE 0 dir->i_data.host->i_link 0
PARAM_VALUE 0 dir->i_data.host->i_nlink 1
PARAM_VALUE 0 dir->i_data.host->i_op 8888400814819930112
PARAM_VALUE 0 dir->i_data.host->i_opflags 0,8,32,40
PARAM_VALUE 0 dir->i_data.host->i_pipe 0
PARAM_VALUE 0 dir->i_data.host->i_rdev 0
PARAM_VALUE 0 dir->i_data.host->i_rwsem.magic 4096-ptr_max
PARAM_VALUE 0 dir->i_data.host->i_sb 4096-ptr_max
PARAM_VALUE 0 dir->i_data.host->i_size 0
PARAM_VALUE 0 dir->i_data.invalidate_lock.dep_map->name 0-255
PARAM_VALUE 0 dir->i_data.invalidate_lock.magic 4096-ptr_max
PARAM_VALUE 0 dir->i_data.wb_err 0
PARAM_VALUE 0 dir->i_default_acl (-1)
PARAM_VALUE 0 dir->i_dio_count.counter 0
PARAM_VALUE 0 dir->i_dir_seq 0
PARAM_VALUE 0 dir->i_flags 0
PARAM_VALUE 0 dir->i_flctx 0
PARAM_VALUE 0 dir->i_fop 5868500355000872960
PARAM_VALUE 0 dir->i_fop->check_flags 0
PARAM_VALUE 0 dir->i_fop->compat_ioctl 3688435764599107584
PARAM_VALUE 0 dir->i_fop->copy_file_range 0
PARAM_VALUE 0 dir->i_fop->fadvise 0
PARAM_VALUE 0 dir->i_fop->fallocate 0
PARAM_VALUE 0 dir->i_fop->fasync 0
PARAM_VALUE 0 dir->i_fop->flock 0
PARAM_VALUE 0 dir->i_fop->flush 0
PARAM_VALUE 0 dir->i_fop->fop_flags 0
PARAM_VALUE 0 dir->i_fop->fsync 5978258607677349888
PARAM_VALUE 0 dir->i_fop->get_unmapped_area 0
PARAM_VALUE 0 dir->i_fop->iopoll 0
PARAM_VALUE 0 dir->i_fop->iterate_shared 3810989965060767744
PARAM_VALUE 0 dir->i_fop->llseek 6501736986102657024
PARAM_VALUE 0 dir->i_fop->lock 0
PARAM_VALUE 0 dir->i_fop->mmap 0
PARAM_VALUE 0 dir->i_fop->mmap_prepare 0
PARAM_VALUE 0 dir->i_fop->open 0
PARAM_VALUE 0 dir->i_fop->poll 0
PARAM_VALUE 0 dir->i_fop->read 1706536041323986944
PARAM_VALUE 0 dir->i_fop->read_iter 0
PARAM_VALUE 0 dir->i_fop->release 0
PARAM_VALUE 0 dir->i_fop->remap_file_range 0
PARAM_VALUE 0 dir->i_fop->setlease 8029451603284156416
PARAM_VALUE 0 dir->i_fop->show_fdinfo 0
PARAM_VALUE 0 dir->i_fop->splice_eof 0
PARAM_VALUE 0 dir->i_fop->splice_read 0
PARAM_VALUE 0 dir->i_fop->splice_write 0
PARAM_VALUE 0 dir->i_fop->unlocked_ioctl 3390685946748874752
PARAM_VALUE 0 dir->i_fop->uring_cmd 0
PARAM_VALUE 0 dir->i_fop->uring_cmd_iopoll 0
PARAM_VALUE 0 dir->i_fop->write 0
PARAM_VALUE 0 dir->i_fop->write_iter 0
PARAM_VALUE 0 dir->i_fsnotify_mask 0
PARAM_VALUE 0 dir->i_generation 0,2-u32max
PARAM_VALUE 0 dir->i_ino 2-u32max
PARAM_VALUE 0 dir->i_link 0
PARAM_VALUE 0 dir->i_mapping 4096-ptr_max
PARAM_VALUE 0 dir->i_mapping->a_ops 8032838596130566144
PARAM_VALUE 0 dir->i_mapping->flags 0
PARAM_VALUE 0 dir->i_mapping->gfp_mask 1051850
PARAM_VALUE 0 dir->i_mapping->host 4096-ptr_max
PARAM_VALUE 0 dir->i_mapping->invalidate_lock.magic 4096-ptr_max
PARAM_VALUE 0 dir->i_mapping->wb_err 0
PARAM_VALUE 0 dir->i_mode 16384-16895
PARAM_VALUE 0 dir->i_opflags 0,8,32,40
PARAM_VALUE 0 dir->i_pipe 0
PARAM_VALUE 0 dir->i_private 0
PARAM_VALUE 0 dir->i_rdev 0
PARAM_VALUE 0 dir->i_rwsem.dep_map->name 0-255
PARAM_VALUE 0 dir->i_rwsem.magic 4096-ptr_max
PARAM_VALUE 0 dir->i_sb 4096-ptr_max
PARAM_VALUE 0 dir->i_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648
PARAM_VALUE 0 dir->i_sb->s_inode_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dir->i_sb->s_inodes.next 4096-ptr_max
PARAM_VALUE 0 dir->i_sb->s_inodes.next->next 4096-ptr_max
PARAM_VALUE 0 dir->i_sb->s_inodes.next->prev 4096-ptr_max
PARAM_VALUE 0 dir->i_sb_list.prev 4096-ptr_max
PARAM_VALUE 0 dir->i_sequence.counter 0
PARAM_VALUE 0 dir->i_size s32min-s32max
PARAM_VALUE 0 dir->i_state.__state 0
PARAM_VALUE 0 dir->i_wb_frn_avg_time 0
PARAM_VALUE 0 dir->i_wb_frn_history 0
PARAM_VALUE 0 dir->i_wb_frn_winner 0
PARAM_VALUE 0 dir->i_write_hint 0
BUF_SIZE 0 dir->i_fop 272
BUF_SIZE 0 dir->i_op 256
CAPPED_DATA 0 dir->i_ino 1
CAPPED_DATA 0 dir->i_mode 1
DATA_SOURCE 0 dir $0
BIT_INFO 0 dir->i_generation 0x0,0xfffffffe
BIT_INFO 0 dir->i_mode 0x4000,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 dir->i_blkbits
NO_OVERFLOW_SIMPLE 0 dir->i_sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 dir->i_sb->s_blocksize_bits