Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/gfs2/recovery.c foreach_descriptor() -> lops_scan_elements()

Type Parameter Key Value
PARAM_VALUE 0 jd 4096-ptr_max
PARAM_VALUE 0 jd->extent_list.prev 4096-ptr_max
PARAM_VALUE 0 jd->extent_list.prev->next 4096-ptr_max
PARAM_VALUE 0 jd->extent_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 jd->jd_inode 4096-ptr_max
PARAM_VALUE 0 jd->jd_inode->i_mapping 4096-ptr_max
PARAM_VALUE 0 jd->jd_inode->i_mapping->host->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 jd->jd_inode->i_sb 4096-ptr_max
PARAM_VALUE 0 jd->jd_inode->i_sb->s_fs_info 4096-ptr_max
PARAM_VALUE 0 jd->jd_inode->i_sb->s_fs_info->sd_log_num_revoke 0-4294967295
PARAM_VALUE 0 jd->jd_inode->i_sb->s_fs_info->sd_log_revokes_available.counter s32min-s32max
PARAM_VALUE 0 jd->jd_inode->i_size 8388608-1073741824
PARAM_VALUE 0 jd->nr_extents 0-2
PARAM_VALUE 2 ld 4096-ptr_max
PARAM_VALUE 2 ld->ld_header.mh_type 0-7,9-u32max
PARAM_VALUE 3 *ptr 0-255
PARAM_VALUE 4 pass 0-1
CAPPED_DATA 0 jd->jd_inode->i_mapping 1
DATA_SOURCE 0 jd $0
DATA_SOURCE 1 start $1 [m]
DATA_SOURCE 4 pass $3
UNITS 1 start unit_byte
UNITS 2 ld unit_byte
UNITS 3 ptr unit_byte
LOCK2 &sdp->sd_freeze_mutex
LOCK2 &sdp->sd_log_flush_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct gfs2_sbd)->sd_freeze_mutex
TYPE_LOCK (struct gfs2_sbd)->sd_log_flush_lock