| PARAM_VALUE |
1 |
exec |
4096-ptr_max |
| PARAM_VALUE |
1 |
exec->contended |
0 |
| PARAM_VALUE |
1 |
exec->flags |
1-2 |
| PARAM_VALUE |
1 |
exec->num_objects |
0 |
| PARAM_VALUE |
1 |
exec->objects |
0,16,4096-ptr_max |
| PARAM_VALUE |
1 |
exec->prelocked |
0 |
| PARAM_VALUE |
1 |
exec->ticket.acquired |
0 |
| PARAM_VALUE |
1 |
exec->ticket.contending_lock |
0 |
| PARAM_VALUE |
1 |
exec->ticket.deadlock_inject_countdown |
0-15 |
| PARAM_VALUE |
1 |
exec->ticket.deadlock_inject_interval |
1 |
| PARAM_VALUE |
1 |
exec->ticket.dep_map->name |
0-255 |
| PARAM_VALUE |
1 |
exec->ticket.done_acquire |
0 |
| PARAM_VALUE |
1 |
exec->ticket.first_lock_dep_map->name |
0-255 |
| PARAM_VALUE |
1 |
exec->ticket.first_lock_dep_map.cpu |
0 |
| PARAM_VALUE |
1 |
exec->ticket.wounded |
0 |
| PARAM_VALUE |
1 |
exec->ticket.ww_class |
8825623990767841280 |
| PARAM_VALUE |
1 |
exec->ticket.ww_class->acquire_name |
0,4096-ptr_max |
| PARAM_VALUE |
1 |
exec->ticket.ww_class->is_wait_die |
0-s32max |
| PARAM_VALUE |
1 |
exec->ticket.ww_class->mutex_name |
0,4096-ptr_max |
| BUF_SIZE |
1 |
exec |
192 |
| DATA_SOURCE |
2 |
addr |
$1 |
| DATA_SOURCE |
3 |
range |
$2 |
