Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/gfs2/glock.c delete_work_func() -> gfs2_queue_verify_delete()

Type Parameter Key Value
PARAM_VALUE 0 gl 4096-ptr_max
PARAM_VALUE 0 gl->gl_name.ln_sbd 4096-ptr_max
PARAM_VALUE 0 gl->gl_name.ln_sbd->sd_vfs->s_cop->empty_dir 0,661756434209751040,4392966320616476672,5234023279986843648
PARAM_VALUE 0 gl->gl_name.ln_sbd->sd_vfs->s_cop->get_context 0,17350455714160640,4513809449498124288,5149251875611672576
PARAM_VALUE 0 gl->gl_name.ln_sbd->sd_vfs->s_cop->set_context 0,317457138841939968,3250154607523569664,5979066299606671360
PARAM_VALUE 1 later 1
HALF_LOCKED2 &pool->lock

fs/gfs2/rgrp.c try_rgrp_unlink() -> gfs2_queue_verify_delete()

Type Parameter Key Value
PARAM_VALUE 0 gl 4096-ptr_max
PARAM_VALUE 0 gl->gl_lockref.count 1-s32max
PARAM_VALUE 0 gl->gl_name.ln_sbd->sd_lockstruct.ls_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 gl->gl_name.ln_sbd->sd_lockstruct.ls_sem.first_waiter->type 0-1
PARAM_VALUE 0 gl->gl_name.ln_sbd->sd_vfs->s_cop->empty_dir 0,86,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144
PARAM_VALUE 0 gl->gl_name.ln_sbd->sd_vfs->s_cop->get_context 0,706,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416
PARAM_VALUE 0 gl->gl_name.ln_sbd->sd_vfs->s_cop->set_context 0,67,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112
PARAM_VALUE 0 gl->gl_object 0
PARAM_VALUE 1 later 0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &rgd->rd_mutex
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &ip->i_inode.i_rwsem
TYPE_LOCK (struct gfs2_rgrpd)->rd_mutex

fs/gfs2/super.c gfs2_drop_inode() -> gfs2_queue_verify_delete()

Type Parameter Key Value
PARAM_VALUE 0 gl->gl_lockref.count 1-s32max
PARAM_VALUE 1 later 1
BIT_INFO 0 gl 0x1,0x1
LOCK2 &inode->i_lock
TYPE_LOCK (struct inode)->i_lock

fs/gfs2/super.c gfs2_evict_inode() -> gfs2_queue_verify_delete()

Type Parameter Key Value
PARAM_VALUE 0 gl 4096-ptr_max
PARAM_VALUE 0 gl->gl_lockref.count 1-s32max
PARAM_VALUE 1 later 1
RX_PATH
TASK_NOT_RUNNING