Defined in 1 files as a prototype:

Defined in 1 files as a macro:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/xfs/libxfs/xfs_btree.c xfbtree_verify_bno() -> xmbuf_verify_daddr()

Type Parameter Key Value
PARAM_VALUE 1 daddr s64min-(-8),0,8-s64max
RX_PATH
TASK_NOT_RUNNING

fs/xfs/libxfs/xfs_btree.c xfs_btree_check_memblock_siblings() -> xmbuf_verify_daddr()

Type Parameter Key Value
PARAM_VALUE 1 daddr s64min-(-16),0,8-s64max
DATA_SOURCE 0 btp $0
RX_PATH
TASK_NOT_RUNNING

fs/xfs/libxfs/xfs_btree_mem.c xfbtree_verify_bno() -> xmbuf_verify_daddr()

Type Parameter Key Value
PARAM_VALUE 1 daddr s64min-(-8),0,8-s64max
RX_PATH
TASK_NOT_RUNNING