| PARAM_VALUE |
0 |
space_info |
4096-ptr_max |
| PARAM_VALUE |
0 |
space_info->lock.rlock.dep_map->name |
0-255 |
| PARAM_VALUE |
0 |
space_info->priority_tickets.prev |
643370198843097104 |
| PARAM_VALUE |
0 |
space_info->priority_tickets.prev->next |
643370198843097104 |
| PARAM_VALUE |
0 |
space_info->priority_tickets.prev->next->next |
4096-ptr_max |
| PARAM_VALUE |
1 |
ticket |
643370198843097088 |
| PARAM_VALUE |
1 |
ticket->error |
0 |
| PARAM_VALUE |
1 |
ticket->list.next |
4096-ptr_max |
| PARAM_VALUE |
1 |
ticket->wait.head.next |
4096-ptr_max |
| PARAM_VALUE |
1 |
ticket->wait.head.prev |
4096-ptr_max |
| DATA_SOURCE |
0 |
space_info |
$0 |
| DATA_SOURCE |
1 |
ticket |
$1 |
| NOSPEC |
1 |
ticket->bytes |
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| USER_DATA |
1 |
ticket->bytes |
0-u64max[c] |
