Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/gfs2/recovery.c lops_scan_elements() -> (struct gfs2_log_operations)->lo_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
DATA_SOURCE 2 ld $2
DATA_SOURCE 3 ptr $3
DATA_SOURCE 4 pass $4
NO_OVERFLOW_SIMPLE 0 jd->jd_inode->i_mapping->host->i_bytes
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