| PARAM_VALUE |
0 |
prison |
4096-ptr_max |
| PARAM_VALUE |
0 |
prison->cell_pool.curr_nr |
s32min-s32max |
| PARAM_VALUE |
1 |
key |
2232107600750587904 |
| PARAM_VALUE |
1 |
key->dev |
0 |
| PARAM_VALUE |
1 |
key->virtual |
0 |
| PARAM_VALUE |
2 |
lock_level |
0-1 |
| PARAM_VALUE |
3 |
inmate |
1-u64max |
| PARAM_VALUE |
5 |
cell_result |
6983844324451778560 |
| BUF_SIZE |
3 |
inmate |
(-1),144 |
| BUF_SIZE |
3 |
inmate |
(-1),144 |
| DATA_SOURCE |
3 |
inmate |
$2 |
| DATA_SOURCE |
4 |
cell_prealloc |
r alloc_prison_cell |
| NOSPEC |
3 |
inmate->bi_iter.bi_sector |
|
| NOSPEC |
3 |
inmate->bi_iter.bi_size |
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HOST_DATA |
1 |
key->block_begin |
0-u64max |
| HOST_DATA |
3 |
inmate->bi_iter.bi_sector |
0 |
| HOST_DATA |
3 |
inmate->bi_iter.bi_size |
0[c] |
| HOST_DATA |
3 |
inmate->bi_max_vecs |
0-4,16,64,128,256[c] |
| USER_DATA |
1 |
key->block_begin |
0-u64max |
| USER_DATA |
3 |
inmate->bi_ioprio |
0-u16max |
| USER_DATA |
3 |
inmate->bi_iter.bi_sector |
0 |
| USER_DATA |
3 |
inmate->bi_iter.bi_size |
0 |
| USER_DATA |
3 |
inmate->bi_max_vecs |
0-4,16,64,128,256[c] |
