Defined in 1 files as a prototype:
Defined in 1 files as a macro:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
lib/maple_tree.c __mas_set_range() -> mas_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->status | 1 |
| BUF_SIZE | 0 | mas | (-1),88 |
| BUF_SIZE | 0 | mas | (-1),88 |
| BUF_SIZE | 0 | mas->tree | (-1),8-s32max |
| CAPPED_DATA | 0 | mas->index | 1 |
| DATA_SOURCE | 0 | mas | $0 |
| PARAM_COMPARE | 0 | mas->index | impossible $0->last |
| NOSPEC | 0 | mas->index | |
| NOSPEC | 0 | mas->last | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | mas->index | 1-u64max[c] |
| HOST_DATA | 0 | mas->last | 1-s32max[c] |
| USER_DATA | 0 | mas->index | 0-u64max[c] |
| USER_DATA | 0 | mas->last | 0-u64max |
| NO_OVERFLOW_SIMPLE | 0 | mas->sheaf->capacity | |
| NO_OVERFLOW_SIMPLE | 0 | mas->sheaf->size |
lib/maple_tree.c mas_max_gap() -> mas_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->tree | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->tree->ma_flags | 1-u32max |
| DATA_SOURCE | 0 | mas | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | mas->index | |
| HALF_LOCKED2 | &mt->ma_lock |
lib/maple_tree.c mas_parent_gap() -> mas_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->sheaf->size | s32min-4294967295 |
| PARAM_VALUE | 0 | mas->tree | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->tree->ma_flags | 1-u32max |
| DATA_SOURCE | 0 | mas | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | mas->index | |
| NO_OVERFLOW_SIMPLE | 0 | mas->last | |
| NO_OVERFLOW_SIMPLE | 0 | mas->node_request | |
| HALF_LOCKED2 | &mt->ma_lock |
lib/maple_tree.c mas_set_parent_slots() -> mas_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| DATA_SOURCE | 0 | mas | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | mas->index | |
| NO_OVERFLOW_SIMPLE | 0 | mas->last | |
| NO_OVERFLOW_SIMPLE | 0 | mas->node_request | |
| HALF_LOCKED2 | &mt->ma_lock |
lib/maple_tree.c mas_store() -> mas_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->index | 1-u64max |
| PARAM_VALUE | 0 | mas->last | 0-18446744073709551614 |
| PARAM_VALUE | 0 | mas->status | 0-3,6,8-u32max |
| CAPPED_DATA | 0 | mas->index | 1 |
| CAPPED_DATA | 0 | mas->last | 1 |
| DATA_SOURCE | 0 | mas | $0 |
| PARAM_COMPARE | 0 | mas->index | > $0->last |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | mas->index | |
| HALF_LOCKED2 | &(&mas)->tree->ma_lock | ||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &mt_lock | ||
| HALF_LOCKED2 | &newmt_lock | ||
| HALF_LOCKED2 | &oldmm->mmap_lock |
lib/maple_tree.c mas_store() -> mas_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &(&mas)->tree->ma_lock | ||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &mt_lock | ||
| HALF_LOCKED2 | &newmt_lock | ||
| HALF_LOCKED2 | &oldmm->mmap_lock |
lib/maple_tree.c mas_store_prealloc() -> mas_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &tsk->signal->exec_update_lock |
lib/maple_tree.c mas_topiary_replace() -> mas_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0,4096-ptr_max |
| PARAM_VALUE | 0 | mas->sheaf->size | s32min-4294967295 |
| PARAM_VALUE | 0 | mas->tree->ma_root | 0,2-u64max |
| CAPPED_DATA | 0 | mas->index | 1 |
| CAPPED_DATA | 0 | mas->tree->ma_root | 1 |
| DATA_SOURCE | 0 | mas | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | mas->index | |
| HALF_LOCKED2 | &mt->ma_lock |
lib/maple_tree.c mas_topiary_replace() -> mas_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0,4096-ptr_max |
| PARAM_VALUE | 0 | mas->sheaf->size | s32min-4294967295 |
| PARAM_VALUE | 0 | mas->tree | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->tree->ma_root | 0,2-u64max |
| CAPPED_DATA | 0 | mas->index | 1 |
| CAPPED_DATA | 0 | mas->tree->ma_root | 1 |
| DATA_SOURCE | 0 | mas | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | mas->index | |
| HALF_LOCKED2 | &mt->ma_lock |
lib/maple_tree.c mas_validate_limits() -> mas_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 8277924692161298432 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->depth | 0 |
| PARAM_VALUE | 0 | mas->index | 0 |
| PARAM_VALUE | 0 | mas->last | 0 |
| PARAM_VALUE | 0 | mas->mas_flags | 0 |
| PARAM_VALUE | 0 | mas->node_request | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 0,6 |
| PARAM_VALUE | 0 | mas->store_type | 0 |
| DATA_SOURCE | 0 | mas | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &tsk->signal->exec_update_lock |
lib/maple_tree.c mas_validate_limits() -> mas_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 8277924692161298432 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->depth | 0 |
| PARAM_VALUE | 0 | mas->index | 0 |
| PARAM_VALUE | 0 | mas->last | 0 |
| PARAM_VALUE | 0 | mas->mas_flags | 0 |
| PARAM_VALUE | 0 | mas->node_request | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 0,6 |
| PARAM_VALUE | 0 | mas->store_type | 0 |
| DATA_SOURCE | 0 | mas | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &tsk->signal->exec_update_lock |
lib/maple_tree.c mas_validate_limits() -> mas_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 8277924692161298432 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->depth | 0 |
| PARAM_VALUE | 0 | mas->index | 0 |
| PARAM_VALUE | 0 | mas->last | 0 |
| PARAM_VALUE | 0 | mas->mas_flags | 0 |
| PARAM_VALUE | 0 | mas->min | 1-u64max |
| PARAM_VALUE | 0 | mas->node_request | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 0,6 |
| PARAM_VALUE | 0 | mas->store_type | 0 |
| DATA_SOURCE | 0 | mas | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &tsk->signal->exec_update_lock |
lib/maple_tree.c mas_validate_limits() -> mas_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 8277924692161298432 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->depth | 0 |
| PARAM_VALUE | 0 | mas->index | 0 |
| PARAM_VALUE | 0 | mas->last | 0 |
| PARAM_VALUE | 0 | mas->mas_flags | 0 |
| PARAM_VALUE | 0 | mas->max | 0-18446744073709551614 |
| PARAM_VALUE | 0 | mas->node_request | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 0,6 |
| PARAM_VALUE | 0 | mas->store_type | 0 |
| PARAM_VALUE | 0 | mas->tree | 4096-ptr_max |
| CAPPED_DATA | 0 | mas->max | 1 |
| CAPPED_DATA | 0 | mas->tree->ma_root | 1 |
| DATA_SOURCE | 0 | mas | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &tsk->signal->exec_update_lock |
lib/maple_tree.c mas_validate_limits() -> mas_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 8277924692161298432 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->depth | 0 |
| PARAM_VALUE | 0 | mas->index | 0 |
| PARAM_VALUE | 0 | mas->last | 0 |
| PARAM_VALUE | 0 | mas->mas_flags | 0 |
| PARAM_VALUE | 0 | mas->node_request | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 0,6 |
| PARAM_VALUE | 0 | mas->store_type | 0 |
| DATA_SOURCE | 0 | mas | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &tsk->signal->exec_update_lock |
lib/maple_tree.c mt_validate() -> mas_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 8277924692161298432 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->depth | 0 |
| PARAM_VALUE | 0 | mas->index | 0 |
| PARAM_VALUE | 0 | mas->last | 0 |
| PARAM_VALUE | 0 | mas->mas_flags | 0 |
| PARAM_VALUE | 0 | mas->node_request | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 0,6 |
| PARAM_VALUE | 0 | mas->store_type | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | rcu_read |
lib/maple_tree.c mt_validate() -> mas_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 8277924692161298432 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->depth | 0 |
| PARAM_VALUE | 0 | mas->index | 0 |
| PARAM_VALUE | 0 | mas->last | 0 |
| PARAM_VALUE | 0 | mas->mas_flags | 0 |
| PARAM_VALUE | 0 | mas->node_request | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 0,6 |
| PARAM_VALUE | 0 | mas->store_type | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | rcu_read |
mm/mmap.c __mas_set_range() -> mas_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 3206200147527860224,7384155619282165760 |
| PARAM_VALUE | 0 | mas->status | 0 |
| CAPPED_DATA | 0 | mas->index | 1 |
| DATA_SOURCE | 0 | mas | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | mas->index | |
| LOCK2 | &mm->mmap_lock | ||
| LOCK2 | &oldmm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/userfaultfd.c __mas_set_range() -> mas_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 1467127174713044992,5766468818838921216 |
| PARAM_VALUE | 0 | mas->mas_flags | 0 |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->node_request | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 1 |
| PARAM_VALUE | 0 | mas->store_type | 0 |
| BUF_SIZE | 0 | mas->tree | (-1),88 |
| CAPPED_DATA | 0 | mas->index | 1 |
| DATA_SOURCE | 0 | mas | $0 |
| PARAM_COMPARE | 0 | mas->index | impossible $0->last |
| NOCHECK_CALL | |||
| USER_DATA | 0 | mas->index | 0-18446744073709551614[c] |
| USER_DATA | 0 | mas->last | 0-u64max |
| NO_OVERFLOW_SIMPLE | 0 | mas->index | |
| HALF_LOCKED2 | &dst_mm->mmap_lock | ||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | _T->lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/damon/vaddr.c __mas_set_range() -> mas_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->mas_flags | 0,2-254 |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->node_request | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 1 |
| CAPPED_DATA | 0 | mas->index | 1 |
| DATA_SOURCE | 0 | mas | $0 |
| PARAM_COMPARE | 0 | mas->index | impossible $0->last |
| PREEMPT_ADD | |||
| NOCHECK_CALL | |||
| LOCK2 | &(&mas)->tree->ma_lock |
fs/proc/task_mmu.c __mas_set_range() -> mas_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->status | 1 |
| CAPPED_DATA | 0 | mas->index | 1 |
| DATA_SOURCE | 0 | mas | $0 |
| PARAM_COMPARE | 0 | mas->index | impossible $0->last |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &m->lock | ||
| HALF_LOCKED2 | &lock_ctx->mm->mmap_lock | ||
| HALF_LOCKED2 | rcu_read | ||
| TYPE_LOCK | (struct seq_file)->lock |
mm/vma.c __mas_set_range() -> mas_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->status | 0 |
| CAPPED_DATA | 0 | mas->index | 1 |
| DATA_SOURCE | 0 | mas | $0 |
| NOSPEC | 0 | mas->index | |
| NOSPEC | 0 | mas->last | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | mas->index | 0-u64max[c] |
| USER_DATA | 0 | mas->last | 0-u64max |
| NO_OVERFLOW_SIMPLE | 0 | mas->sheaf->size | |
| HALF_LOCKED2 | &mm->mmap_lock |
mm/vma.c vma_iter_store_overwrite() -> mas_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->index | 1-u64max |
| PARAM_VALUE | 0 | mas->mas_flags | 1,3-255 |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->node_request | 0-1 |
| PARAM_VALUE | 0 | mas->status | 0,2,7-u32max |
| PARAM_VALUE | 0 | mas->store_type | 1-9 |
| NOSPEC | 0 | mas->index | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | mas->index | 1-u64max[c] |
| USER_DATA | 0 | mas->last | 0-u64max |
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &vma->anon_vma->root->rwsem |
mm/vma.c vma_iter_store_overwrite() -> mas_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->last | 0-18446744073709551614 |
| PARAM_VALUE | 0 | mas->mas_flags | 1,3-255 |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->node_request | 0-1 |
| PARAM_VALUE | 0 | mas->status | 0,2,7-u32max |
| PARAM_VALUE | 0 | mas->store_type | 1-9 |
| NOSPEC | 0 | mas->index | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | mas->index | 0-u64max |
| USER_DATA | 0 | mas->last | 0-18446744073709551614[c] |
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &vma->anon_vma->root->rwsem |
drivers/base/regmap/regcache-maple.c __mas_set_range() -> mas_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->mas_flags | 0,2-254 |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->node_request | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 1 |
| CAPPED_DATA | 0 | mas->index | 1 |
| DATA_SOURCE | 0 | mas | $0 |
| PARAM_COMPARE | 0 | mas->index | impossible $0->last |
| NOSPEC | 0 | mas->index | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | mas->index | 0-u64max[c] |
| USER_DATA | 0 | mas->last | 0-u64max |
| HALF_LOCKED2 | &(&mas)->tree->ma_lock | ||
| HALF_LOCKED2 | map->lock_arg | ||
| HALF_LOCKED2 | rcu_read |
lib/test_maple_tree.c __mas_set_range() -> mas_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->status | 1 |
| BUF_SIZE | 0 | mas->tree | (-1),88 |
| CAPPED_DATA | 0 | mas->index | 1 |
| DATA_SOURCE | 0 | mas | $0 |
| PARAM_COMPARE | 0 | mas->index | impossible $0->last |
| PREEMPT_ADD | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &(&mas)->tree->ma_lock | ||
| HALF_LOCKED2 | &mt_lock |
lib/test_maple_tree.c alloc_cyclic_testing() -> mas_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 3625433611361931264 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->mas_flags | 0,2-254 |
| PARAM_VALUE | 0 | mas->node_request | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &mt->ma_lock | ||
| TYPE_LOCK | (struct maple_tree)->ma_lock |
lib/test_maple_tree.c alloc_cyclic_testing() -> mas_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 3625433611361931264 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->mas_flags | 0,2-254 |
| PARAM_VALUE | 0 | mas->node_request | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &mt->ma_lock | ||
| TYPE_LOCK | (struct maple_tree)->ma_lock |
lib/test_maple_tree.c alloc_cyclic_testing() -> mas_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 3625433611361931264 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->mas_flags | 0,2-254 |
| PARAM_VALUE | 0 | mas->node_request | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &mt->ma_lock | ||
| TYPE_LOCK | (struct maple_tree)->ma_lock |
lib/test_maple_tree.c alloc_cyclic_testing() -> mas_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 3625433611361931264 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->mas_flags | 0,2-254 |
| PARAM_VALUE | 0 | mas->node_request | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &mt->ma_lock | ||
| TYPE_LOCK | (struct maple_tree)->ma_lock |
kernel/sched/fair.c __mas_set_range() -> mas_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 246989008896827392 |
| PARAM_VALUE | 0 | mas->mas_flags | 0 |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->node_request | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 1 |
| PARAM_VALUE | 0 | mas->store_type | 0 |
| DATA_SOURCE | 0 | mas | $0 |
| PARAM_COMPARE | 0 | mas->index | impossible $0->last |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
lib/interval_tree_test.c __mas_set_range() -> mas_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 8963927461434200064 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->mas_flags | 0 |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->node_request | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 1 |
| PARAM_VALUE | 0 | mas->store_type | 0 |
| PARAM_VALUE | 0 | mas->tree | 824627335631695872 |
| BUF_SIZE | 0 | mas->tree | 88 |
| CAPPED_DATA | 0 | mas->index | 1 |
| DATA_SOURCE | 0 | mas | $0 |
| PARAM_COMPARE | 0 | mas->index | impossible $0->last |
| NOCHECK_CALL |
mm/mmap_lock.c __mas_set_range() -> mas_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->status | 1 |
| BUF_SIZE | 0 | mas->tree | (-1),88 |
| CAPPED_DATA | 0 | mas->index | 1 |
| DATA_SOURCE | 0 | mas | $0 |
| PARAM_COMPARE | 0 | mas->index | impossible $0->last |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | mas->index | 0-u64max[c] |
| USER_DATA | 0 | mas->last | 0-u64max |
mm/execmem.c __mas_set_range() -> mas_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 747517360957317120,5346958676717236224,8308723409954336768 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->mas_flags | 0,2-254 |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->node_request | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 1 |
| CAPPED_DATA | 0 | mas->index | 1 |
| DATA_SOURCE | 0 | mas | $0 |
| PARAM_COMPARE | 0 | mas->index | impossible $0->last |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | mutex |
mm/debug.c vma_iter_dump_tree() -> mas_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | mas->index | |
| NO_OVERFLOW_SIMPLE | 0 | mas->last | |
| HALF_LOCKED2 | &mm->mmap_lock |