Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/gfs2/rgrp.c gfs2_alloc_extent() -> gfs2_setbit()

Type Parameter Key Value
PARAM_VALUE 0 rbm 3062558116872404992
PARAM_VALUE 0 rbm->offset 0-4294967294
PARAM_VALUE 0 rbm->rgd 4096-ptr_max
PARAM_VALUE 0 rbm->rgd->rd_data 1-u32max
PARAM_VALUE 0 rbm->rgd->rd_gl 4096-ptr_max
PARAM_VALUE 0 rbm->rgd->rd_gl->gl_name.ln_sbd 4096-ptr_max
PARAM_VALUE 0 rbm->rgd->rd_gl->gl_name.ln_sbd->sd_ail_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 rbm->rgd->rd_gl->gl_name.ln_sbd->sd_log_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 do_clone 1
PARAM_VALUE 2 new_state 1,3
CAPPED_DATA 0 rbm->offset 1
DATA_SOURCE 0 rbm $0
FUZZY_MAX 2 new_state 3
PARAM_COMPARE 0 rbm->offset < $0->rgd->rd_data
BIT_INFO 2 new_state 0x1,0x3
HARD_MAX 2 new_state 3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &rbm.rgd->rd_mutex
HALF_LOCKED2 &ip->i_rw_mutex
HALF_LOCKED2 &sdp->sd_log_flush_lock
TYPE_LOCK (struct gfs2_rgrpd)->rd_mutex

fs/gfs2/rgrp.c gfs2_alloc_extent() -> gfs2_setbit()

Type Parameter Key Value
PARAM_VALUE 0 rbm 8067462723070775296
PARAM_VALUE 0 rbm->bii 0
PARAM_VALUE 0 rbm->offset 0
PARAM_VALUE 0 rbm->rgd 4096-ptr_max
PARAM_VALUE 1 do_clone 1
PARAM_VALUE 2 new_state 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &rbm.rgd->rd_mutex
HALF_LOCKED2 &ip->i_rw_mutex
HALF_LOCKED2 &sdp->sd_log_flush_lock
TYPE_LOCK (struct gfs2_rgrpd)->rd_mutex

fs/gfs2/rgrp.c rgblk_free() -> gfs2_setbit()

Type Parameter Key Value
PARAM_VALUE 0 rbm 3663712604581539840
PARAM_VALUE 0 rbm->rgd 4096-ptr_max
PARAM_VALUE 1 do_clone 0
PARAM_VALUE 2 new_state 0,2
DATA_SOURCE 2 new_state $4
HARD_MAX 2 new_state 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &rgd->rd_mutex
HALF_LOCKED2 &sdp->sd_log_flush_lock
TYPE_LOCK (struct gfs2_rgrpd)->rd_mutex