| PARAM_VALUE |
0 |
buf |
4096-ptr_max |
| PARAM_VALUE |
0 |
buf->behavior |
4096-ptr_max |
| PARAM_VALUE |
0 |
buf->mmap.counter |
0-s32max |
| PARAM_VALUE |
1 |
vma |
4096-ptr_max |
| PARAM_VALUE |
1 |
vma->vm_file->f_cred->process_keyring->user->qnbytes |
s32min-s32max |
| PARAM_VALUE |
1 |
vma->vm_file->f_cred->process_keyring->user->qnkeys |
s32min-s32max |
| PARAM_VALUE |
1 |
vma->vm_file->f_cred->request_key_auth->user->qnbytes |
s32min-s32max |
| PARAM_VALUE |
1 |
vma->vm_file->f_cred->request_key_auth->user->qnkeys |
s32min-s32max |
| PARAM_VALUE |
1 |
vma->vm_file->f_cred->session_keyring->user->qnbytes |
s32min-s32max |
| PARAM_VALUE |
1 |
vma->vm_file->f_cred->session_keyring->user->qnkeys |
s32min-s32max |
| PARAM_VALUE |
1 |
vma->vm_file->f_cred->thread_keyring->user->qnbytes |
s32min-s32max |
| PARAM_VALUE |
1 |
vma->vm_file->f_cred->thread_keyring->user->qnkeys |
s32min-s32max |
| PARAM_VALUE |
1 |
vma->vm_ops |
6229407368966115328 |
| PARAM_VALUE |
1 |
vma->vm_pgoff |
0 |
| PARAM_VALUE |
1 |
vma->vm_private_data |
4096-ptr_max |
| PARAM_VALUE |
2 |
args |
0 |
| BUF_SIZE |
1 |
vma |
(-1),1-s32max |
| BUF_SIZE |
1 |
vma |
(-1),1-s32max |
| BUF_SIZE |
1 |
vma->vm_file |
(-1)-0,4,24,64,168-s32max |
| BUF_SIZE |
1 |
vma->vm_ops |
144 |
| CAPPED_DATA |
1 |
vma->vm_start |
1 |
| DATA_SOURCE |
0 |
buf |
r hl_mmap_mem_buf_get |
| DATA_SOURCE |
1 |
vma |
$1 |
| DATA_SOURCE |
2 |
args |
$2 |
| CONTAINER |
0 |
-24-0+0 |
$(-1) |
| NOSPEC |
1 |
vma->vm_start |
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| USER_DATA |
1 |
vma->vm_end |
4096-u64max[c] |
| USER_DATA |
1 |
vma->vm_start |
0-18446744073709547520[c] |
| NO_OVERFLOW_SIMPLE |
1 |
vma->vm_pgoff |
|
| HALF_LOCKED2 |
|
&ipcp->lock |
|