| PARAM_VALUE |
0 |
vmi |
676890446660313088,6390261669419782144 |
| PARAM_VALUE |
0 |
vmi->mas.status |
0,2-3 |
| PARAM_VALUE |
2 |
vma |
4096-ptr_max |
| PARAM_VALUE |
2 |
vma->vm_policy |
0,4096-ptr_max |
| PARAM_VALUE |
5 |
new_pol |
4096-ptr_max |
| CAPPED_DATA |
4 |
end |
1 |
| CAPPED_DATA |
4 |
end |
1 |
| CAPPED_DATA |
5 |
new_pol |
1 |
| DATA_SOURCE |
0 |
vmi |
$0 |
| DATA_SOURCE |
2 |
vma |
$1 |
| DATA_SOURCE |
5 |
new_pol |
$5 |
| PARAM_COMPARE |
2 |
vma->vm_start |
<= $3 |
| PARAM_COMPARE |
3 |
start |
>= $2->vm_start |
| PARAM_COMPARE |
5 |
new_pol |
!= $2->vm_policy |
| PARAM_COMPARE |
5 |
new_pol |
!= $2->vm_policy |
| USER_DATA |
0 |
vmi->mas.index |
0-u64max |
| USER_DATA |
0 |
vmi->mas.last |
0-u64max |
| USER_DATA |
2 |
vma->vm_policy->flags |
0,24,8192-57368[c] |
| USER_DATA |
2 |
vma->vm_policy->home_node |
0-1023 |
| USER_DATA |
2 |
vma->vm_policy->mode |
2-3,5-u16max |
| USER_DATA |
3 |
start |
1-u64max[c] |
| USER_DATA |
4 |
end |
0-s32max[c] |
| USER_DATA |
5 |
new_pol->flags |
0,24,8192-57368[c] |
| USER_DATA |
5 |
new_pol->home_node |
0-1023 |
| USER_DATA |
5 |
new_pol->mode |
2-3,5-u16max |
| NO_OVERFLOW_SIMPLE |
3 |
start |
|
| UNITS |
3 |
start |
unit_byte |
| UNITS |
4 |
end |
unit_byte |
| LOCK2 |
|
&mm->mmap_lock |
|
| TYPE_LOCK |
|
(struct mm_struct)->mmap_lock |
|
