| PARAM_VALUE |
0 |
vnode |
4096-ptr_max |
| PARAM_VALUE |
0 |
vnode->lock.rlock.dep_map->name |
0-255 |
| PARAM_VALUE |
0 |
vnode->lock_key |
0,4096-ptr_max |
| PARAM_VALUE |
0 |
vnode->lock_key->sem.first_waiter->handoff_set |
0-1 |
| PARAM_VALUE |
0 |
vnode->lock_key->sem.first_waiter->type |
0-1 |
| PARAM_VALUE |
0 |
vnode->lock_state |
4 |
| PARAM_VALUE |
1 |
key |
0,4096-ptr_max |
| 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->user->qnbytes |
s32min-s32max |
| PARAM_VALUE |
1 |
key->user->qnkeys |
s32min-s32max |
| CAPPED_DATA |
0 |
&vnode->granted_locks |
1 |
| PARAM_COMPARE |
0 |
&vnode->granted_locks |
!= $0->granted_locks.next |
| UNITS |
1 |
key |
unit_byte |
| HALF_LOCKED2 |
|
&pool->lock |
|
