| PARAM_VALUE |
0 |
image->arch.p4d |
0,18446612682070032384 |
| PARAM_VALUE |
0 |
image->arch.pgd |
18379471554275704832,18446612682070032384 |
| PARAM_VALUE |
0 |
image->arch.pmd |
0,18446612682070032384 |
| PARAM_VALUE |
0 |
image->arch.pte |
0,18446612682070032384 |
| PARAM_VALUE |
0 |
image->arch.pud |
0,18446612682070032384 |
| 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->entry |
4096-ptr_max |
| PARAM_VALUE |
0 |
image->hotplug_support |
1 |
| PARAM_VALUE |
0 |
image->nr_segments |
0-s32max |
| PARAM_VALUE |
0 |
image->purgatory_info.ehdr->e_shnum |
2-u16max |
| PARAM_VALUE |
0 |
image->type |
0 |
| PARAM_VALUE |
0 |
*image->entry |
4 |
| BUF_SIZE |
0 |
image |
0 |
| CAPPED_DATA |
0 |
image->nr_segments |
1 |
| CAPPED_DATA |
0 |
image->purgatory_info.ehdr->e_shnum |
1 |
| DATA_SOURCE |
0 |
image |
$0 |
| BIT_INFO |
0 |
image |
0x0,0x0 |
| NOCHECK_CALL |
|
|
|
