Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
Smatch caller information:
lib/maple_tree.c mtree_alloc_rrange() -> mas_empty_area_rev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 7661151743779176448 |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->status | 1 |
| PARAM_VALUE | 1 | min | 0-4503599627370495 |
| PARAM_VALUE | 2 | max | 0-4503599627370495 |
| PARAM_VALUE | 3 | size | 0-4503599627370495 |
| CAPPED_DATA | 1 | min | 1 |
| CAPPED_DATA | 1 | min | 1 |
| CAPPED_DATA | 2 | max | 1 |
| CAPPED_DATA | 2 | max | 1 |
| CAPPED_DATA | 3 | size | 1 |
| CAPPED_DATA | 3 | size | 1 |
| DATA_SOURCE | 1 | min | $4 |
| DATA_SOURCE | 2 | max | $5 |
| DATA_SOURCE | 3 | size | $3 |
| PREEMPT_ADD | <- disables preempt | ||
| LOCK2 | &mt->ma_lock | ||
| TYPE_LOCK | (struct maple_tree)->ma_lock |
mm/vma.c vma_iter_area_highest() -> mas_empty_area_rev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 7162845571259215872 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 1 |
| CAPPED_DATA | 1 | min | 1 |
| DATA_SOURCE | 1 | min | $1 |
| DATA_SOURCE | 3 | size | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 3 | size | 0-2147487743[c] |
| NO_OVERFLOW_SIMPLE | 0 | mas->index | |
| NO_OVERFLOW_SIMPLE | 1 | min | |
| UNITS | 1 | min | unit_byte |
| UNITS | 2 | max | unit_byte |
| UNITS | 3 | size | unit_byte |
| HALF_LOCKED2 | &mm->mmap_lock |
lib/test_maple_tree.c check_alloc_rev_range() -> mas_empty_area_rev()
| 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->node | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 1 |
| PARAM_VALUE | 0 | mas->tree | 697437168751288320 |
| PARAM_VALUE | 1 | min | 0-4503599627370495 |
| PARAM_VALUE | 2 | max | 0-4503599627370495 |
| PARAM_VALUE | 3 | size | 0-4503599627370495 |
| CAPPED_DATA | 1 | min | 1 |
| CAPPED_DATA | 1 | min | 1 |
| FUZZY_MAX | 1 | min | 0 |
| PREEMPT_ADD | <- disables preempt | ||
| LOCK2 | &(&mas)->tree->ma_lock |
lib/test_maple_tree.c check_alloc_rev_range() -> mas_empty_area_rev()
| 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->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 0-2,7 |
| PARAM_VALUE | 0 | mas->tree | 697437168751288320 |
| PARAM_VALUE | 1 | min | 0-4503599627370495 |
| PARAM_VALUE | 2 | max | 0-4503599627370495 |
| PARAM_VALUE | 3 | size | 0-4503599627370495 |
| CAPPED_DATA | 1 | min | 1 |
| CAPPED_DATA | 1 | min | 1 |
| FUZZY_MAX | 1 | min | 0 |
| PREEMPT_ADD | <- disables preempt | ||
| LOCK2 | &(&mas)->tree->ma_lock |
lib/test_maple_tree.c check_empty_area_window() -> mas_empty_area_rev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4141346736029859840 |
| 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->max | u64max |
| PARAM_VALUE | 0 | mas->min | 0 |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->offset | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 1 |
| PARAM_VALUE | 1 | min | 5 |
| PARAM_VALUE | 2 | max | 90 |
| PARAM_VALUE | 3 | size | 10 |
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_empty_area_window() -> mas_empty_area_rev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4141346736029859840 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->depth | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 0-3 |
| PARAM_VALUE | 1 | min | 5 |
| PARAM_VALUE | 2 | max | 90 |
| PARAM_VALUE | 3 | size | 10 |
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_empty_area_window() -> mas_empty_area_rev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4141346736029859840 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->depth | 0 |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 1 |
| PARAM_VALUE | 1 | min | 6 |
| PARAM_VALUE | 2 | max | 90 |
| PARAM_VALUE | 3 | size | 5 |
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_empty_area_window() -> mas_empty_area_rev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4141346736029859840 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->depth | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 0-3 |
| PARAM_VALUE | 1 | min | 6 |
| PARAM_VALUE | 2 | max | 90 |
| PARAM_VALUE | 3 | size | 5 |
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_empty_area_window() -> mas_empty_area_rev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4141346736029859840 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->depth | 0 |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 1 |
| PARAM_VALUE | 1 | min | 5 |
| PARAM_VALUE | 2 | max | 90 |
| PARAM_VALUE | 3 | size | 5 |
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_empty_area_window() -> mas_empty_area_rev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4141346736029859840 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->depth | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 0-1,7 |
| PARAM_VALUE | 1 | min | 5 |
| PARAM_VALUE | 2 | max | 90 |
| PARAM_VALUE | 3 | size | 5 |
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_empty_area_window() -> mas_empty_area_rev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4141346736029859840 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->depth | 0 |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 1 |
| PARAM_VALUE | 1 | min | 5 |
| PARAM_VALUE | 2 | max | 217 |
| PARAM_VALUE | 3 | size | 9 |
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_empty_area_window() -> mas_empty_area_rev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4141346736029859840 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->depth | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 0-1,7 |
| PARAM_VALUE | 1 | min | 5 |
| PARAM_VALUE | 2 | max | 217 |
| PARAM_VALUE | 3 | size | 9 |
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_empty_area_window() -> mas_empty_area_rev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4141346736029859840 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->depth | 0 |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 1 |
| PARAM_VALUE | 1 | min | 100 |
| PARAM_VALUE | 2 | max | 218 |
| PARAM_VALUE | 3 | size | 3 |
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_empty_area_window() -> mas_empty_area_rev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4141346736029859840 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->depth | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 0-1,7 |
| PARAM_VALUE | 1 | min | 100 |
| PARAM_VALUE | 2 | max | 218 |
| PARAM_VALUE | 3 | size | 3 |
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_empty_area_window() -> mas_empty_area_rev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4141346736029859840 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->depth | 0 |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 1 |
| PARAM_VALUE | 1 | min | 100 |
| PARAM_VALUE | 2 | max | 218 |
| PARAM_VALUE | 3 | size | 16 |
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_empty_area_window() -> mas_empty_area_rev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4141346736029859840 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->depth | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 0-3 |
| PARAM_VALUE | 1 | min | 100 |
| PARAM_VALUE | 2 | max | 218 |
| PARAM_VALUE | 3 | size | 16 |
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_empty_area_window() -> mas_empty_area_rev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4141346736029859840 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->depth | 0 |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 1 |
| PARAM_VALUE | 1 | min | 167 |
| PARAM_VALUE | 2 | max | 200 |
| PARAM_VALUE | 3 | size | 4 |
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_empty_area_window() -> mas_empty_area_rev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4141346736029859840 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->depth | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 0-3 |
| PARAM_VALUE | 1 | min | 167 |
| PARAM_VALUE | 2 | max | 200 |
| PARAM_VALUE | 3 | size | 4 |
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_empty_area_window() -> mas_empty_area_rev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4141346736029859840 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->depth | 0 |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 1 |
| PARAM_VALUE | 1 | min | 100 |
| PARAM_VALUE | 2 | max | 162 |
| PARAM_VALUE | 3 | size | 4 |
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_empty_area_window() -> mas_empty_area_rev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 4141346736029859840 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->depth | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 0-3 |
| PARAM_VALUE | 1 | min | 100 |
| PARAM_VALUE | 2 | max | 162 |
| PARAM_VALUE | 3 | size | 4 |
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_gap_combining() -> mas_empty_area_rev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 1261997500507176960 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 1 |
| PARAM_VALUE | 0 | mas->tree | 4096-ptr_max |
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_gap_combining() -> mas_empty_area_rev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 1261997500507176960 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 0-2,7 |
| PARAM_VALUE | 0 | mas->tree | 4096-ptr_max |
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_gap_combining() -> mas_empty_area_rev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 1261997500507176960 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 1 |
| PARAM_VALUE | 0 | mas->tree | 4096-ptr_max |
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_gap_combining() -> mas_empty_area_rev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 1261997500507176960 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 0-2,7 |
| PARAM_VALUE | 0 | mas->tree | 4096-ptr_max |
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_gap_combining() -> mas_empty_area_rev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 1261997500507176960 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 1 |
| PARAM_VALUE | 0 | mas->tree | 4096-ptr_max |
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_gap_combining() -> mas_empty_area_rev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 1261997500507176960 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 0-2,7 |
| PARAM_VALUE | 0 | mas->tree | 4096-ptr_max |
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_gap_combining() -> mas_empty_area_rev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 1261997500507176960 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 1 |
| PARAM_VALUE | 0 | mas->tree | 4096-ptr_max |
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_gap_combining() -> mas_empty_area_rev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 1261997500507176960 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 0-2,7 |
| PARAM_VALUE | 0 | mas->tree | 4096-ptr_max |
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_gap_combining() -> mas_empty_area_rev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 1261997500507176960 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->node | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 1 |
| PARAM_VALUE | 0 | mas->tree | 4096-ptr_max |
| PARAM_VALUE | 1 | min | 1100 |
| PARAM_VALUE | 2 | max | 1200 |
| PARAM_VALUE | 3 | size | 2 |
| LOCK2 | rcu_read |
lib/test_maple_tree.c check_gap_combining() -> mas_empty_area_rev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mas | 1261997500507176960 |
| PARAM_VALUE | 0 | mas->alloc | 0 |
| PARAM_VALUE | 0 | mas->sheaf | 0 |
| PARAM_VALUE | 0 | mas->status | 0-1,7 |
| PARAM_VALUE | 0 | mas->tree | 4096-ptr_max |
| PARAM_VALUE | 1 | min | 1100 |
| PARAM_VALUE | 2 | max | 1200 |
| PARAM_VALUE | 3 | size | 2 |
| LOCK2 | rcu_read |