Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/gfs2/lops.c buf_lo_scan_elements() -> obsolete_rgrp()

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_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 1 bh_log 4096-ptr_max
CAPPED_DATA 0 jd->jd_inode->i_mapping 1
CAPPED_DATA 0 jd->jd_inode->i_mapping->i_pages.xa_head 1
DATA_SOURCE 0 jd $0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 bh_log->b_size
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