Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/xfs/libxfs/xfs_bmap.c xfs_bmapi_read() -> xfs_bmapi_update_map()

Type Parameter Key Value
PARAM_VALUE 0 *map 4096-ptr_max
PARAM_VALUE 1 *bno 0-18446744073709551614
PARAM_VALUE 4 end 1-u64max
PARAM_VALUE 5 n 904239986791378944
PARAM_VALUE 5 *n s32min-2147483646
PARAM_VALUE 6 flags 0,4,256
DATA_SOURCE 6 flags $5
PARAM_COMPARE 3 obno <= $4
PARAM_COMPARE 4 end >= $3
PARAM_COMPARE 4 end >= $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 *bno 0-s32max[c]
USER_DATA 2 *len 0-u64max[c]
USER_DATA 3 obno 0-u64max
UNITS 3 obno unit_array_size
UNITS 4 end unit_array_size
USER_PTR 1 bno
USER_PTR 2 len
HALF_LOCKED2 &dq->q_qlock
HALF_LOCKED2 &ls->ls_mutex

fs/xfs/libxfs/xfs_bmap.c xfs_bmapi_write() -> xfs_bmapi_update_map()

Type Parameter Key Value
PARAM_VALUE 0 *map 4096-ptr_max
PARAM_VALUE 1 *bno 0-18446744073709551614
PARAM_VALUE 4 end 1-u64max
PARAM_VALUE 5 n 1087672424475893760
PARAM_VALUE 5 *n s32min-3
PARAM_VALUE 6 flags 0,2-u32max
DATA_SOURCE 6 flags $4
PARAM_COMPARE 3 obno <= $4
PARAM_COMPARE 4 end >= $3
PARAM_COMPARE 4 end >= $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 *bno 0-s32max[c]
USER_DATA 2 *len 0-u64max
USER_DATA 3 obno 0-u64max
UNITS 3 obno unit_array_size
UNITS 4 end unit_array_size
USER_PTR 1 bno
USER_PTR 2 len
HALF_LOCKED2 &dq->q_qlock
HALF_LOCKED2 &mp->m_growlock