Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/jfs/jfs_umount.c jfs_umount() -> dbUnmount()

Type Parameter Key Value
PARAM_VALUE 1 mounterror 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &log->loglock

fs/jfs/jfs_mount.c jfs_mount() -> dbUnmount()

Type Parameter Key Value
PARAM_VALUE 0 ipbmap 4096-ptr_max
PARAM_VALUE 0 ipbmap->__i_nlink 1
PARAM_VALUE 0 ipbmap->dirtied_when 0
PARAM_VALUE 0 ipbmap->free_inode 8974172554605899776
PARAM_VALUE 0 ipbmap->i_acl (-1)
PARAM_VALUE 0 ipbmap->i_blocks 0
PARAM_VALUE 0 ipbmap->i_bytes 0
PARAM_VALUE 0 ipbmap->i_cdev 0
PARAM_VALUE 0 ipbmap->i_count.counter 1
PARAM_VALUE 0 ipbmap->i_data.a_ops 8032838596130566144
PARAM_VALUE 0 ipbmap->i_data.flags 0
PARAM_VALUE 0 ipbmap->i_data.gfp_mask 1051850
PARAM_VALUE 0 ipbmap->i_data.host 4096-ptr_max
PARAM_VALUE 0 ipbmap->i_data.host->i_sb->s_export_op->encode_fh 0,2,1398972869330624512,1616549510479982592,2037984473558433792
PARAM_VALUE 0 ipbmap->i_data.host->i_sb->s_export_op->fh_to_dentry 0,8684,447817974243774464,687732489194512384,742201802719268864
PARAM_VALUE 0 ipbmap->i_data.host->i_sb->s_export_op->fh_to_parent 0,5297,148606482432692224,436469935444291584,467281172929331200
PARAM_VALUE 0 ipbmap->i_data.host->i_sb->s_export_op->get_parent 0,8931,264940071972966400,291591359766798336,565128213429456896
PARAM_VALUE 0 ipbmap->i_data.i_mmap_writable.counter 0
PARAM_VALUE 0 ipbmap->i_data.invalidate_lock.magic 4096-ptr_max
PARAM_VALUE 0 ipbmap->i_data.wb_err 0
PARAM_VALUE 0 ipbmap->i_data.writeback_index 0
PARAM_VALUE 0 ipbmap->i_default_acl (-1)
PARAM_VALUE 0 ipbmap->i_dio_count.counter 0
PARAM_VALUE 0 ipbmap->i_dir_seq 0
PARAM_VALUE 0 ipbmap->i_flags 32
PARAM_VALUE 0 ipbmap->i_flctx 0
PARAM_VALUE 0 ipbmap->i_fop 8974172554605899776
PARAM_VALUE 0 ipbmap->i_fsnotify_mask 0
PARAM_VALUE 0 ipbmap->i_hash.pprev 4096-ptr_max
PARAM_VALUE 0 ipbmap->i_ino 2
PARAM_VALUE 0 ipbmap->i_link 0
PARAM_VALUE 0 ipbmap->i_mapping 4096-ptr_max
PARAM_VALUE 0 ipbmap->i_mapping->host->i_sb->s_export_op->fh_to_parent 0,5297,148606482432692224,436469935444291584,467281172929331200
PARAM_VALUE 0 ipbmap->i_nlink 1
PARAM_VALUE 0 ipbmap->i_op 8888400814819930112
PARAM_VALUE 0 ipbmap->i_opflags 0,8,32,40
PARAM_VALUE 0 ipbmap->i_pipe 0
PARAM_VALUE 0 ipbmap->i_private 0
PARAM_VALUE 0 ipbmap->i_rdev 0
PARAM_VALUE 0 ipbmap->i_rwsem.count.counter 0
PARAM_VALUE 0 ipbmap->i_rwsem.first_waiter 0
PARAM_VALUE 0 ipbmap->i_rwsem.magic 4096-ptr_max
PARAM_VALUE 0 ipbmap->i_rwsem.osq.tail.counter 0
PARAM_VALUE 0 ipbmap->i_rwsem.owner.counter 0
PARAM_VALUE 0 ipbmap->i_sb 4096-ptr_max
PARAM_VALUE 0 ipbmap->i_sb->s_cop->empty_dir 0,86,661756434209751040,4392966320616476672,5234023279986843648
PARAM_VALUE 0 ipbmap->i_sb->s_cop->get_context 0,706,17350455714160640,4513809449498124288,5149251875611672576
PARAM_VALUE 0 ipbmap->i_sb->s_cop->set_context 0,67,317457138841939968,3250154607523569664,5979066299606671360
PARAM_VALUE 0 ipbmap->i_sb->s_export_op->fh_to_parent 0,5297,148606482432692224,436469935444291584,467281172929331200
PARAM_VALUE 0 ipbmap->i_sb_list.prev 4096-ptr_max
PARAM_VALUE 0 ipbmap->i_sequence.counter 0
PARAM_VALUE 0 ipbmap->i_state.__state 0
PARAM_VALUE 0 ipbmap->i_wb_frn_avg_time 0
PARAM_VALUE 0 ipbmap->i_wb_frn_history 0
PARAM_VALUE 0 ipbmap->i_wb_frn_winner 0
PARAM_VALUE 0 ipbmap->i_write_hint 0
PARAM_VALUE 0 ipbmap->i_writecount.counter 0
PARAM_VALUE 1 mounterror 1
BUF_SIZE 0 ipbmap->i_sb (-1),2880
DATA_SOURCE 0 ipbmap r diReadSpecial
STR_LEN 0 ipbmap->i_sb (-1),8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ipbmap->__i_nlink 1
NO_OVERFLOW_SIMPLE 0 ipbmap->i_blkbits
NO_OVERFLOW_SIMPLE 0 ipbmap->i_sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 ipbmap->i_sb->s_blocksize_bits
HALF_LOCKED2 &fc->uapi_mutex

fs/jfs/jfs_mount.c jfs_mount_rw() -> dbUnmount()

Type Parameter Key Value
PARAM_VALUE 0 ipbmap 4096-ptr_max
PARAM_VALUE 0 ipbmap->i_mapping 4096-ptr_max
PARAM_VALUE 1 mounterror 1
CAPPED_DATA 0 ipbmap->i_mapping->i_pages.xa_head 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fc->uapi_mutex
HALF_LOCKED2 &sb->s_umount