Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

fs/gfs2/log.c gfs2_ail1_flush() -> gfs2_withdraw()

Type Parameter Key Value
PARAM_VALUE 0 sdp 4096-ptr_max
PARAM_VALUE 0 sdp->sd_ail_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sdp->sd_log_flush_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 sdp->sd_log_flush_lock.first_waiter->type 0-1
BUF_SIZE 0 sdp (-1),1-s32max
BUF_SIZE 0 sdp (-1),1-s32max
DATA_SOURCE 0 sdp $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sdp->sd_jdesc->jd_log_bio->bi_io_vec
UNITS 0 sdp unit_byte
HALF_LOCKED2 0 &sdp->sd_log_flush_lock

fs/gfs2/glock.c do_xmote() -> gfs2_withdraw()

Type Parameter Key Value
PARAM_VALUE 0 sdp 4096-ptr_max
RX_PATH
NOCHECK_CALL
UNITS 0 sdp unit_byte
HALF_LOCKED2 &pool->lock

fs/gfs2/util.c gfs2_assert_withdraw_i() -> gfs2_withdraw()

Type Parameter Key Value
PARAM_VALUE 0 sdp 4096-ptr_max
BUF_SIZE 0 sdp (-1),1-s32max
BUF_SIZE 0 sdp (-1),1-s32max
BUF_SIZE 0 sdp->sd_log_tr (-1),1-s32max
DATA_SOURCE 0 sdp $0
STR_LEN 0 sdp 1-2,6-9,17-18,21-26,29-31,35-38,40,42,46,51,81
STR_LEN 0 sdp 1-2,6-9,17-18,21-26,29-31,35-38,40,42,46,51,81
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sdp unit_byte
HALF_LOCKED2 &sdp->sd_freeze_mutex
HALF_LOCKED2 &sdp->sd_log_flush_lock
HALF_LOCKED2 &sdp->sd_log_lock

fs/gfs2/util.c gfs2_consist_i() -> gfs2_withdraw()

Type Parameter Key Value
PARAM_VALUE 0 sdp 4096-ptr_max
DATA_SOURCE 0 sdp $0
NOCHECK_CALL

fs/gfs2/util.c gfs2_consist_inode_i() -> gfs2_withdraw()

Type Parameter Key Value
PARAM_VALUE 0 sdp 4096-ptr_max
BUF_SIZE 0 sdp 1-s32max
BUF_SIZE 0 sdp 1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sdp unit_byte
HALF_LOCKED2 &sdp->sd_freeze_mutex
HALF_LOCKED2 &sdp->sd_log_flush_lock

fs/gfs2/util.c gfs2_consist_rgrpd_i() -> gfs2_withdraw()

Type Parameter Key Value
PARAM_VALUE 0 sdp 4096-ptr_max
BUF_SIZE 0 sdp (-1),1-s32max
BUF_SIZE 0 sdp (-1),1-s32max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sdp unit_byte
HALF_LOCKED2 &rgd->rd_mutex
HALF_LOCKED2 &sdp->sd_log_flush_lock

fs/gfs2/util.c gfs2_io_error_bh_i() -> gfs2_withdraw()

Type Parameter Key Value
PARAM_VALUE 0 sdp 4096-ptr_max
BUF_SIZE 0 sdp (-1),1-s32max
BUF_SIZE 0 sdp (-1),1-s32max
CAPPED_DATA 0 sdp 1
DATA_SOURCE 0 sdp $0
STR_LEN 0 sdp 13-14,17
STR_LEN 0 sdp 13-14,17
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sdp unit_byte
HALF_LOCKED2 &sdp->sd_ail_lock
HALF_LOCKED2 &sdp->sd_log_flush_lock
HALF_LOCKED2 &sdp->sd_log_lock

fs/gfs2/util.c gfs2_io_error_i() -> gfs2_withdraw()

Type Parameter Key Value
PARAM_VALUE 0 sdp 4096-ptr_max
DATA_SOURCE 0 sdp $0
STR_LEN 0 sdp 15
STR_LEN 0 sdp 15
RX_PATH
NOCHECK_CALL
UNITS 0 sdp unit_byte
HALF_LOCKED2 &pool->lock

fs/gfs2/util.c gfs2_meta_check_ii() -> gfs2_withdraw()

Type Parameter Key Value
PARAM_VALUE 0 sdp 4096-ptr_max
BUF_SIZE 0 sdp (-1),1-s32max
BUF_SIZE 0 sdp (-1),1-s32max
BUF_SIZE 0 sdp->sd_quota_bitmap (-1)-536870912
DATA_SOURCE 0 sdp $0
STR_LEN 0 sdp 13-15,17-18
STR_LEN 0 sdp 13-15,17-18
STR_LEN 0 sdp->sd_fsname (-1)
STR_LEN 0 sdp->sd_inode->i_sb (-1)
STR_LEN 0 sdp->sd_vfs (-1)
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sdp unit_byte
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &sdp->sd_freeze_mutex
HALF_LOCKED2 &sdp->sd_log_flush_lock

fs/gfs2/util.c gfs2_metatype_check_ii() -> gfs2_withdraw()

Type Parameter Key Value
PARAM_VALUE 0 sdp 4096-ptr_max
BUF_SIZE 0 sdp (-1),1-s32max
BUF_SIZE 0 sdp (-1),1-s32max
BUF_SIZE 0 sdp->sd_quota_bitmap (-1)-536870912
DATA_SOURCE 0 sdp $0
STR_LEN 0 sdp 13-15,17-18
STR_LEN 0 sdp 13-15,17-18
STR_LEN 0 sdp->sd_fsname (-1)
STR_LEN 0 sdp->sd_inode->i_sb (-1)
STR_LEN 0 sdp->sd_vfs (-1)
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sdp unit_byte
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &sdp->sd_freeze_mutex
HALF_LOCKED2 &sdp->sd_log_flush_lock

fs/gfs2/glops.c gfs2_ail_error() -> gfs2_withdraw()

Type Parameter Key Value
PARAM_VALUE 0 sdp 4096-ptr_max
PARAM_VALUE 0 sdp->sd_log_blks_free.counter 0-s32max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sdp unit_byte
LOCK2 &sdp->sd_ail_lock
LOCK2 &sdp->sd_log_flush_lock
LOCK2 &sdp->sd_log_lock
TYPE_LOCK (struct gfs2_sbd)->sd_ail_lock
TYPE_LOCK (struct gfs2_sbd)->sd_log_flush_lock
TYPE_LOCK (struct gfs2_sbd)->sd_log_lock

fs/gfs2/lops.c gfs2_end_log_write() -> gfs2_withdraw()

Type Parameter Key Value
BUF_SIZE 0 sdp (-1)-s32max
BUF_SIZE 0 sdp (-1)-s32max
STR_LEN 0 sdp (-1),8,11-12,14,17,19-20,23,26-27,29,31-32
STR_LEN 0 sdp (-1),8,11-12,14,17,19-20,23,26-27,29,31-32
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/gfs2/trans.c gfs2_trans_add_meta() -> gfs2_withdraw()

Type Parameter Key Value
PARAM_VALUE 0 sdp 4096-ptr_max
PARAM_VALUE 0 sdp->sd_log_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sdp->sd_vfs 4096-ptr_max
PARAM_VALUE 0 sdp->sd_vfs->s_writers.frozen 4
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sdp unit_byte
LOCK2 0 &sdp->sd_log_lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &ip->i_rw_mutex
HALF_LOCKED2 &rbm.rgd->rd_mutex
HALF_LOCKED2 &rgd->rd_mutex
HALF_LOCKED2 &sdp->sd_log_flush_lock
TYPE_LOCK (struct gfs2_sbd)->sd_log_lock

fs/gfs2/sys.c withdraw_store() -> gfs2_withdraw()

Type Parameter Key Value
PARAM_VALUE 0 sdp 4096-ptr_max
DATA_SOURCE 0 sdp $0
CAPABLE 0 21
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex