Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/test_xarray.c check_account() -> xa_store_order()

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 0 xa->xa_head 0
PARAM_VALUE 1 index 0
PARAM_VALUE 2 order 1-11
PARAM_VALUE 3 entry 5024146686711472128
PARAM_VALUE 4 gfp 3264
DATA_SOURCE 0 xa $0
DATA_SOURCE 3 entry $0
FUZZY_MAX 2 order 11
HARD_MAX 2 order 11
NOCHECK_CALL

lib/test_xarray.c check_account() -> xa_store_order()

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 0 xa->xa_head 0
PARAM_VALUE 1 index 0-s32max,18446744071562067968-u64max
PARAM_VALUE 2 order 1-11
PARAM_VALUE 3 entry 1,3-u64max
PARAM_VALUE 4 gfp 3264
DATA_SOURCE 0 xa $0
FUZZY_MAX 2 order 11
HARD_MAX 2 order 11
NOCHECK_CALL

lib/test_xarray.c check_cmpxchg_order() -> xa_store_order()

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 0 xa->xa_head 0
PARAM_VALUE 1 index 0
PARAM_VALUE 2 order 3
PARAM_VALUE 3 entry 11
PARAM_VALUE 4 gfp 3264
DATA_SOURCE 0 xa $0
DATA_SOURCE 3 entry r xa_mk_value

lib/test_xarray.c check_cmpxchg_order() -> xa_store_order()

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 0 xa->xa_head 0
PARAM_VALUE 1 index 8
PARAM_VALUE 2 order 3
PARAM_VALUE 3 entry 11
PARAM_VALUE 4 gfp 3264
DATA_SOURCE 0 xa $0
DATA_SOURCE 3 entry r xa_mk_value

lib/test_xarray.c check_cmpxchg_order() -> xa_store_order()

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 0 xa->xa_head 0
PARAM_VALUE 0 xa->xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 index 0
PARAM_VALUE 2 order 63
PARAM_VALUE 3 entry 0
PARAM_VALUE 4 gfp 3264
DATA_SOURCE 0 xa $0
NOCHECK_CALL
UNITS 2 order unit_bit

lib/test_xarray.c check_create_range_5() -> xa_store_order()

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 0 xa->xa_head 0
PARAM_VALUE 0 xa->xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 index 0-u32max
PARAM_VALUE 2 order 0-11
PARAM_VALUE 3 entry 1,3-u64max
PARAM_VALUE 4 gfp 3264
DATA_SOURCE 0 xa $0
DATA_SOURCE 1 index $1
DATA_SOURCE 2 order $2
NOCHECK_CALL

lib/test_xarray.c check_destroy() -> xa_store_order()

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 0 xa->xa_head 0
PARAM_VALUE 0 xa->xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 index 2048
PARAM_VALUE 2 order 11
PARAM_VALUE 3 entry 5024146686711472128
PARAM_VALUE 4 gfp 3264
DATA_SOURCE 0 xa $0
DATA_SOURCE 3 entry $0
NOCHECK_CALL

lib/test_xarray.c check_find_entry() -> xa_store_order()

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 0 xa->xa_head 0
PARAM_VALUE 1 index 0-18446744073709551614
PARAM_VALUE 2 order 0-19
PARAM_VALUE 3 entry 1,3-u64max
PARAM_VALUE 4 gfp 3264
CAPPED_DATA 1 index 1
CAPPED_DATA 1 index 1
DATA_SOURCE 0 xa $0
FUZZY_MAX 2 order 19
HARD_MAX 2 order 19
NOCHECK_CALL

lib/test_xarray.c check_get_order() -> xa_store_order()

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 0 xa->xa_head 0
PARAM_VALUE 2 order 0-19
PARAM_VALUE 3 entry 1,3-u64max
PARAM_VALUE 4 gfp 3264
DATA_SOURCE 0 xa $0
FUZZY_MAX 2 order 19
NOCHECK_CALL

lib/test_xarray.c check_multi_find_1() -> xa_store_order()

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 0 xa->xa_head 0
PARAM_VALUE 0 xa->xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 index 0-s32max,18446744071562067968-u64max
PARAM_VALUE 2 order 2-9
PARAM_VALUE 3 entry 1,3-u32max,18446744069414584321-u64max
PARAM_VALUE 4 gfp 3264
DATA_SOURCE 0 xa $0
DATA_SOURCE 2 order $1
FUZZY_MAX 2 order 9
BIT_INFO 1 index 0x0,0xffffffff
BIT_INFO 1 index 0x0,0xffffffff
HARD_MAX 2 order 9
NOCHECK_CALL

lib/test_xarray.c check_multi_find_2() -> xa_store_order()

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 0 xa->xa_head 0
PARAM_VALUE 0 xa->xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 index 1-u64max
PARAM_VALUE 2 order 0-9
PARAM_VALUE 3 entry 1,3-u64max
PARAM_VALUE 4 gfp 3264
DATA_SOURCE 0 xa $0
FUZZY_MAX 2 order 9
HARD_MAX 2 order 9
NOCHECK_CALL

lib/test_xarray.c check_multi_find_3() -> xa_store_order()

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 0 xa->xa_head 0
PARAM_VALUE 0 xa->xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 index 0
PARAM_VALUE 2 order 1-59
PARAM_VALUE 3 entry 1,3-u64max
PARAM_VALUE 4 gfp 3264
DATA_SOURCE 0 xa $0
NOCHECK_CALL

lib/test_xarray.c check_multi_store() -> xa_store_order()

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 0 xa->xa_head 0
PARAM_VALUE 1 index 0
PARAM_VALUE 2 order 1
PARAM_VALUE 3 entry 1
PARAM_VALUE 4 gfp 3264
DATA_SOURCE 0 xa $0
NOCHECK_CALL

lib/test_xarray.c check_multi_store() -> xa_store_order()

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 0 xa->xa_head 0
PARAM_VALUE 0 xa->xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 index 0
PARAM_VALUE 2 order 2
PARAM_VALUE 3 entry 3
PARAM_VALUE 4 gfp 3264
DATA_SOURCE 0 xa $0
NOCHECK_CALL

lib/test_xarray.c check_multi_store() -> xa_store_order()

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 0 xa->xa_head 0
PARAM_VALUE 0 xa->xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 index 0
PARAM_VALUE 2 order 63
PARAM_VALUE 3 entry 0
PARAM_VALUE 4 gfp 3264
DATA_SOURCE 0 xa $0
NOCHECK_CALL
UNITS 2 order unit_bit

lib/test_xarray.c check_multi_store() -> xa_store_order()

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 0 xa->xa_head 0
PARAM_VALUE 0 xa->xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 index 0
PARAM_VALUE 2 order 2
PARAM_VALUE 3 entry 0
PARAM_VALUE 4 gfp 3264
DATA_SOURCE 0 xa $0
NOCHECK_CALL

lib/test_xarray.c check_multi_store() -> xa_store_order()

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 0 xa->xa_head 0
PARAM_VALUE 0 xa->xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 index 0
PARAM_VALUE 2 order 0-59
PARAM_VALUE 3 entry 1,3-u64max
PARAM_VALUE 4 gfp 3264
DATA_SOURCE 0 xa $0
NOCHECK_CALL

lib/test_xarray.c check_multi_store() -> xa_store_order()

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 0 xa->xa_head 0
PARAM_VALUE 0 xa->xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 index 0
PARAM_VALUE 2 order 0-59
PARAM_VALUE 3 entry 1,3-u64max
PARAM_VALUE 4 gfp 3264
DATA_SOURCE 0 xa $0
NOCHECK_CALL

lib/test_xarray.c check_multi_store_1() -> xa_store_order()

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 0 xa->xa_head 0
PARAM_VALUE 0 xa->xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 order 0-19
PARAM_VALUE 3 entry 1,3-u64max
PARAM_VALUE 4 gfp 3264
DATA_SOURCE 0 xa $0
DATA_SOURCE 1 index $1
DATA_SOURCE 2 order $2
NOCHECK_CALL

lib/test_xarray.c check_multi_store_2() -> xa_store_order()

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 0 xa->xa_head 0
PARAM_VALUE 0 xa->xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 index 4095
PARAM_VALUE 2 order 9
PARAM_VALUE 3 entry 1
PARAM_VALUE 4 gfp 3264
DATA_SOURCE 0 xa $0
DATA_SOURCE 1 index $1
DATA_SOURCE 2 order $2
NOCHECK_CALL

lib/test_xarray.c check_multi_store_3() -> xa_store_order()

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 0 xa->xa_head 0
PARAM_VALUE 0 xa->xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 order 1-19
PARAM_VALUE 3 entry 1,3-u64max
PARAM_VALUE 4 gfp 3264
DATA_SOURCE 0 xa $0
DATA_SOURCE 1 index $1
DATA_SOURCE 2 order $2
NOCHECK_CALL

lib/test_xarray.c check_pause() -> xa_store_order()

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 0 xa->xa_head 0
PARAM_VALUE 2 order 0-63
PARAM_VALUE 3 entry 1,3-u64max
PARAM_VALUE 4 gfp 3264
DATA_SOURCE 0 xa $0

lib/test_xarray.c check_pause() -> xa_store_order()

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 0 xa->xa_head 0
PARAM_VALUE 2 order 0-63
PARAM_VALUE 3 entry 1,3-u64max
PARAM_VALUE 4 gfp 3264
DATA_SOURCE 0 xa $0

lib/test_xarray.c check_split_1() -> xa_store_order()

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 0 xa->xa_head 0
PARAM_VALUE 2 order 1-7
PARAM_VALUE 3 entry 5024146686711472128
PARAM_VALUE 4 gfp 3264
CAPPED_DATA 1 index 1
CAPPED_DATA 1 index 1
CAPPED_DATA 2 order 1
DATA_SOURCE 0 xa $0
DATA_SOURCE 1 index $1
DATA_SOURCE 2 order $2
DATA_SOURCE 3 entry $0
FUZZY_MAX 2 order 7
HARD_MAX 2 order 7
NOCHECK_CALL

lib/test_xarray.c check_split_2() -> xa_store_order()

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 0 xa->xa_head 0
PARAM_VALUE 0 xa->xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 order 1-7
PARAM_VALUE 3 entry 5024146686711472128
PARAM_VALUE 4 gfp 3264
CAPPED_DATA 1 index 1
CAPPED_DATA 1 index 1
CAPPED_DATA 2 order 1
DATA_SOURCE 0 xa $0
DATA_SOURCE 1 index $1
DATA_SOURCE 2 order $2
DATA_SOURCE 3 entry $0
FUZZY_MAX 2 order 7
HARD_MAX 2 order 7
NOCHECK_CALL

lib/test_xarray.c check_xa_mark_1() -> xa_store_order()

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 0 xa->xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 index 0,4-16380
PARAM_VALUE 2 order 2-7
PARAM_VALUE 3 entry 1,3-u64max
PARAM_VALUE 4 gfp 3264
DATA_SOURCE 0 xa $0
DATA_SOURCE 1 index $1
FUZZY_MAX 2 order 7
HARD_MAX 2 order 7
NOCHECK_CALL

lib/test_xarray.c check_xa_mark_3() -> xa_store_order()

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 0 xa->xa_head 0
PARAM_VALUE 0 xa->xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 index 64
PARAM_VALUE 2 order 2
PARAM_VALUE 3 entry 1,3-u64max
PARAM_VALUE 4 gfp 3264
DATA_SOURCE 0 xa $0
NOCHECK_CALL

lib/test_xarray.c check_xa_shrink() -> xa_store_order()

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 0 xa->xa_head 0
PARAM_VALUE 0 xa->xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 index 0
PARAM_VALUE 2 order 0-14
PARAM_VALUE 3 entry 1
PARAM_VALUE 4 gfp 3264
DATA_SOURCE 0 xa $0
FUZZY_MAX 2 order 14
HARD_MAX 2 order 14
NOCHECK_CALL