Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
lib/test_maple_tree.c alloc_cyclic_testing() -> mtree_alloc_cyclic()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 1 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | startp | 5391481997246124032 |
| PARAM_VALUE | 2 | entry | 4096-ptr_max |
| PARAM_VALUE | 3 | range_lo | 2 |
| PARAM_VALUE | 4 | range_hi | u64max |
| PARAM_VALUE | 5 | next | 6526985842339024896 |
| PARAM_VALUE | 5 | *next | 0 |
| PARAM_VALUE | 6 | gfp | 3264 |
| CAPPED_DATA | 0 | mt | 1 |
| DATA_SOURCE | 0 | mt | $0 |
| DATA_SOURCE | 2 | entry | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c alloc_cyclic_testing() -> mtree_alloc_cyclic()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 1 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | startp | 5391481997246124032 |
| PARAM_VALUE | 2 | entry | 4096-ptr_max |
| PARAM_VALUE | 3 | range_lo | 2 |
| PARAM_VALUE | 4 | range_hi | 1024 |
| PARAM_VALUE | 5 | next | 6526985842339024896 |
| PARAM_VALUE | 5 | *next | 0 |
| PARAM_VALUE | 6 | gfp | 3264 |
| CAPPED_DATA | 0 | mt | 1 |
| DATA_SOURCE | 0 | mt | $0 |
| DATA_SOURCE | 2 | entry | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c alloc_cyclic_testing() -> mtree_alloc_cyclic()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 1 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | startp | 5391481997246124032 |
| PARAM_VALUE | 2 | entry | 4096-ptr_max |
| PARAM_VALUE | 3 | range_lo | 2 |
| PARAM_VALUE | 4 | range_hi | 1024 |
| PARAM_VALUE | 5 | next | 6526985842339024896 |
| PARAM_VALUE | 5 | *next | 0 |
| PARAM_VALUE | 6 | gfp | 3264 |
| CAPPED_DATA | 0 | mt | 1 |
| DATA_SOURCE | 0 | mt | $0 |
| DATA_SOURCE | 2 | entry | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c alloc_cyclic_testing() -> mtree_alloc_cyclic()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_flags | 1 |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | startp | 5391481997246124032 |
| PARAM_VALUE | 2 | entry | 4096-ptr_max |
| PARAM_VALUE | 3 | range_lo | 2 |
| PARAM_VALUE | 4 | range_hi | 1024 |
| PARAM_VALUE | 5 | next | 6526985842339024896 |
| PARAM_VALUE | 5 | *next | 0 |
| PARAM_VALUE | 6 | gfp | 3264 |
| CAPPED_DATA | 0 | mt | 1 |
| DATA_SOURCE | 0 | mt | $0 |
| DATA_SOURCE | 2 | entry | $0 |
| NOCHECK_CALL |
lib/test_maple_tree.c alloc_cyclic_testing() -> mtree_alloc_cyclic()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | startp | 5391481997246124032 |
| PARAM_VALUE | 2 | entry | 4096-ptr_max |
| PARAM_VALUE | 3 | range_lo | 2 |
| PARAM_VALUE | 4 | range_hi | u64max |
| PARAM_VALUE | 5 | next | 6526985842339024896 |
| PARAM_VALUE | 5 | *next | 18446744073709551614 |
| PARAM_VALUE | 6 | gfp | 3264 |
| CAPPED_DATA | 0 | mt | 1 |
| DATA_SOURCE | 0 | mt | $0 |
| DATA_SOURCE | 2 | entry | $0 |
lib/test_maple_tree.c alloc_cyclic_testing() -> mtree_alloc_cyclic()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | startp | 5391481997246124032 |
| PARAM_VALUE | 2 | entry | 4096-ptr_max |
| PARAM_VALUE | 3 | range_lo | 2 |
| PARAM_VALUE | 4 | range_hi | u64max |
| PARAM_VALUE | 5 | next | 6526985842339024896 |
| PARAM_VALUE | 6 | gfp | 3264 |
| CAPPED_DATA | 0 | mt | 1 |
| DATA_SOURCE | 0 | mt | $0 |
| DATA_SOURCE | 2 | entry | $0 |
lib/test_maple_tree.c alloc_cyclic_testing() -> mtree_alloc_cyclic()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 0 | mt->ma_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | mt->ma_root | 0 |
| PARAM_VALUE | 1 | startp | 5391481997246124032 |
| PARAM_VALUE | 2 | entry | 4096-ptr_max |
| PARAM_VALUE | 3 | range_lo | 2 |
| PARAM_VALUE | 4 | range_hi | u64max |
| PARAM_VALUE | 5 | next | 6526985842339024896 |
| PARAM_VALUE | 6 | gfp | 3264 |
| CAPPED_DATA | 0 | mt | 1 |
| DATA_SOURCE | 0 | mt | $0 |
| DATA_SOURCE | 2 | entry | $0 |
fs/libfs.c simple_offset_add() -> mtree_alloc_cyclic()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mt | 4096-ptr_max |
| PARAM_VALUE | 1 | startp | 8834062296746618880 |
| PARAM_VALUE | 2 | entry | 4096-ptr_max |
| PARAM_VALUE | 3 | range_lo | 3 |
| PARAM_VALUE | 4 | range_hi | 2147483646 |
| PARAM_VALUE | 5 | next | 4096-ptr_max |
| PARAM_VALUE | 6 | gfp | 3264 |
| BUF_SIZE | 2 | entry | (-1)-s32max |
| DATA_SOURCE | 2 | entry | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |