| PARAM_VALUE |
1 |
pages_count |
1-s32max |
| PARAM_VALUE |
2 |
address |
0-18446744073709551614 |
| PARAM_VALUE |
3 |
address_end |
1-u64max |
| PARAM_VALUE |
4 |
first_page |
0,4096-18446744073709547520 |
| PARAM_VALUE |
5 |
last_page |
0,4096-u64max |
| PARAM_VALUE |
6 |
iter_last_page_size |
1-4096 |
| PARAM_VALUE |
7 |
is_write |
0-1 |
| PARAM_VALUE |
8 |
*command->rw_params.sizes |
0-4294967295 |
| BUF_SIZE |
0 |
pages |
2688 |
| CAPPED_DATA |
1 |
pages_count |
1 |
| CAPPED_DATA |
2 |
address |
1 |
| CAPPED_DATA |
2 |
address |
1 |
| CAPPED_DATA |
4 |
first_page |
1 |
| CAPPED_DATA |
4 |
first_page |
1 |
| DATA_SOURCE |
1 |
pages_count |
r goldfish_pin_pages |
| DATA_SOURCE |
2 |
address |
$1 |
| DATA_SOURCE |
3 |
address_end |
$2 |
| DATA_SOURCE |
5 |
last_page |
$4 |
| DATA_SOURCE |
7 |
is_write |
$3 |
| BIT_INFO |
4 |
first_page |
0x0,0xfffffffffffff000 |
| BIT_INFO |
4 |
first_page |
0x0,0xfffffffffffff000 |
| BIT_INFO |
5 |
last_page |
0x0,0xfffffffffffff000 |
| BIT_INFO |
5 |
last_page |
0x0,0xfffffffffffff000 |
| NOSPEC |
2 |
address |
|
| NOSPEC |
2 |
address |
|
| NOSPEC |
4 |
first_page |
|
| NOSPEC |
4 |
first_page |
|
| HARD_MAX |
7 |
is_write |
1 |
| NOCHECK_CALL |
|
|
|
| USER_DATA |
1 |
pages_count |
1-s32max[c] |
| USER_DATA |
2 |
address |
0-s32max[c] |
| USER_DATA |
4 |
first_page |
0,4096-2147479552[c] |
| LOCK2 |
|
&pipe->lock |
|
| TYPE_LOCK |
|
(struct goldfish_pipe)->lock |
|
