| PARAM_VALUE |
3 |
file->f_cred->process_keyring->user->qnbytes |
s32min-s32max |
| PARAM_VALUE |
3 |
file->f_cred->process_keyring->user->qnkeys |
s32min-s32max |
| PARAM_VALUE |
3 |
file->f_cred->request_key_auth->user->qnbytes |
s32min-s32max |
| PARAM_VALUE |
3 |
file->f_cred->request_key_auth->user->qnkeys |
s32min-s32max |
| PARAM_VALUE |
3 |
file->f_cred->session_keyring->user->qnbytes |
s32min-s32max |
| PARAM_VALUE |
3 |
file->f_cred->session_keyring->user->qnkeys |
s32min-s32max |
| PARAM_VALUE |
3 |
file->f_cred->thread_keyring->user->qnbytes |
s32min-s32max |
| PARAM_VALUE |
3 |
file->f_cred->thread_keyring->user->qnkeys |
s32min-s32max |
| PARAM_VALUE |
3 |
file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set |
0-1 |
| PARAM_VALUE |
3 |
file->f_mapping->i_mmap_rwsem.first_waiter->type |
0-1 |
| PARAM_VALUE |
4 |
vm_private_data |
5677790044426227712 |
| NOSPEC |
0 |
start |
|
| NOSPEC |
0 |
start |
|
| NOSPEC |
2 |
pgoff |
|
| NOSPEC |
2 |
pgoff |
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| USER_DATA |
0 |
start |
0-18446744073709547520 |
| USER_DATA |
1 |
end |
4096-u64max[c] |
| USER_DATA |
2 |
pgoff |
0-4503599627370495[c] |
| NO_OVERFLOW_SIMPLE |
2 |
pgoff |
|
| NO_OVERFLOW_SIMPLE |
3 |
file->f_mapping->host->i_bytes |
|
