Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/xfs/xfs_bmap_util.c xfs_getbmap() -> xfs_getbmap_report_hole()

Type Parameter Key Value
PARAM_VALUE 0 ip 4096-ptr_max
PARAM_VALUE 0 ip->i_mount 4096-ptr_max
PARAM_VALUE 1 bmv 3323989117767602176
PARAM_VALUE 1 bmv->bmv_entries 0
PARAM_VALUE 1 bmv->bmv_iflags 8-62
PARAM_VALUE 1 bmv->bmv_length 0-s64max
PARAM_VALUE 2 out 16,4096-ptr_max
PARAM_VALUE 4 bno 0-9223372036854775807
BUF_SIZE 2 out 64-2147483584
BUF_SIZE 2 out 64-2147483584
DATA_SOURCE 0 ip $0
DATA_SOURCE 1 bmv $1
DATA_SOURCE 2 out $2
NOCHECK_CALL
USER_DATA 1 bmv->bmv_block s64min-s64max
USER_DATA 1 bmv->bmv_count 3-67108862[c]
USER_DATA 1 bmv->bmv_iflags 8-62
USER_DATA 1 bmv->bmv_length 1-s64max
USER_DATA 1 bmv->bmv_offset s64min-s64max
USER_DATA 1 bmv->bmv_oflags s32min-s32max
USER_DATA 1 bmv->bmv_unused1 s32min-s32max
USER_DATA 1 bmv->bmv_unused2 s32min-s32max
USER_DATA 4 bno 0-9223372036854775807
NO_OVERFLOW_SIMPLE 1 bmv->bmv_count
UNITS 3 bmv_end unit_byte

fs/xfs/xfs_bmap_util.c xfs_getbmap() -> xfs_getbmap_report_hole()

Type Parameter Key Value
PARAM_VALUE 0 ip 4096-ptr_max
PARAM_VALUE 0 ip->i_mount 4096-ptr_max
PARAM_VALUE 1 bmv 3323989117767602176
PARAM_VALUE 1 bmv->bmv_entries s32min-67108860
PARAM_VALUE 1 bmv->bmv_iflags 0-62
PARAM_VALUE 1 bmv->bmv_length 1-s64max
PARAM_VALUE 2 out 16,4096-ptr_max
PARAM_VALUE 4 bno 0-18446744073709551613
PARAM_VALUE 5 end 1-u64max
BUF_SIZE 2 out 64-2147483584
BUF_SIZE 2 out 64-2147483584
CAPPED_DATA 1 bmv->bmv_entries 1
CAPPED_DATA 4 bno 1
CAPPED_DATA 4 bno 1
DATA_SOURCE 0 ip $0
DATA_SOURCE 1 bmv $1
DATA_SOURCE 2 out $2
FUZZY_MAX 1 bmv->bmv_entries 0
PARAM_COMPARE 4 bno < $5
PARAM_COMPARE 4 bno < $5
PARAM_COMPARE 5 end > $4
NOSPEC 1 bmv->bmv_count
NOCHECK_CALL
USER_DATA 1 bmv->bmv_block s64min-s64max
USER_DATA 1 bmv->bmv_count 3-67108862[c]
USER_DATA 1 bmv->bmv_iflags 0-62
USER_DATA 1 bmv->bmv_length 1-s64max
USER_DATA 1 bmv->bmv_offset s64min-s64max
USER_DATA 1 bmv->bmv_oflags s32min-s32max
USER_DATA 1 bmv->bmv_unused1 s32min-s32max
USER_DATA 1 bmv->bmv_unused2 s32min-s32max
USER_DATA 4 bno 0-9223372036854775807[c]
USER_DATA 5 end 1-4294967294[c]
NO_OVERFLOW_SIMPLE 1 bmv->bmv_count
UNITS 3 bmv_end unit_byte
UNITS 4 bno unit_array_size
UNITS 5 end unit_array_size

fs/xfs/xfs_bmap_util.c xfs_getbmap() -> xfs_getbmap_report_hole()

Type Parameter Key Value
PARAM_VALUE 0 ip 4096-ptr_max
PARAM_VALUE 0 ip->i_mount 4096-ptr_max
PARAM_VALUE 1 bmv 3323989117767602176
PARAM_VALUE 1 bmv->bmv_entries s32min-67108860
PARAM_VALUE 1 bmv->bmv_iflags 0-62
PARAM_VALUE 1 bmv->bmv_length 1-s64max
PARAM_VALUE 2 out 16,4096-ptr_max
PARAM_VALUE 4 bno 0-18446744073709551614
PARAM_VALUE 5 end 1-u64max
BUF_SIZE 2 out 64-2147483584
BUF_SIZE 2 out 64-2147483584
CAPPED_DATA 1 bmv->bmv_entries 1
CAPPED_DATA 4 bno 1
CAPPED_DATA 4 bno 1
DATA_SOURCE 0 ip $0
DATA_SOURCE 1 bmv $1
DATA_SOURCE 2 out $2
PARAM_COMPARE 4 bno < $5
PARAM_COMPARE 4 bno < $5
PARAM_COMPARE 5 end > $4
NOSPEC 1 bmv->bmv_count
NOCHECK_CALL
USER_DATA 1 bmv->bmv_block s64min-s64max
USER_DATA 1 bmv->bmv_count 3-67108862[c]
USER_DATA 1 bmv->bmv_iflags 0-62
USER_DATA 1 bmv->bmv_length 1-s64max
USER_DATA 1 bmv->bmv_offset s64min-s64max
USER_DATA 1 bmv->bmv_oflags s32min-s32max
USER_DATA 1 bmv->bmv_unused1 s32min-s32max
USER_DATA 1 bmv->bmv_unused2 s32min-s32max
NO_OVERFLOW_SIMPLE 1 bmv->bmv_count
UNITS 3 bmv_end unit_byte
UNITS 4 bno unit_array_size
UNITS 5 end unit_array_size