| PARAM_VALUE |
0 |
vrm |
1221729225282519040 |
| PARAM_VALUE |
0 |
vrm->charged |
0-4503599627370495 |
| PARAM_VALUE |
0 |
vrm->flags |
1-6 |
| PARAM_VALUE |
0 |
vrm->mmap_locked |
1 |
| PARAM_VALUE |
0 |
vrm->new_addr |
0-18446744073709547520 |
| PARAM_VALUE |
0 |
vrm->remap_type |
1-3 |
| PARAM_VALUE |
0 |
vrm->uf |
6688422495110127616 |
| PARAM_VALUE |
0 |
vrm->uf_unmap |
6922569882902003712 |
| PARAM_VALUE |
0 |
vrm->uf_unmap->prev |
4096-ptr_max |
| PARAM_VALUE |
0 |
vrm->uf_unmap_early |
1097532445584617472 |
| PARAM_VALUE |
0 |
vrm->vma |
4096-ptr_max |
| PARAM_VALUE |
0 |
vrm->vma->vm_file->f_inode->i_mapping->invalidate_lock.first_waiter->handoff_set |
0-1 |
| PARAM_VALUE |
0 |
vrm->vma->vm_file->f_inode->i_mapping->invalidate_lock.first_waiter->type |
0-1 |
| PARAM_VALUE |
0 |
vrm->vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set |
0-1 |
| PARAM_VALUE |
0 |
vrm->vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type |
0-1 |
| PARAM_VALUE |
0 |
vrm->vma->vm_file->f_mapping->invalidate_lock.first_waiter->handoff_set |
0-1 |
| PARAM_VALUE |
0 |
vrm->vma->vm_file->f_mapping->invalidate_lock.first_waiter->type |
0-1 |
| PARAM_VALUE |
0 |
vrm->vma->vm_mm->mmap_lock.first_waiter->handoff_set |
0-1 |
| PARAM_VALUE |
0 |
vrm->vma->vm_mm->mmap_lock.first_waiter->type |
0-1 |
| BUF_SIZE |
0 |
vrm->uf |
8 |
| BUF_SIZE |
0 |
vrm->uf_unmap |
16 |
| BUF_SIZE |
0 |
vrm->uf_unmap_early |
16 |
| CAPPED_DATA |
0 |
vrm->new_len |
1 |
| DATA_SOURCE |
0 |
vrm |
$0 |
| NOSPEC |
0 |
vrm->delta |
|
| NOSPEC |
0 |
vrm->new_len |
|
| NOSPEC |
0 |
vrm->old_len |
|
| USER_DATA |
0 |
vrm->addr |
0-u64max |
| USER_DATA |
0 |
vrm->delta |
1-u64max[c] |
| USER_DATA |
0 |
vrm->flags |
1-6 |
| USER_DATA |
0 |
vrm->new_len |
0-u64max[c] |
| USER_DATA |
0 |
vrm->old_len |
0-u64max[c] |
| NO_OVERFLOW_SIMPLE |
0 |
vrm->vma->vm_end |
|
| LOCK2 |
|
&mm->mmap_lock |
|
| TYPE_LOCK |
|
(struct mm_struct)->mmap_lock |
|
