| PARAM_VALUE |
0 |
mk |
4096-ptr_max |
| PARAM_VALUE |
0 |
mk->mk_sem.dep_map->name |
0-255 |
| PARAM_VALUE |
0 |
mk->mk_sem.first_waiter->list.next |
2624917664208203776 |
| PARAM_VALUE |
0 |
mk->mk_sem.first_waiter->list.prev |
2624917664208203776 |
| PARAM_VALUE |
0 |
mk->mk_sem.first_waiter->type |
0-1 |
| PARAM_VALUE |
0 |
mk->mk_sem.osq.tail.counter |
0-s32max |
| PARAM_VALUE |
0 |
mk->mk_sem.wait_lock.dep_map->name |
0-255 |
| PARAM_VALUE |
0 |
mk->mk_sem.wait_lock.owner |
(-1) |
| PARAM_VALUE |
0 |
mk->mk_sem.wait_lock.owner_cpu |
u32max |
| PARAM_VALUE |
0 |
mk->mk_spec.type |
1-2 |
| PARAM_VALUE |
0 |
mk->mk_struct_refs.refs.counter |
(-1073741824),0-s32max |
| CAPPED_DATA |
0 |
&mk->mk_sem |
1 |
| CAPPED_DATA |
0 |
&mk->mk_users |
1 |
| DATA_SOURCE |
0 |
mk |
r fscrypt_find_master_key |
| PARAM_COMPARE |
0 |
&mk->mk_users |
!= $0->mk_users.next |
| LOCK2 |
0 |
&mk->mk_sem |
|
| TYPE_LOCK |
|
(struct fscrypt_master_key)->mk_sem |
|
