Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/test_xarray.c check_cmpxchg() -> xa_store_index()

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 0 xa->xa_head 0
PARAM_VALUE 1 index 12345678
PARAM_VALUE 2 gfp 3264
DATA_SOURCE 0 xa $0

lib/test_xarray.c check_create_range_4() -> xa_store_index()

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 gfp 3264
DATA_SOURCE 0 xa $0
DATA_SOURCE 1 index $1
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 0 xa->xa_head 0
PARAM_VALUE 1 index 0-999
PARAM_VALUE 2 gfp 3264
DATA_SOURCE 0 xa $0
FUZZY_MAX 1 index 999
HARD_MAX 1 index 999
NOCHECK_CALL

lib/test_xarray.c check_find_1() -> xa_store_index()

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 0 xa->xa_head 0
PARAM_VALUE 1 index 0-99
PARAM_VALUE 2 gfp 3264
DATA_SOURCE 0 xa $0
FUZZY_MAX 1 index 99
HARD_MAX 1 index 99

lib/test_xarray.c check_find_1() -> xa_store_index()

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-98
PARAM_VALUE 2 gfp 3264
CAPPED_DATA 1 index 1
CAPPED_DATA 1 index 1
DATA_SOURCE 0 xa $0
FUZZY_MAX 1 index 98
HARD_MAX 1 index 98

lib/test_xarray.c check_find_2() -> xa_store_index()

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 gfp 3264
DATA_SOURCE 0 xa $0
NOCHECK_CALL

lib/test_xarray.c check_find_3() -> xa_store_index()

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-99
PARAM_VALUE 2 gfp 3264
DATA_SOURCE 0 xa $0
FUZZY_MAX 1 index 99
HARD_MAX 1 index 99
NOCHECK_CALL

lib/test_xarray.c check_find_4() -> xa_store_index()

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 u64max
PARAM_VALUE 2 gfp 3264
DATA_SOURCE 0 xa $0
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 0 xa->xa_head 0
PARAM_VALUE 1 index u64max
PARAM_VALUE 2 gfp 3264
DATA_SOURCE 0 xa $0
NOCHECK_CALL

lib/test_xarray.c check_move() -> xa_store_index()

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 0 xa->xa_head 0
PARAM_VALUE 1 index 0-u16max
PARAM_VALUE 2 gfp 3264
DATA_SOURCE 0 xa $0
FUZZY_MAX 1 index u16max
HARD_MAX 1 index u16max

lib/test_xarray.c check_move_max() -> xa_store_index()

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 u64max
PARAM_VALUE 2 gfp 3264
DATA_SOURCE 0 xa $0
NOCHECK_CALL

lib/test_xarray.c check_move_small() -> xa_store_index()

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 gfp 3264
DATA_SOURCE 0 xa $0
NOCHECK_CALL

lib/test_xarray.c check_move_small() -> xa_store_index()

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 gfp 3264
DATA_SOURCE 0 xa $0
DATA_SOURCE 1 index $1
NOCHECK_CALL

lib/test_xarray.c check_move_tiny() -> xa_store_index()

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 gfp 3264
DATA_SOURCE 0 xa $0
NOCHECK_CALL

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

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 gfp 3264
DATA_SOURCE 0 xa $0
BIT_INFO 1 index 0x0,0xffffffff
BIT_INFO 1 index 0x0,0xffffffff

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

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-2147483648
PARAM_VALUE 2 gfp 3264
DATA_SOURCE 0 xa $0

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

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 gfp 3264
DATA_SOURCE 0 xa $0
NOCHECK_CALL

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

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
PARAM_VALUE 2 gfp 3264
DATA_SOURCE 0 xa $0
NOCHECK_CALL

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

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 2
PARAM_VALUE 2 gfp 3264
DATA_SOURCE 0 xa $0
NOCHECK_CALL

lib/test_xarray.c check_reserve() -> xa_store_index()

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128,6789482655478472704
PARAM_VALUE 0 xa->xa_head 0
PARAM_VALUE 0 xa->xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 index 12345678
PARAM_VALUE 2 gfp 10240
DATA_SOURCE 0 xa $0

lib/test_xarray.c check_reserve() -> xa_store_index()

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128,6789482655478472704
PARAM_VALUE 0 xa->xa_head 0
PARAM_VALUE 0 xa->xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 index 5
PARAM_VALUE 2 gfp 3264
DATA_SOURCE 0 xa $0
NOCHECK_CALL

lib/test_xarray.c check_reserve() -> xa_store_index()

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128,6789482655478472704
PARAM_VALUE 0 xa->xa_head 0
PARAM_VALUE 0 xa->xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 index 7
PARAM_VALUE 2 gfp 3264
DATA_SOURCE 0 xa $0
NOCHECK_CALL

lib/test_xarray.c check_store_iter() -> xa_store_index()

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 gfp 3264
CAPPED_DATA 1 index 1
DATA_SOURCE 0 xa $0
NOCHECK_CALL

lib/test_xarray.c check_store_iter() -> xa_store_index()

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 gfp 3264
DATA_SOURCE 0 xa $0
NOCHECK_CALL

lib/test_xarray.c check_store_iter() -> xa_store_index()

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 gfp 3264
CAPPED_DATA 1 index 1
DATA_SOURCE 0 xa $0
NOCHECK_CALL

lib/test_xarray.c check_store_iter() -> xa_store_index()

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 gfp 3264
CAPPED_DATA 1 index 1
DATA_SOURCE 0 xa $0
NOCHECK_CALL

lib/test_xarray.c check_store_iter() -> xa_store_index()

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 63
PARAM_VALUE 2 gfp 3264
DATA_SOURCE 0 xa $0
NOCHECK_CALL

lib/test_xarray.c check_store_iter() -> xa_store_index()

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 65
PARAM_VALUE 2 gfp 3264
DATA_SOURCE 0 xa $0
NOCHECK_CALL

lib/test_xarray.c check_xa_alloc_1() -> xa_store_index()

Type Parameter Key Value
PARAM_VALUE 0 xa 4028468817162313728,6789482655478472704
PARAM_VALUE 0 xa->xa_flags 4-u32max
PARAM_VALUE 0 xa->xa_head 0
PARAM_VALUE 0 xa->xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 index 1-2
PARAM_VALUE 2 gfp 3264
CAPPED_DATA 1 index 1
DATA_SOURCE 0 xa $0
NOCHECK_CALL

lib/test_xarray.c check_xa_alloc_1() -> xa_store_index()

Type Parameter Key Value
PARAM_VALUE 0 xa 4028468817162313728,6789482655478472704
PARAM_VALUE 0 xa->xa_head 0
PARAM_VALUE 0 xa->xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 index 3
PARAM_VALUE 2 gfp 3264
DATA_SOURCE 0 xa $0

lib/test_xarray.c check_xa_err() -> xa_store_index()

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 1 index 0
PARAM_VALUE 2 gfp 10240
DATA_SOURCE 0 xa $0

lib/test_xarray.c check_xa_err() -> xa_store_index()

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 1
PARAM_VALUE 2 gfp 3264
DATA_SOURCE 0 xa $0

lib/test_xarray.c check_xa_load() -> xa_store_index()

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 1 index 0-1023
PARAM_VALUE 2 gfp 3264
DATA_SOURCE 0 xa $0
FUZZY_MAX 1 index 1023

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

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-16383
PARAM_VALUE 2 gfp 3264
DATA_SOURCE 0 xa $0
DATA_SOURCE 1 index $1
FUZZY_MAX 1 index 0

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

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 1,5-16381
PARAM_VALUE 2 gfp 3264
DATA_SOURCE 0 xa $0

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

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 2,6-16382
PARAM_VALUE 2 gfp 3264
DATA_SOURCE 0 xa $0

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

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 0 xa->xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 gfp 3264
DATA_SOURCE 0 xa $0

lib/test_xarray.c check_xa_mark_2() -> xa_store_index()

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
PARAM_VALUE 2 gfp 3264
DATA_SOURCE 0 xa $0
NOCHECK_CALL

lib/test_xarray.c check_xa_mark_2() -> xa_store_index()

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 3500-4499
PARAM_VALUE 2 gfp 3264
DATA_SOURCE 0 xa $0
FUZZY_MAX 1 index 4499
HARD_MAX 1 index 4499
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 0 xa->xa_head 0
PARAM_VALUE 1 index 0
PARAM_VALUE 2 gfp 3264
DATA_SOURCE 0 xa $0

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

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
PARAM_VALUE 2 gfp 3264
DATA_SOURCE 0 xa $0

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

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 u64max
PARAM_VALUE 2 gfp 3264
DATA_SOURCE 0 xa $0

lib/test_xarray.c check_xas_retry() -> xa_store_index()

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 1 index 0
PARAM_VALUE 2 gfp 3264
DATA_SOURCE 0 xa $0
NOCHECK_CALL

lib/test_xarray.c check_xas_retry() -> xa_store_index()

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 1
PARAM_VALUE 2 gfp 3264
DATA_SOURCE 0 xa $0
NOCHECK_CALL

lib/test_xarray.c check_xas_retry() -> xa_store_index()

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 1
PARAM_VALUE 2 gfp 3264
DATA_SOURCE 0 xa $0