| PARAM_VALUE |
0 |
idtfc3 |
4096-ptr_max |
| PARAM_VALUE |
0 |
idtfc3->lock->dep_map->name |
0-255 |
| PARAM_VALUE |
0 |
idtfc3->lock->first_waiter |
0,4096-ptr_max |
| PARAM_VALUE |
0 |
idtfc3->lock->first_waiter->list.prev->next |
5159360019465732096 |
| PARAM_VALUE |
0 |
idtfc3->lock->osq.tail.counter |
0-s32max |
| PARAM_VALUE |
0 |
idtfc3->lock->wait_lock.dep_map->name |
0-255 |
| PARAM_VALUE |
0 |
idtfc3->lock->wait_lock.owner |
(-1) |
| PARAM_VALUE |
0 |
idtfc3->lock->wait_lock.owner_cpu |
u32max |
| PARAM_VALUE |
1 |
delta |
(-107374182)-107374182 |
| CAPPED_DATA |
0 |
idtfc3->lock |
1 |
| CAPPED_DATA |
1 |
delta |
1 |
| DATA_SOURCE |
1 |
delta |
$1 |
| BIT_INFO |
0 |
idtfc3 |
0x416efe59826de000,0x416efe59826de000 |
| NOSPEC |
1 |
delta |
|
| NOSPEC |
1 |
delta |
|
| USER_DATA |
1 |
delta |
(-107374182)-107374182[c] |
| LOCK2 |
0 |
idtfc3->lock |
|
