| PARAM_VALUE |
0 |
keyring |
4096-ptr_max |
| PARAM_VALUE |
0 |
keyring->datalen |
4-u16max |
| PARAM_VALUE |
0 |
keyring->sem.dep_map->name |
0-255 |
| PARAM_VALUE |
0 |
keyring->sem.first_waiter->list.next |
2624917664208203776 |
| PARAM_VALUE |
0 |
keyring->sem.first_waiter->list.prev |
2624917664208203776 |
| PARAM_VALUE |
0 |
keyring->sem.first_waiter->type |
0-1 |
| PARAM_VALUE |
0 |
keyring->sem.osq.tail.counter |
0-s32max |
| PARAM_VALUE |
0 |
keyring->type |
9142442151112187904 |
| PARAM_VALUE |
0 |
keyring->user->lock.rlock.dep_map->name |
0-255 |
| PARAM_VALUE |
1 |
key |
4096-ptr_max |
| PARAM_VALUE |
1 |
key->domain_tag |
4096-ptr_max |
| PARAM_VALUE |
1 |
key->index_key->desc |
0-255 |
| PARAM_VALUE |
1 |
key->index_key.description |
1-u64max |
| PARAM_VALUE |
1 |
key->index_key.domain_tag->rcu.func |
0 |
| PARAM_VALUE |
1 |
key->index_key.domain_tag->rcu.next |
0 |
| PARAM_VALUE |
1 |
key->index_key.domain_tag->removed |
0 |
| PARAM_VALUE |
1 |
key->index_key.domain_tag->usage.refs.counter |
1 |
| PARAM_VALUE |
1 |
key->index_key.type |
4096-ptr_max |
| PARAM_VALUE |
1 |
key->perm |
0,65536,851968,4128768,134217728,134283264,137297920,151584768,184614912,201523200,202047488,252641280,252641291,453050368,520159232,520290304,520814592,521076736,522125312,524222464,956366848,989921280,1023475712-u32max |
| PARAM_VALUE |
1 |
key->restrict_link |
0,4096-ptr_max |
| PARAM_VALUE |
1 |
key->restrict_link->check |
2597709569863184384,5988328617028292608,6748553998896947200,6954271548785111040,7527111731098238976 |
| PARAM_VALUE |
1 |
key->security |
0,4096-ptr_max |
| PARAM_VALUE |
1 |
key->sem.count.counter |
0 |
| PARAM_VALUE |
1 |
key->sem.dep_map->name |
0-255 |
| PARAM_VALUE |
1 |
key->sem.first_waiter |
0 |
| PARAM_VALUE |
1 |
key->sem.first_waiter->handoff_set |
0-1 |
| PARAM_VALUE |
1 |
key->sem.first_waiter->type |
0-1 |
| PARAM_VALUE |
1 |
key->sem.magic |
4096-ptr_max |
| PARAM_VALUE |
1 |
key->sem.osq.tail.counter |
0 |
| PARAM_VALUE |
1 |
key->sem.owner.counter |
0 |
| PARAM_VALUE |
1 |
key->serial |
3-s32max |
| PARAM_VALUE |
1 |
key->serial_node.__rb_parent_color |
1 |
| PARAM_VALUE |
1 |
key->serial_node.rb_left |
4096-ptr_max |
| PARAM_VALUE |
1 |
key->serial_node.rb_right |
4096-ptr_max |
| PARAM_VALUE |
1 |
key->user |
1-u64max |
| PARAM_VALUE |
1 |
key->user->lock.rlock.dep_map->name |
0-255 |
| PARAM_VALUE |
4 |
flags |
0,2,6,14,38 |
| PARAM_VALUE |
5 |
create |
1 |
| BUF_SIZE |
2 |
payload |
(-1)-1048575 |
| BUF_SIZE |
2 |
payload |
(-1)-1048575 |
| CAPPED_DATA |
0 |
keyring |
1 |
| DATA_SOURCE |
0 |
keyring |
r key_ref_to_ptr |
| DATA_SOURCE |
1 |
key |
r key_alloc |
| DATA_SOURCE |
2 |
payload |
$3 [m] |
| DATA_SOURCE |
3 |
payload_len |
$4 [m] |
| DATA_SOURCE |
4 |
flags |
$6 |
| NOSPEC |
1 |
key->datalen |
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| USER_DATA |
1 |
key->datalen |
0-u16max[c] |
| USER_DATA |
2 |
*payload |
s64min-s64max |
| USER_DATA |
3 |
payload_len |
0-1048575[c] |
| NO_OVERFLOW_SIMPLE |
1 |
key->quotalen |
|
| NO_OVERFLOW_SIMPLE |
1 |
key->user->qnbytes |
|
| UNITS |
2 |
payload |
unit_byte |
| UNITS |
3 |
payload_len |
unit_byte |
| BYTE_COUNT |
2 |
==payload3 |
8050 |
| USER_PTR |
2 |
payload |
|
| LOCK2 |
|
global &key_types_sem |
|
| LOCK2 |
0 |
&keyring->sem |
|
| TYPE_LOCK |
|
(struct key)->sem |
|
