| PARAM_VALUE |
0 |
vcpu |
4096-ptr_max |
| PARAM_VALUE |
0 |
vcpu->run |
4096-ptr_max |
| BUF_SIZE |
0 |
vcpu |
s32min-(-2),1-s32max |
| BUF_SIZE |
0 |
vcpu |
s32min-(-2),1-s32max |
| CAPPED_DATA |
0 |
vcpu |
1 |
| DATA_SOURCE |
0 |
vcpu |
$0 |
| HOST_DATA |
0 |
vcpu->arch.host_debugctl |
0-u64max[c] |
| USER_DATA |
0 |
vcpu->arch.apic->lapic_timer.expired_tscdeadline |
0-u64max |
| USER_DATA |
0 |
vcpu->arch.apic->lapic_timer.tscdeadline |
0-u64max |
| USER_DATA |
0 |
vcpu->arch.apic->sipi_vector |
1-255[c] |
| USER_DATA |
0 |
vcpu->arch.cr8 |
0-14 |
| USER_DATA |
0 |
vcpu->arch.exception.payload |
0 |
| USER_DATA |
0 |
vcpu->arch.mmu->root.pgd |
0-u64max |
| USER_DATA |
0 |
*vcpu->arch.emulate_ctxt->fetch.end |
0-255 |
| USER_DATA |
0 |
*vcpu->arch.sev_pio_data |
s64min-s64max |
| NO_OVERFLOW_SIMPLE |
0 |
vcpu->arch.pio.count |
|
| NO_OVERFLOW_SIMPLE |
0 |
vcpu->arch.pio.size |
|
| USER_PTR |
0 |
vcpu->arch.emulate_ctxt->fetch.end |
|
| USER_PTR |
0 |
vcpu->arch.hyperv->vp_assist_page.intercept_message |
|
| USER_PTR |
0 |
vcpu->arch.hyperv->vp_assist_page.reserved2 |
|
| USER_PTR |
0 |
vcpu->arch.hyperv->vp_assist_page.reserved3 |
|
| USER_PTR |
0 |
vcpu->arch.hyperv->vp_assist_page.reserved4 |
|
| USER_PTR |
0 |
vcpu->arch.hyperv->vp_assist_page.virtualization_fault_information |
|
| USER_PTR |
0 |
vcpu->arch.hyperv->vp_assist_page.vtl_ret_actions |
|
| USER_PTR |
0 |
vcpu->arch.pdptrs |
|
| LOCK2 |
0 |
&vcpu->kvm->srcu |
|
| LOCK2 |
0 |
&vcpu->mutex |
|
| TYPE_LOCK |
|
(struct kvm)->srcu |
|
| TYPE_LOCK |
|
(struct kvm_vcpu)->mutex |
|
