| PARAM_VALUE |
0 |
image |
4096-ptr_max |
| PARAM_VALUE |
0 |
image->arch.p4d |
0,9223372036854775807 |
| PARAM_VALUE |
0 |
image->arch.pgd |
18379471554275704832,18446612682070032384 |
| PARAM_VALUE |
0 |
image->arch.pmd |
0,9223372036854775807 |
| PARAM_VALUE |
0 |
image->arch.pte |
0,9223372036854775807 |
| PARAM_VALUE |
0 |
image->arch.pud |
0,9223372036854775807 |
| PARAM_VALUE |
0 |
image->control_page |
4096 |
| PARAM_VALUE |
0 |
image->control_pages.next |
4096-ptr_max |
| PARAM_VALUE |
0 |
image->control_pages.next->next |
4096-ptr_max |
| PARAM_VALUE |
0 |
image->control_pages.next->prev |
4096-ptr_max |
| PARAM_VALUE |
0 |
image->elfcorehdr_index |
(-1) |
| PARAM_VALUE |
0 |
image->elfcorehdr_updated |
0 |
| PARAM_VALUE |
0 |
image->hp_action |
0 |
| PARAM_VALUE |
0 |
image->nr_segments |
1-16 |
| PARAM_VALUE |
0 |
image->purgatory_info.ehdr |
6287234174676209664 |
| PARAM_VALUE |
0 |
image->segment |
4096-ptr_max |
| PARAM_VALUE |
1 |
pgd |
18379471554275704832,18446612682070032384 |
| CAPPED_DATA |
0 |
image->nr_segments |
1 |
| CAPPED_DATA |
2 |
control_page |
1 |
| CAPPED_DATA |
2 |
control_page |
1 |
| DATA_SOURCE |
0 |
image |
$0 |
| DATA_SOURCE |
1 |
pgd |
r alloc_pgt_page |
| DATA_SOURCE |
2 |
control_page |
$1 |
| NOSPEC |
0 |
image->nr_segments |
|
| USER_DATA |
0 |
image->nr_segments |
1-16[c] |
| USER_DATA |
0 |
image->start |
0-u64max |
