Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/xfs/xfs_trans_buf.c xfs_trans_log_buf() -> xfs_trans_dirty_buf()

Type Parameter Key Value
PARAM_VALUE 1 bp 4096-ptr_max
PARAM_VALUE 1 bp->b_log_item 4096-ptr_max
PARAM_VALUE 1 bp->b_ops->name 4096-ptr_max
PARAM_VALUE 1 bp->b_ops->verify_read 4096-ptr_max
PARAM_VALUE 1 bp->b_ops->verify_struct 0,4096-ptr_max
PARAM_VALUE 1 bp->b_ops->verify_write 4096-ptr_max
PARAM_VALUE 1 bp->b_sema.first_waiter->up 0-1
BUF_SIZE 0 tp (-1),1-s32max
BUF_SIZE 0 tp (-1),1-s32max
BUF_SIZE 1 bp->b_ops (-1),40
CAPPED_DATA 1 bp 1
DATA_SOURCE 0 tp $0
DATA_SOURCE 1 bp $1
STR_LEN 0 tp (-1)-1024
STR_LEN 0 tp (-1)-1024
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 tp->t_imaxpct_delta (-255)-100[c][u]
NO_OVERFLOW_SIMPLE 0 tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 tp->t_mountp->m_sb_bp->b_log_item->bli_format_count
NO_OVERFLOW_SIMPLE 0 tp->t_mountp->m_sb_bp->b_transp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 tp->t_mountp->m_sb_bp->b_transp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 tp->t_ticket
NO_OVERFLOW_SIMPLE 1 bp->b_log_item->bli_format_count
NO_OVERFLOW_SIMPLE 1 bp->b_map_count
NO_OVERFLOW_SIMPLE 1 bp->b_transp->t_rtx_res
NO_OVERFLOW_SIMPLE 1 bp->b_transp->t_rtx_res_used
HALF_LOCKED2 &mp->m_growlock
HALF_LOCKED2 &mp->m_quotainfo->qi_quotaofflock

fs/xfs/xfs_trans_buf.c xfs_trans_ordered_buf() -> xfs_trans_dirty_buf()

Type Parameter Key Value
PARAM_VALUE 0 tp 1-u64max
PARAM_VALUE 1 bp 4096-ptr_max
PARAM_VALUE 1 bp->b_log_item 4096-ptr_max
PARAM_VALUE 1 bp->b_log_item->bli_flags 0,128-u32max
PARAM_VALUE 1 bp->b_sema.first_waiter->up 0-1
BUF_SIZE 0 tp (-1)-s32max
BUF_SIZE 0 tp (-1)-s32max
BUF_SIZE 1 bp->b_ops (-1),40
CAPPED_DATA 0 tp 1
CAPPED_DATA 1 bp 1
DATA_SOURCE 0 tp $0
DATA_SOURCE 1 bp $1
STR_LEN 0 tp (-1)-1024
STR_LEN 0 tp (-1)-1024
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 1 bp->b_map_count

fs/xfs/libxfs/xfs_defer.c xfs_defer_save_resources() -> xfs_trans_dirty_buf()

Type Parameter Key Value
PARAM_VALUE 0 tp 4096-ptr_max
CAPPED_DATA 0 &tp->t_items 1
DATA_SOURCE 0 tp $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 tp->t_blk_res