| PARAM_VALUE |
0 |
vcpu |
4096-ptr_max |
| PARAM_VALUE |
0 |
vcpu->arch.apic->vcpu->kvm->arch.apic_map->xapic_flat_map->lapic_timer.timer_mode |
0-4294967295 |
| PARAM_VALUE |
0 |
vcpu->arch.emulate_ctxt->ops->get_cr |
4096-ptr_max |
| PARAM_VALUE |
0 |
vcpu->arch.mmu |
4096-ptr_max |
| PARAM_VALUE |
0 |
vcpu->arch.mmu->root.hpa |
0-18446744073709551614 |
| PARAM_VALUE |
0 |
vcpu->run->debug.arch.exception |
1,3 |
| PARAM_VALUE |
0 |
vcpu->run->emulation_failure.flags |
0-1 |
| PARAM_VALUE |
0 |
vcpu->run->emulation_failure.insn_size |
1-255 |
| PARAM_VALUE |
0 |
vcpu->run->emulation_failure.ndata |
6,8,10,12 |
| PARAM_VALUE |
0 |
vcpu->run->emulation_failure.suberror |
1 |
| PARAM_VALUE |
0 |
vcpu->run->internal.ndata |
0,2,4-5 |
| PARAM_VALUE |
0 |
vcpu->run->internal.suberror |
1-4 |
| PARAM_VALUE |
0 |
vcpu->run->memory_fault.flags |
0,8 |
| PARAM_VALUE |
0 |
vcpu->run->memory_fault.gpa |
0,4096-18446744073709547520 |
| PARAM_VALUE |
0 |
vcpu->run->memory_fault.size |
4096 |
| CAPPED_DATA |
0 |
vcpu->arch.mmu |
1 |
| DATA_SOURCE |
0 |
vcpu |
$0 |
| DATA_SOURCE |
1 |
gva |
$1 |
| PARAM_COMPARE |
0 |
&vcpu->arch.guest_mmu |
!= $0->arch.mmu |
| USER_DATA |
0 |
vcpu->arch.mmio_gva |
0,4096-u64max[c] |
| USER_DATA |
0 |
*vcpu->arch.emulate_ctxt->fetch.end |
0-255 |
| NO_OVERFLOW_SIMPLE |
0 |
vcpu->arch.mmu_external_spt_cache.kmem_cache->object_size |
|
| NO_OVERFLOW_SIMPLE |
0 |
vcpu->arch.mmu_page_header_cache.kmem_cache->object_size |
|
| NO_OVERFLOW_SIMPLE |
0 |
vcpu->arch.mmu_pte_list_desc_cache.kmem_cache->object_size |
|
| NO_OVERFLOW_SIMPLE |
0 |
vcpu->arch.mmu_shadow_page_cache.kmem_cache->object_size |
|
| NO_OVERFLOW_SIMPLE |
0 |
vcpu->arch.mmu_shadowed_info_cache.kmem_cache->object_size |
|
| UNITS |
1 |
gva |
unit_byte |
| USER_PTR |
0 |
vcpu->arch.emulate_ctxt->fetch.end |
|
