| PARAM_VALUE |
0 |
cmd |
4096-ptr_max |
| PARAM_VALUE |
0 |
*cmd |
0-83886079,83886081-u32max |
| PARAM_VALUE |
1 |
offset |
0 |
| PARAM_VALUE |
4 |
batch_addr |
0-140737488355327,18446603336221196288-u64max |
| PARAM_VALUE |
5 |
shadow_addr |
0-140737488355327,18446603336221196288-u64max |
| PARAM_VALUE |
6 |
jump_whitelist |
0,16,4096-ptr_max,(-12) |
| CAPPED_DATA |
2 |
length |
1 |
| DATA_SOURCE |
0 |
cmd |
r copy_batch |
| DATA_SOURCE |
3 |
batch_length |
$3 |
| DATA_SOURCE |
4 |
batch_addr |
r gen8_canonical_addr |
| DATA_SOURCE |
5 |
shadow_addr |
r gen8_canonical_addr |
| UNITS |
3 |
batch_length |
unit_byte |
| HALF_LOCKED2 |
|
pool->obj->base.resv |
|
