Defined in 1 files as a prototype:

Referenced in 1 files:

Smatch caller information:

fs/xfs/scrub/bitmap.c xbitmap64_clear() -> xbitmap64_tree_iter_first()

Type Parameter Key Value
PARAM_VALUE 0 root 4096-ptr_max
DATA_SOURCE 1 start $1
RX_PATH
TASK_NOT_RUNNING
UNITS 1 start unit_array_size
UNITS 2 last unit_array_size

fs/xfs/scrub/bitmap.c xbitmap64_clear() -> xbitmap64_tree_iter_first()

Type Parameter Key Value
PARAM_VALUE 0 root 4096-ptr_max
PARAM_VALUE 0 root->rb_leftmost 0,4096-ptr_max
CAPPED_DATA 1 start 1
CAPPED_DATA 1 start 1
DATA_SOURCE 1 start $1
RX_PATH
TASK_NOT_RUNNING
UNITS 1 start unit_array_size
UNITS 2 last unit_array_size

fs/xfs/scrub/bitmap.c xbitmap64_destroy() -> xbitmap64_tree_iter_first()

Type Parameter Key Value
PARAM_VALUE 0 root 4096-ptr_max
PARAM_VALUE 1 start 0
PARAM_VALUE 2 last u64max

fs/xfs/scrub/bitmap.c xbitmap64_destroy() -> xbitmap64_tree_iter_first()

Type Parameter Key Value
PARAM_VALUE 0 root 4096-ptr_max
PARAM_VALUE 0 root->rb_leftmost 0,4096-ptr_max
PARAM_VALUE 1 start 0
PARAM_VALUE 2 last u64max

fs/xfs/scrub/bitmap.c xbitmap64_set() -> xbitmap64_tree_iter_first()

Type Parameter Key Value
PARAM_VALUE 0 root 4096-ptr_max
DATA_SOURCE 1 start $1
RX_PATH
TASK_NOT_RUNNING
UNITS 1 start unit_array_size
HALF_LOCKED2 &dl->lock

fs/xfs/scrub/bitmap.c xbitmap64_set() -> xbitmap64_tree_iter_first()

Type Parameter Key Value
PARAM_VALUE 0 root 4096-ptr_max
PARAM_VALUE 0 root->rb_leftmost 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dl->lock

fs/xfs/scrub/bitmap.c xbitmap64_set() -> xbitmap64_tree_iter_first()

Type Parameter Key Value
PARAM_VALUE 0 root 4096-ptr_max
PARAM_VALUE 0 root->rb_leftmost 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dl->lock

fs/xfs/scrub/bitmap.c xbitmap64_test() -> xbitmap64_tree_iter_first()

Type Parameter Key Value
PARAM_VALUE 0 root 4096-ptr_max
DATA_SOURCE 1 start $1
LOCK2 &dl->lock
TYPE_LOCK (struct xchk_dirtree)->lock