Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/xfs/libxfs/xfs_bmap.c __xfs_bunmapi() -> xfs_bmap_del_extent_real()

Type Parameter Key Value
PARAM_VALUE 0 ip 4096-ptr_max
PARAM_VALUE 0 ip->i_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ip->i_lock.first_waiter->type 0-1
PARAM_VALUE 0 ip->i_mount 4096-ptr_max
PARAM_VALUE 2 icur 1233009393971703808
PARAM_VALUE 2 icur->leaf 1-u64max
PARAM_VALUE 2 icur->pos 0-s32max
PARAM_VALUE 3 cur->bc_ino.whichfork 0-2
PARAM_VALUE 3 cur->bc_ops 4096-ptr_max
PARAM_VALUE 3 cur->bc_ops->buf_ops->name 4096-ptr_max
PARAM_VALUE 3 cur->bc_ops->buf_ops->verify_read 4096-ptr_max
PARAM_VALUE 3 cur->bc_ops->buf_ops->verify_write 4096-ptr_max
PARAM_VALUE 3 cur->bc_ops->ptr_len 8
PARAM_VALUE 3 cur->bc_ops->sick_mask 0,8,16,32,64,128,256,512
PARAM_VALUE 3 cur->bc_ops->type 0-2
PARAM_VALUE 4 del 576915652278960128
PARAM_VALUE 4 del->br_state 0-1
PARAM_VALUE 5 logflagsp 8890793922467168256
PARAM_VALUE 6 whichfork 0-2
PARAM_VALUE 7 bflags 0,4,128,132,256,512,516
DATA_SOURCE 0 ip $1 [m]
DATA_SOURCE 1 tp $0 [m]
DATA_SOURCE 6 whichfork r xfs_bmapi_whichfork
DATA_SOURCE 7 bflags $4
NOSPEC 0 ip->i_disk_size
NOSPEC 3 cur->bc_ino.ip->i_disk_size
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 ip->i_disk_size (-9223372036854775807)-s64max[c]
USER_DATA 3 cur->bc_ino.ip->i_disk_size (-9223372036854775807)-s64max[c]
USER_DATA 3 cur->bc_rec.b.br_startblock 1-22518000284336124[c]
USER_DATA 4 del->br_blockcount 0-18014398509481982,18446744071562067969-u64max[c][u]
USER_DATA 4 del->br_startblock 1-4503601774854142[c][u]
USER_DATA 4 del->br_startoff 1-18446744073709551614[c]
NO_OVERFLOW_SIMPLE 0 ip->i_pdquot->q_id
NO_OVERFLOW_SIMPLE 1 tp->t_blk_res
NO_OVERFLOW_SIMPLE 3 cur->bc_ino.ip->i_delayed_blks
NO_OVERFLOW_SIMPLE 3 cur->bc_ino.ip->i_nblocks
NO_OVERFLOW_SIMPLE 3 cur->bc_rec.b.br_startoff
NO_OVERFLOW_SIMPLE 3 cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 3 cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 3 cur->bc_tp->t_rtx_res_used
UNITS 0 ip unit_byte