Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/gfs2/trans.c __gfs2_trans_begin() -> gfs2_log_reserve()

Type Parameter Key Value
PARAM_VALUE 0 sdp 4096-ptr_max
PARAM_VALUE 0 sdp->sd_jdesc 4096-ptr_max
PARAM_VALUE 0 sdp->sd_log_blks_free.counter 0-s32max
PARAM_VALUE 0 sdp->sd_log_flush_lock.dep_map->name 0-255
PARAM_VALUE 0 sdp->sd_log_flush_lock.first_waiter->handoff_set 1
PARAM_VALUE 0 sdp->sd_log_flush_lock.first_waiter->list.next 2212933610777083904
PARAM_VALUE 0 sdp->sd_log_flush_lock.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 0 sdp->sd_log_flush_lock.first_waiter->type 0-1
PARAM_VALUE 0 sdp->sd_log_flush_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 sdp->sd_log_flush_lock.wait_lock.owner (-1)
PARAM_VALUE 0 sdp->sd_log_flush_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 sdp->sd_vfs 4096-ptr_max
PARAM_VALUE 1 tr 4096-ptr_max
PARAM_VALUE 1 tr->tr_ail1_list.next 4096-ptr_max
PARAM_VALUE 1 tr->tr_ail1_list.next->next 4096-ptr_max
PARAM_VALUE 1 tr->tr_ail1_list.prev 4096-ptr_max
PARAM_VALUE 1 tr->tr_ail1_list.prev->next 4096-ptr_max
PARAM_VALUE 1 tr->tr_ail1_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 tr->tr_ail2_list.next 4096-ptr_max
PARAM_VALUE 1 tr->tr_ail2_list.next->next 4096-ptr_max
PARAM_VALUE 1 tr->tr_ail2_list.prev 4096-ptr_max
PARAM_VALUE 1 tr->tr_ail2_list.prev->next 4096-ptr_max
PARAM_VALUE 1 tr->tr_ail2_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 tr->tr_buf.next 4096-ptr_max
PARAM_VALUE 1 tr->tr_buf.next->next 4096-ptr_max
PARAM_VALUE 1 tr->tr_buf.prev 4096-ptr_max
PARAM_VALUE 1 tr->tr_buf.prev->next 4096-ptr_max
PARAM_VALUE 1 tr->tr_buf.prev->prev 4096-ptr_max
PARAM_VALUE 1 tr->tr_databuf.next 4096-ptr_max
PARAM_VALUE 1 tr->tr_databuf.next->next 4096-ptr_max
PARAM_VALUE 1 tr->tr_databuf.prev 4096-ptr_max
PARAM_VALUE 1 tr->tr_databuf.prev->next 4096-ptr_max
PARAM_VALUE 1 tr->tr_databuf.prev->prev 4096-ptr_max
PARAM_VALUE 1 tr->tr_list.next 4096-ptr_max
PARAM_VALUE 1 tr->tr_list.next->next 4096-ptr_max
PARAM_VALUE 1 tr->tr_list.prev 4096-ptr_max
PARAM_VALUE 1 tr->tr_list.prev->next 4096-ptr_max
PARAM_VALUE 1 tr->tr_list.prev->prev 4096-ptr_max
PARAM_VALUE 2 extra_revokes 3177671857578192896
BUF_SIZE 0 sdp (-1),1-s32max
BUF_SIZE 0 sdp (-1),1-s32max
CAPPED_DATA 0 &sdp->sd_log_flush_lock 1
CAPPED_DATA 1 tr->tr_reserved 1
CAPPED_DATA 1 tr->tr_revokes 1
DATA_SOURCE 0 sdp $1
DATA_SOURCE 1 tr $0
PARAM_COMPARE 0 sdp->sd_jdesc->jd_blocks >= $1->tr_reserved
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 tr->tr_blocks 4-7[c]
UNITS 0 sdp unit_byte