Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/gfs2/quota.c do_sync() -> gfs2_write_alloc_required()

Type Parameter Key Value
PARAM_VALUE 0 ip 4096-ptr_max
PARAM_VALUE 0 ip->i_gl 4096-ptr_max
PARAM_VALUE 0 ip->i_gl->gl_lockref.count 1-s32max
PARAM_VALUE 0 ip->i_inode.i_rwsem.dep_map->name 0-255
PARAM_VALUE 0 ip->i_inode.i_rwsem.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 ip->i_inode.i_rwsem.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 ip->i_inode.i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 ip->i_inode.i_rwsem.osq.tail.counter 0-s32max
PARAM_VALUE 0 ip->i_inode.i_sb 4096-ptr_max
PARAM_VALUE 0 ip->i_inode.i_sb->s_fs_info 4096-ptr_max
PARAM_VALUE 1 offset 0-755914244008
PARAM_VALUE 2 len 88
DATA_SOURCE 0 ip r GFS2_I
DATA_SOURCE 1 offset r qd2offset
RX_PATH
TASK_NOT_RUNNING
UNITS 1 offset unit_byte
UNITS 2 len unit_byte
LOCK2 0 &ip->i_inode.i_rwsem
HALF_LOCKED2 &sdp->sd_quota_sync_mutex
TYPE_LOCK (struct inode)->i_rwsem

fs/gfs2/quota.c gfs2_set_dqblk() -> gfs2_write_alloc_required()

Type Parameter Key Value
PARAM_VALUE 0 ip 4096-ptr_max
PARAM_VALUE 0 ip->i_gl 4096-ptr_max
PARAM_VALUE 0 ip->i_gl->gl_lockref.count 1-s32max
PARAM_VALUE 0 ip->i_inode.i_rwsem.dep_map->name 0-255
PARAM_VALUE 0 ip->i_inode.i_rwsem.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 ip->i_inode.i_rwsem.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 ip->i_inode.i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 ip->i_inode.i_rwsem.osq.tail.counter 0-s32max
PARAM_VALUE 0 ip->i_inode.i_sb 4096-ptr_max
PARAM_VALUE 0 ip->i_inode.i_sb->s_fs_info 4096-ptr_max
PARAM_VALUE 0 ip->i_inode.i_sb->s_fs_info->sd_args.ar_quota 0-3
PARAM_VALUE 1 offset 0-755914244008
PARAM_VALUE 2 len 88
DATA_SOURCE 0 ip r GFS2_I
DATA_SOURCE 1 offset r qd2offset
UNITS 2 len unit_byte
LOCK2 0 &ip->i_inode.i_rwsem
HALF_LOCKED2 &sb->s_umount
TYPE_LOCK (struct inode)->i_rwsem

fs/gfs2/super.c gfs2_jdesc_check() -> gfs2_write_alloc_required()

Type Parameter Key Value
PARAM_VALUE 0 ip 4096-ptr_max
PARAM_VALUE 1 offset 0
PARAM_VALUE 2 len 8388608-1073741824
DATA_SOURCE 0 ip r GFS2_I
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sdp->sd_freeze_mutex

fs/gfs2/file.c __gfs2_fallocate() -> gfs2_write_alloc_required()

Type Parameter Key Value
PARAM_VALUE 0 ip 4096-ptr_max
PARAM_VALUE 0 ip->i_inode.i_sb 4096-ptr_max
PARAM_VALUE 0 ip->i_res.rs_rgd->rd_gl->gl_name.ln_sbd->sd_lockstruct.ls_sem.first_waiter->type 0-1
PARAM_VALUE 0 ip->i_res.rs_rgd->rd_gl->gl_name.ln_sbd->sd_vfs->s_umount.first_waiter->type 0-1
PARAM_VALUE 0 ip->i_res.rs_rgd->rd_gl->gl_ops->go_flags 0,2-3
PARAM_VALUE 0 ip->i_res.rs_rgd->rd_gl->gl_ops->go_held 0,6179549714839506944
PARAM_VALUE 0 ip->i_res.rs_rgd->rd_gl->gl_ops->go_subclass 0-1
PARAM_VALUE 0 ip->i_res.rs_rgd->rd_gl->gl_ops->go_type 1-6,8-9
PARAM_VALUE 0 ip->i_res.rs_rgd->rd_rgl->rl_magic 18225520
PARAM_VALUE 0 ip->i_rgd_gh.gh_gl->gl_name.ln_sbd->sd_lockstruct.ls_sem.first_waiter->type 0-1
PARAM_VALUE 0 ip->i_rgd_gh.gh_gl->gl_name.ln_sbd->sd_vfs->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ip->i_rgd_gh.gh_gl->gl_name.ln_sbd->sd_vfs->s_umount.first_waiter->type 0-1
PARAM_VALUE 0 ip->i_rgd_gh.gh_gl->gl_ops->go_flags 0,2-3
PARAM_VALUE 0 ip->i_rgd_gh.gh_gl->gl_ops->go_held 0,6179549714839506944
PARAM_VALUE 0 ip->i_rgd_gh.gh_gl->gl_ops->go_subclass 0-1
PARAM_VALUE 0 ip->i_rgd_gh.gh_gl->gl_ops->go_type 1-6,8-9
CAPPED_DATA 2 len 1
DATA_SOURCE 0 ip r GFS2_I
DATA_SOURCE 1 offset $2 [m]
NOSPEC 1 offset
NOSPEC 1 offset
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 offset 0-9223372036854775807[c]
UNITS 1 offset unit_byte
UNITS 2 len unit_byte
LOCK2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem

fs/gfs2/file.c gfs2_page_mkwrite() -> gfs2_write_alloc_required()

Type Parameter Key Value
PARAM_VALUE 0 ip 4096-ptr_max
PARAM_VALUE 0 ip->i_gl 4096-ptr_max
PARAM_VALUE 0 ip->i_gl->gl_lockref.count 1-s32max
PARAM_VALUE 0 ip->i_gl->gl_name.ln_sbd 4096-ptr_max
PARAM_VALUE 0 ip->i_height 1-255
PARAM_VALUE 1 offset 0-18446744073709551614
CAPPED_DATA 1 offset 1
CAPPED_DATA 1 offset 1
DATA_SOURCE 0 ip r GFS2_I
DATA_SOURCE 1 offset r folio_pos
BIT_INFO 1 offset 0x0,0x7fffffffffffffff
BIT_INFO 1 offset 0x0,0x7fffffffffffffff
RX_PATH
TASK_NOT_RUNNING