Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/xfs/libxfs/xfs_sb.c xfs_sb_write_verify() -> xfs_validate_sb_write()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 bp 4096-ptr_max
PARAM_VALUE 1 bp->b_addr 4096-ptr_max
PARAM_VALUE 1 bp->b_addr->sb_magicnum 11123592,1094857538-1094857539,1094865986-1094865987,1112359219
PARAM_VALUE 1 bp->b_mount 4096-ptr_max
PARAM_VALUE 1 bp->b_mount->m_filestream->grp_time 0-4294967295
PARAM_VALUE 1 bp->b_mount->m_quotainfo->qi_dqperchunk 0-4294967295
PARAM_VALUE 1 bp->b_ops 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
PARAM_VALUE 2 sbp 3142384957128925184
PARAM_VALUE 2 sbp->sb_agblklog 0-32
PARAM_VALUE 2 sbp->sb_agblocks 1-u32max
PARAM_VALUE 2 sbp->sb_agcount 1-u32max
PARAM_VALUE 2 sbp->sb_blocklog 9-16
PARAM_VALUE 2 sbp->sb_blocksize 512-65536
PARAM_VALUE 2 sbp->sb_crc 0
PARAM_VALUE 2 sbp->sb_dblocks 64-18446744065119617025
PARAM_VALUE 2 sbp->sb_dirblklog 0-7
PARAM_VALUE 2 sbp->sb_imax_pct 0-100
PARAM_VALUE 2 sbp->sb_inodelog 8-11
PARAM_VALUE 2 sbp->sb_inodesize 256,512,1024,2048
PARAM_VALUE 2 sbp->sb_inopblock 0-263
PARAM_VALUE 2 sbp->sb_inopblog 0-8
PARAM_VALUE 2 sbp->sb_logblocks 0-1048576
PARAM_VALUE 2 sbp->sb_logsunit 0-262144
PARAM_VALUE 2 sbp->sb_rextslog 0-31
PARAM_VALUE 2 sbp->sb_sectlog 9-15
PARAM_VALUE 2 sbp->sb_sectsize 512-32768
PARAM_VALUE 2 sbp->sb_versionnum 0-65534
BUF_SIZE 1 bp->b_ops (-1)-0,40
CAPPED_DATA 1 bp->b_addr->sb_magicnum 1
DATA_SOURCE 1 bp $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 bp->b_log_item->bli_format_count
NO_OVERFLOW_SIMPLE 1 bp->b_log_item->bli_formats
NO_OVERFLOW_SIMPLE 1 bp->b_log_item->bli_item.li_lv_shadow
NO_OVERFLOW_SIMPLE 1 bp->b_map_count
NO_OVERFLOW_SIMPLE 2 sbp->sb_rextsize
NO_OVERFLOW_SIMPLE 2 sbp->sb_rgextents
UNITS 0 mp unit_byte
HALF_LOCKED2 1 &bp->b_sema