| PARAM_VALUE |
0 |
args |
3993109092204650496 |
| PARAM_VALUE |
0 |
args->cpages |
0 |
| PARAM_VALUE |
0 |
args->dst |
1-18446744073709551614 |
| PARAM_VALUE |
0 |
args->end |
0,4096-2097152 |
| PARAM_VALUE |
0 |
args->flags |
9 |
| PARAM_VALUE |
0 |
args->npages |
0 |
| PARAM_VALUE |
0 |
args->src |
1-18446744073709551614 |
| PARAM_VALUE |
0 |
args->start |
0,4096-18446744073709551614 |
| PARAM_VALUE |
0 |
args->vma |
4096-ptr_max |
| PARAM_VALUE |
1 |
dmirror |
4096-ptr_max |
| PARAM_VALUE |
1 |
dmirror->mdevice->zone_device_type |
0-2 |
| PARAM_VALUE |
1 |
dmirror->notifier.mm |
4096-ptr_max |
| PARAM_VALUE |
1 |
dmirror->notifier.mm->mm_users.counter |
0-s32max |
| PARAM_VALUE |
1 |
dmirror->notifier.mm->mmap_lock.dep_map->name |
0-255 |
| PARAM_VALUE |
1 |
dmirror->notifier.mm->mmap_lock.first_waiter->list.next |
2212933610777083904 |
| PARAM_VALUE |
1 |
dmirror->notifier.mm->mmap_lock.first_waiter->list.prev |
2212933610777083904 |
| PARAM_VALUE |
1 |
dmirror->notifier.mm->mmap_lock.first_waiter->type |
0-1 |
| BUF_SIZE |
1 |
dmirror |
s32min-(-2),1-s32max |
| BUF_SIZE |
1 |
dmirror |
s32min-(-2),1-s32max |
| DATA_SOURCE |
1 |
dmirror |
$0 |
| NOSPEC |
0 |
args->end |
|
| NOCHECK_CALL |
|
|
|
| USER_DATA |
0 |
args->end |
0,4096-s32max[c] |
| LOCK2 |
|
&mm->mmap_lock |
|
| TYPE_LOCK |
|
(struct mm_struct)->mmap_lock |
|
