Documented in 1 files:
Defined in 1 files as a function:
Referenced in 8 files:
- include/linux/mm.h, line 1726
- lib/interval_tree_test.c
- lib/maple_tree.c, line 3925
-
lib/test_maple_tree.c
- line 359
- line 365
- line 369
- line 375
- line 424
- line 440
- line 456
- line 528
- line 553
- line 597
- line 618
- line 631
- line 1408
- line 1415
- line 1458
- line 1472
- line 1486
- line 1518
- line 1526
- line 1529
- line 1533
- line 1537
- line 1547
- line 1551
- line 1567
- line 1574
- line 1585
- line 1592
- line 1608
- line 1613
- line 1618
- line 1679
- line 1964
- line 1990
- line 2032
- line 2074
- line 2091
- line 2131
- line 2178
- line 2228
- line 2235
- line 2248
- line 2273
- line 2291
- line 2312
- line 2330
- line 2351
- line 2366
- line 2900
- line 3094
- line 3102
- line 3111
- line 3119
- line 3127
- line 3149
- line 3164
- line 3186
- line 3194
- line 3202
- line 3226
- line 3234
- line 3258
- line 3284
- line 3292
- line 3353
- line 3426
- line 3451
- line 3459
- line 3468
- line 3534
- line 3542
- line 3550
- line 3558
- line 3567
- line 3576
- line 3585
- line 3618
- line 3623
- line 3625
- mm/mmap_lock.c, line 316
- mm/vma.c
-
tools/testing/radix-tree/maple.c
- line 573
- line 33962
- line 34093
- line 34555
- line 35292
- line 35303
- line 35317
- line 35330
- line 35343
- line 35356
- line 35369
- line 35385
- line 35400
- line 35414
- line 35421
- line 35423
- line 35425
- line 35427
- line 35444
- line 35470
- line 35479
- line 35482
- line 35493
- line 35496
- line 35507
- line 35510
- line 35526
- line 35550
- line 35553
- line 35561
- line 35601
- line 35613
- line 35627
- line 35863
- line 35876
- line 35969
- line 35983
- line 35994
- line 36006
- line 36014
- line 36183
- tools/testing/vma/include/dup.h, line 1450
Smatch caller information:
lib/maple_tree.c mas_rewalk() -> mas_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->status | 0-3,8-u32max |
| BUF_SIZE | 0 | mas | (-1),88 |
| BUF_SIZE | 0 | mas | (-1),88 |
| BUF_SIZE | 0 | mas->tree | (-1),8-s32max |
| DATA_SOURCE | 0 | mas | $0 |
| DATA_SOURCE | 1 | index | $1 |
| NOSPEC | 0 | mas->index | |
| NOSPEC | 0 | mas->last | |
| NOSPEC | 1 | index | |
| 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] |
| HOST_DATA | 1 | index | 1-s32max[c] |
| USER_DATA | 0 | mas->index | 0-u64max |
| USER_DATA | 0 | mas->last | 0-u64max |
| USER_DATA | 1 | index | 0-u64max |
| NO_OVERFLOW_SIMPLE | 0 | mas->sheaf->size |
mm/mmap.c vma_iter_set() -> mas_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 3206200147527860224,7384155619282165760 |
| PARAM_VALUE | 0 | mas->mas_flags | 0,2-254 |
| PARAM_VALUE | 0 | mas->node_request | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| DATA_SOURCE | 1 | index | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | mas->index | |
| UNITS | 1 | index | unit_byte |
| LOCK2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &oldmm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/userfaultfd.c vma_iter_set() -> mas_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 1467127174713044992,5766468818838921216 |
| 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-1,3,5,8-u32max |
| PARAM_VALUE | 0 | mas->store_type | 0 |
| PARAM_VALUE | 1 | index | 0-18446744073709551614 |
| CAPPED_DATA | 1 | index | 1 |
| CAPPED_DATA | 1 | index | 1 |
| DATA_SOURCE | 1 | index | $1 |
| NOSPEC | 1 | index | |
| NOCHECK_CALL | |||
| USER_DATA | 0 | mas->index | 0-18446744073709551614[c] |
| USER_DATA | 0 | mas->last | 0-u64max |
| USER_DATA | 1 | index | 0-18446744073709551614[c] |
| NO_OVERFLOW_SIMPLE | 0 | mas->index | |
| NO_OVERFLOW_SIMPLE | 1 | index | |
| UNITS | 1 | index | unit_byte |
| HALF_LOCKED2 | &dst_mm->mmap_lock | ||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | _T->lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
fs/proc/task_mmu.c vma_iter_set() -> mas_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| DATA_SOURCE | 1 | index | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | index | unit_byte |
| LOCK2 | &m->lock | ||
| HALF_LOCKED2 | &lock_ctx->mm->mmap_lock | ||
| HALF_LOCKED2 | rcu_read | ||
| TYPE_LOCK | (struct seq_file)->lock |
mm/vma.c reattach_vmas() -> mas_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4666393937844658176,5695852749483675896 |
| PARAM_VALUE | 1 | index | 0 |
| DATA_SOURCE | 0 | mas | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | mas->index | 0-u64max |
| USER_DATA | 0 | mas->last | 0-u64max |
| NO_OVERFLOW_SIMPLE | 0 | mas->sheaf->capacity |
mm/vma.c unmap_region() -> mas_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 3206200147527860224,4666393937844658176,5695852749483675888,7342498018941853696 |
| PARAM_VALUE | 0 | mas->status | 0-1,3-5,7-u32max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | mas->last | 0-u64max |
| USER_DATA | 1 | index | 0-u64max |
| UNITS | 1 | index | unit_byte |
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &oldmm->mmap_lock |
mm/vma.c vma_iter_set() -> mas_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->status | 0-3,5-u32max |
| DATA_SOURCE | 1 | index | $1 |
| NOSPEC | 1 | index | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | mas->index | 0-u64max |
| USER_DATA | 0 | mas->last | 0-u64max |
| USER_DATA | 1 | index | 0-u64max |
| UNITS | 1 | index | unit_byte |
| HALF_LOCKED2 | &mm->mmap_lock |
mm/vma.c vms_clean_up_area() -> mas_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 5695852749483675896 |
| PARAM_VALUE | 1 | index | 0 |
| DATA_SOURCE | 0 | mas | $1 |
| NOCHECK_CALL |
mm/vma.c vms_clear_ptes() -> mas_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4666393937844658176,5695852749483675888,5695852749483675896 |
| PARAM_VALUE | 1 | index | 1 |
| DATA_SOURCE | 0 | mas | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | mas->index | 0-u64max |
| USER_DATA | 0 | mas->last | 0-u64max |
| HALF_LOCKED2 | &mm->mmap_lock |
mm/vma.c vms_complete_munmap_vmas() -> mas_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4666393937844658176,5695852749483675896 |
| PARAM_VALUE | 1 | index | 0 |
| DATA_SOURCE | 0 | mas | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | mas->index | 1 |
| USER_DATA | 0 | mas->last | 1 |
mm/vma.c vms_gather_munmap_vmas() -> mas_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4666393937844658176,5695852749483675896 |
| 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 |
| PARAM_VALUE | 1 | index | 0-s32max |
| DATA_SOURCE | 0 | mas | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | mas->index | 0-u64max |
| USER_DATA | 0 | mas->last | 0-u64max |
lib/test_maple_tree.c check_deficient_node() -> mas_set()
| 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_request | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 1 | index | 0-9 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &(&mas)->tree->ma_lock |
lib/test_maple_tree.c check_deficient_node() -> mas_set()
| 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_request | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 1 | index | 20-38 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &(&mas)->tree->ma_lock |
lib/test_maple_tree.c check_deficient_node() -> mas_set()
| 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_request | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 1 | index | 10-11 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &(&mas)->tree->ma_lock |
lib/test_maple_tree.c check_empty_area_fill() -> mas_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 7973555732508303360 |
| 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 |
| PARAM_VALUE | 1 | index | 0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_find() -> mas_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 784588970386345984 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->depth | 0 |
| PARAM_VALUE | 0 | mas->end | 0 |
| PARAM_VALUE | 0 | mas->index | 0 |
| PARAM_VALUE | 0 | mas->last | 0 |
| PARAM_VALUE | 0 | mas->ld_seq | 0 |
| PARAM_VALUE | 0 | mas->mas_flags | 0 |
| PARAM_VALUE | 0 | mas->max | u64max |
| PARAM_VALUE | 0 | mas->min | 0 |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->node_request | 0 |
| PARAM_VALUE | 0 | mas->offset | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 1 |
| PARAM_VALUE | 0 | mas->store_type | 0 |
| PARAM_VALUE | 1 | index | 0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_find() -> mas_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 784588970386345984 |
| PARAM_VALUE | 0 | mas->alloc | 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-1,3,5,8-u32max |
| PARAM_VALUE | 0 | mas->store_type | 0 |
| PARAM_VALUE | 1 | index | 0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_find() -> mas_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 784588970386345984 |
| PARAM_VALUE | 0 | mas->alloc | 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-1,3,5,8-u32max |
| PARAM_VALUE | 0 | mas->store_type | 0 |
| PARAM_VALUE | 1 | index | 0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_find() -> mas_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 784588970386345984 |
| 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 | 1 | index | 0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_find() -> mas_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 784588970386345984 |
| PARAM_VALUE | 0 | mas->alloc | 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-1,3-5,8-u32max |
| PARAM_VALUE | 0 | mas->store_type | 0 |
| PARAM_VALUE | 1 | index | 1048576 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_find() -> mas_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 784588970386345984 |
| 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 |
| PARAM_VALUE | 0 | mas->status | 0,2-3,6,8-u32max |
| PARAM_VALUE | 1 | index | 0 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &(&mas)->tree->ma_lock |
lib/test_maple_tree.c check_find_2() -> mas_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 1342616144398204928 |
| PARAM_VALUE | 0 | mas->alloc | 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-1,3,5,8-u32max |
| PARAM_VALUE | 0 | mas->store_type | 0 |
| PARAM_VALUE | 1 | index | 0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_find_2() -> mas_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 1342616144398204928 |
| PARAM_VALUE | 0 | mas->alloc | 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-1,3,5,8-u32max |
| PARAM_VALUE | 0 | mas->store_type | 0 |
| PARAM_VALUE | 1 | index | 0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_forking() -> mas_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 6758922485489348608 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->depth | 0 |
| PARAM_VALUE | 0 | mas->end | 0 |
| PARAM_VALUE | 0 | mas->index | 0 |
| PARAM_VALUE | 0 | mas->last | 0 |
| PARAM_VALUE | 0 | mas->ld_seq | 0 |
| PARAM_VALUE | 0 | mas->mas_flags | 0 |
| PARAM_VALUE | 0 | mas->max | u64max |
| PARAM_VALUE | 0 | mas->min | 0 |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->node_request | 0 |
| PARAM_VALUE | 0 | mas->offset | 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 | 8688075177093472256 |
| PARAM_VALUE | 1 | index | 0 |
| NOCHECK_CALL | |||
| LOCK2 | &mt_lock | ||
| LOCK2 | &newmt_lock |
lib/test_maple_tree.c check_gap_combining() -> mas_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 1261997500507176960 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->depth | 0 |
| PARAM_VALUE | 0 | mas->end | 0 |
| PARAM_VALUE | 0 | mas->index | 0 |
| PARAM_VALUE | 0 | mas->last | 0 |
| PARAM_VALUE | 0 | mas->ld_seq | 0 |
| PARAM_VALUE | 0 | mas->mas_flags | 0 |
| PARAM_VALUE | 0 | mas->max | u64max |
| PARAM_VALUE | 0 | mas->min | 0 |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->node_request | 0 |
| PARAM_VALUE | 0 | mas->offset | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 1 |
| PARAM_VALUE | 0 | mas->store_type | 0 |
| NOCHECK_CALL |
lib/test_maple_tree.c check_iteration() -> mas_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->status | 0-3,5,7-u32max |
| PARAM_VALUE | 0 | mas->store_type | 0-9 |
| PARAM_VALUE | 1 | index | 0 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &(&mas)->tree->ma_lock |
lib/test_maple_tree.c check_iteration() -> mas_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->status | 0-3,5,7-u32max |
| PARAM_VALUE | 0 | mas->store_type | 0-9 |
| PARAM_VALUE | 1 | index | 0 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &(&mas)->tree->ma_lock |
lib/test_maple_tree.c check_mas_store_gfp() -> mas_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 7846237629361885184 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->depth | 0 |
| PARAM_VALUE | 0 | mas->end | 0 |
| PARAM_VALUE | 0 | mas->index | 0 |
| PARAM_VALUE | 0 | mas->last | 0 |
| PARAM_VALUE | 0 | mas->ld_seq | 0 |
| PARAM_VALUE | 0 | mas->mas_flags | 0 |
| PARAM_VALUE | 0 | mas->max | u64max |
| PARAM_VALUE | 0 | mas->min | 0 |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->node_request | 0 |
| PARAM_VALUE | 0 | mas->offset | 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 | 697437168751288320 |
| PARAM_VALUE | 1 | index | 0 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &(&newmas)->tree->ma_lock | ||
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_prev_entry() -> mas_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 5691979941049311232 |
| 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 |
| PARAM_VALUE | 1 | index | 20 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &(&mas)->tree->ma_lock |
lib/test_maple_tree.c check_prev_entry() -> mas_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 5691979941049311232 |
| 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 |
| PARAM_VALUE | 0 | mas->status | 0,2-3,6,8-u32max |
| PARAM_VALUE | 1 | index | 80 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &(&mas)->tree->ma_lock |
lib/test_maple_tree.c check_rev_find() -> mas_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 6284928140378267648 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->depth | 0 |
| PARAM_VALUE | 0 | mas->end | 0 |
| PARAM_VALUE | 0 | mas->index | 0 |
| PARAM_VALUE | 0 | mas->last | 0 |
| PARAM_VALUE | 0 | mas->ld_seq | 0 |
| PARAM_VALUE | 0 | mas->mas_flags | 0 |
| PARAM_VALUE | 0 | mas->max | u64max |
| PARAM_VALUE | 0 | mas->min | 0 |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->node_request | 0 |
| PARAM_VALUE | 0 | mas->offset | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 1 |
| PARAM_VALUE | 0 | mas->store_type | 0 |
| PARAM_VALUE | 1 | index | 1000 |
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_rev_find() -> mas_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 6284928140378267648 |
| PARAM_VALUE | 0 | mas->alloc | 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-3,6 |
| PARAM_VALUE | 0 | mas->store_type | 0 |
| PARAM_VALUE | 1 | index | 999 |
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_rev_find() -> mas_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 6284928140378267648 |
| PARAM_VALUE | 0 | mas->alloc | 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-3,6 |
| PARAM_VALUE | 0 | mas->store_type | 0 |
| PARAM_VALUE | 1 | index | 1000 |
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_rev_find() -> mas_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 6284928140378267648 |
| PARAM_VALUE | 0 | mas->alloc | 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-3,6 |
| PARAM_VALUE | 0 | mas->store_type | 0 |
| PARAM_VALUE | 1 | index | 20 |
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_root_expand() -> mas_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->depth | 0 |
| PARAM_VALUE | 0 | mas->end | 0 |
| PARAM_VALUE | 0 | mas->index | 0 |
| PARAM_VALUE | 0 | mas->last | 0 |
| PARAM_VALUE | 0 | mas->ld_seq | 0 |
| PARAM_VALUE | 0 | mas->mas_flags | 0 |
| PARAM_VALUE | 0 | mas->max | u64max |
| PARAM_VALUE | 0 | mas->min | 0 |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->node_request | 0 |
| PARAM_VALUE | 0 | mas->offset | 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 | 697437168751288320 |
| PARAM_VALUE | 1 | index | 3 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &(&mas)->tree->ma_lock |
lib/test_maple_tree.c check_root_expand() -> mas_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->alloc | 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,3 |
| PARAM_VALUE | 0 | mas->store_type | 0 |
| PARAM_VALUE | 0 | mas->tree | 697437168751288320 |
| PARAM_VALUE | 1 | index | 1 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &(&mas)->tree->ma_lock |
lib/test_maple_tree.c check_root_expand() -> mas_set()
| 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_request | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 1 | index | 0 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &(&mas)->tree->ma_lock |
lib/test_maple_tree.c check_root_expand() -> mas_set()
| 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_request | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 0,3 |
| PARAM_VALUE | 1 | index | 1 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &(&mas)->tree->ma_lock |
lib/test_maple_tree.c check_root_expand() -> mas_set()
| 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_request | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 0,3 |
| PARAM_VALUE | 1 | index | 2 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &(&mas)->tree->ma_lock |
lib/test_maple_tree.c check_root_expand() -> mas_set()
| 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_request | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 0,3 |
| PARAM_VALUE | 1 | index | 0 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &(&mas)->tree->ma_lock |
lib/test_maple_tree.c check_root_expand() -> mas_set()
| 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_request | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 1 | index | 5 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &(&mas)->tree->ma_lock |
lib/test_maple_tree.c check_root_expand() -> mas_set()
| 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_request | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 0,3 |
| PARAM_VALUE | 1 | index | 0 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &(&mas)->tree->ma_lock |
lib/test_maple_tree.c check_root_expand() -> mas_set()
| 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_request | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 0-3,5,7-u32max |
| PARAM_VALUE | 1 | index | 1 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &(&mas)->tree->ma_lock |
lib/test_maple_tree.c check_root_expand() -> mas_set()
| 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_request | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 0,2-3,6,8-u32max |
| PARAM_VALUE | 1 | index | 0 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &(&mas)->tree->ma_lock |
lib/test_maple_tree.c check_root_expand() -> mas_set()
| 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_request | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 0-3,5,7-u32max |
| PARAM_VALUE | 1 | index | 1 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &(&mas)->tree->ma_lock |
lib/test_maple_tree.c check_store_null() -> mas_set()
| 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_request | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 1 | index | 0 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &(&mas)->tree->ma_lock |
lib/test_maple_tree.c check_store_null() -> mas_set()
| 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_request | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 1 | index | 0 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &(&mas)->tree->ma_lock |
lib/test_maple_tree.c check_store_null() -> mas_set()
| 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_request | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 1 | index | 0 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &(&mas)->tree->ma_lock |
lib/test_maple_tree.c next_prev_test() -> mas_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| 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 | 1 | index | 0 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &(&mas)->tree->ma_lock |
lib/test_maple_tree.c next_prev_test() -> mas_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| 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 | 1 | index | 0 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &(&mas)->tree->ma_lock |
lib/test_maple_tree.c next_prev_test() -> mas_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->alloc | 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-1,3-5,8-u32max |
| PARAM_VALUE | 0 | mas->store_type | 0 |
| PARAM_VALUE | 1 | index | 686 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &(&mas)->tree->ma_lock |
lib/test_maple_tree.c next_prev_test() -> mas_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->alloc | 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-3,5,8-u32max |
| PARAM_VALUE | 0 | mas->store_type | 0 |
| PARAM_VALUE | 1 | index | 70 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &(&mas)->tree->ma_lock |
lib/test_maple_tree.c next_prev_test() -> mas_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| 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 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &(&mas)->tree->ma_lock |
lib/test_maple_tree.c next_prev_test() -> mas_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->alloc | 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,2-3,6,8-u32max |
| PARAM_VALUE | 0 | mas->store_type | 0 |
| PARAM_VALUE | 1 | index | 2000 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &(&mas)->tree->ma_lock |
lib/test_maple_tree.c next_prev_test() -> mas_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| 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 | 1 | index | 10 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &(&mas)->tree->ma_lock |
lib/test_maple_tree.c next_prev_test() -> mas_set()
| 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 |
| PARAM_VALUE | 0 | mas->store_type | 1-9 |
| PARAM_VALUE | 1 | index | 10 |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | &(&mas)->tree->ma_lock |
lib/test_maple_tree.c next_prev_test() -> mas_set()
| 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_request | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 0,2-3,6,8-u32max |
| PARAM_VALUE | 0 | mas->store_type | 1-9 |
| PARAM_VALUE | 1 | index | 5 |
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |
kernel/sched/fair.c vma_iter_set() -> mas_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 246989008896827392 |
| 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-1,3,5,8-u32max |
| PARAM_VALUE | 0 | mas->store_type | 0 |
| PARAM_VALUE | 1 | index | 0 |
| DATA_SOURCE | 1 | index | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | index | unit_byte |
| LOCK2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
lib/interval_tree_test.c mas_cur_span() -> mas_set()
| 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_request | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 0-3,8-u32max |
| PARAM_VALUE | 0 | mas->store_type | 0 |
| PARAM_VALUE | 0 | mas->tree | 824627335631695872 |
| CAPPED_DATA | 1 | index | 1 |
| DATA_SOURCE | 0 | mas | $0 |
| NOCHECK_CALL | |||
| UNITS | 1 | index | unit_byte |
lib/interval_tree_test.c span_iteration_check() -> mas_set()
| 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_request | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 1,5 |
| PARAM_VALUE | 0 | mas->store_type | 0 |
| PARAM_VALUE | 0 | mas->tree | 824627335631695872 |
| PARAM_VALUE | 1 | index | 0-268435454 |
| CAPPED_DATA | 1 | index | 1 |
| CAPPED_DATA | 1 | index | 1 |
| FUZZY_MAX | 1 | index | 0 |
| NOCHECK_CALL |
mm/mmap_lock.c lock_vma_under_rcu() -> mas_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 3693957120205234176 |
| PARAM_VALUE | 0 | mas->alloc | 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,2-3 |
| PARAM_VALUE | 0 | mas->store_type | 0 |
| DATA_SOURCE | 1 | index | $1 [m] |
| NOSPEC | 1 | index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | mas->index | 0-u64max |
| USER_DATA | 1 | index | 0-u64max |
| UNITS | 1 | index | unit_byte |
mm/mmap_lock.c vma_iter_set() -> mas_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4096-ptr_max |
| PARAM_VALUE | 0 | mas->status | 0-3,5,8-u32max |
| DATA_SOURCE | 1 | index | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | mas->index | 0-u64max |
| USER_DATA | 0 | mas->last | 0-u64max |
| USER_DATA | 1 | index | 0-u64max |
| UNITS | 1 | index | unit_byte |
| HALF_LOCKED2 | &m->lock | ||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | rcu_read |